Details

Time bar (total: 11.5s)

sample49.0ms

Algorithm
intervals
Results
19.0ms256×body80valid
4.0ms87×body80nan

simplify7.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0910
11210
done1210

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.5b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (sqrt (+ 1.0 (* a t))))
0.1b
(/ 2.0 (+ 1.0 (sqrt (+ 1.0 (* a t)))))
6.5b
(sqrt (+ 1.0 (* a t)))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
14×add-sqr-sqrt
13×add-cube-cbrt
12×times-frac
add-cbrt-cube add-exp-log distribute-lft-out add-log-exp
pow1 associate-/r*
flip3-+ sqrt-prod flip-+ associate-/l*
sqrt-div associate-/r/
cbrt-undiv +-commutative rem-sqrt-square clear-num sum-log frac-2neg sqrt-pow1 pow1/2 div-exp div-inv
Counts
3 → 60
Calls
3 calls:
24.0ms
(+ 1.0 (sqrt (+ 1.0 (* a t))))
76.0ms
(/ 2.0 (+ 1.0 (sqrt (+ 1.0 (* a t)))))
10.0ms
(sqrt (+ 1.0 (* a t)))

series1.1s

Counts
3 → 9
Calls
3 calls:
184.0ms
(+ 1.0 (sqrt (+ 1.0 (* a t))))
757.0ms
(/ 2.0 (+ 1.0 (sqrt (+ 1.0 (* a t)))))
186.0ms
(sqrt (+ 1.0 (* a t)))

simplify1.5s

Counts
69 → 69
Iterations

Useful iterations: 2 (484.0ms)

IterNodesCost
01551123
13911045
21992960
done5001960

prune386.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.4b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 1.0 (sqrt (+ 1.0 (* a t))))
0.1b
(/ 2.0 (* 1 (+ 1.0 (sqrt (+ 1.0 (* a t))))))
6.5b
(sqrt (+ 1.0 (* a t)))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log
*-un-lft-identity add-cbrt-cube
add-sqr-sqrt
add-cube-cbrt
add-log-exp
pow1
flip3-+ times-frac div-exp sqrt-prod flip-+ associate-/l*
cbrt-undiv sqrt-div prod-exp associate-*r/ associate-/r/
+-commutative rem-sqrt-square clear-num associate-/r* sum-log frac-2neg sqrt-pow1 pow1/2 1-exp cbrt-unprod div-inv distribute-lft-out
Counts
3 → 51
Calls
3 calls:
36.0ms
(+ 1.0 (sqrt (+ 1.0 (* a t))))
35.0ms
(/ 2.0 (* 1 (+ 1.0 (sqrt (+ 1.0 (* a t))))))
10.0ms
(sqrt (+ 1.0 (* a t)))

series1.2s

Counts
3 → 9
Calls
3 calls:
187.0ms
(+ 1.0 (sqrt (+ 1.0 (* a t))))
780.0ms
(/ 2.0 (* 1 (+ 1.0 (sqrt (+ 1.0 (* a t))))))
185.0ms
(sqrt (+ 1.0 (* a t)))

simplify2.4s

Counts
60 → 60
Iterations

Useful iterations: done (2.4s)

IterNodesCost
0160977
1446852
22910749
done5000745

prune324.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 6.4b

regimes439.0ms

Accuracy

0% (0.1b remaining)

Error of 5.3b against oracle of 5.2b and baseline of 5.3b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01112
11710
21810
done1810

end0.0ms

sample4.0s

Algorithm
intervals
Results
3.2s8000×body80valid
233.0ms2669×body80nan