Details

Time bar (total: 14.7s)

sample29.0ms

Algorithm
intervals
Results
11.0ms277×body80valid

simplify161.0ms

Counts
1 → 1
Iterations
IterNodes
done239
8239
7236
6216
5179
4132
382
244
119
010

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 2.0 (- y t))
4.5b
(* (/ 2.0 (- y t)) (/ x z))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
54×add-sqr-sqrt
43×times-frac
42×*-un-lft-identity
28×add-cube-cbrt
21×associate-*l*
16×add-cbrt-cube add-exp-log
13×associate-*r*
7×distribute-lft-out-- difference-of-squares
5×cbrt-undiv associate-/r* div-exp
4×pow1 prod-exp associate-/r/ cbrt-unprod unswap-sqr
3×div-inv associate-/l*
2×flip3-- flip-- add-log-exp
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
2 → 95
Calls
2 calls:
10.0ms
(/ 2.0 (- y t))
32.0ms
(* (/ 2.0 (- y t)) (/ x z))

series204.0ms

Counts
2 → 6
Calls
2 calls:
44.0ms
(/ 2.0 (- y t))
159.0ms
(* (/ 2.0 (- y t)) (/ x z))

simplify1.4s

Counts
101 → 101
Iterations
IterNodes
done5001
22315
1455
0159

prune495.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize35.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)
3.8b
(* (/ (/ 2.0 (* (cbrt z) (cbrt z))) (- y t)) (/ x (cbrt z)))

rewrite80.0ms

Algorithm
rewrite-expression-head
Rules
83×times-frac
82×add-sqr-sqrt
52×*-un-lft-identity
41×associate-*l*
38×add-cube-cbrt
36×add-exp-log
28×add-cbrt-cube
22×associate-*r*
21×cbrt-prod
14×cbrt-undiv div-exp
10×prod-exp cbrt-unprod
9×unswap-sqr
7×div-inv distribute-lft-out-- difference-of-squares
6×pow1
4×add-log-exp
3×pow1/3
2×associate-/r/
1×frac-times flip3-- pow-prod-down associate-*l/ associate-*r/ *-commutative flip--
Counts
4 → 133
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
72.0ms
(* (/ (/ 2.0 (* (cbrt z) (cbrt z))) (- y t)) (/ x (cbrt z)))

series941.0ms

Counts
4 → 12
Calls
4 calls:
287.0ms
(cbrt z)
267.0ms
(cbrt z)
241.0ms
(cbrt z)
146.0ms
(* (/ (/ 2.0 (* (cbrt z) (cbrt z))) (- y t)) (/ x (cbrt z)))

simplify2.2s

Counts
145 → 145
Iterations
IterNodes
done5001
24046
1759
0231

prune1.1s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0b

localize90.0ms

Local error

Found 4 expressions with local error:

2.5b
(* (/ (/ 2.0 (* (cbrt z) (cbrt z))) (- y t)) (* (cbrt (/ x (cbrt z))) (cbrt (/ x (cbrt z)))))
3.3b
(cbrt (/ x (cbrt z)))
3.3b
(cbrt (/ x (cbrt z)))
3.3b
(cbrt (/ x (cbrt z)))

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
107×times-frac
93×cbrt-prod
80×add-sqr-sqrt
75×*-un-lft-identity
61×add-cube-cbrt
41×associate-*l*
36×add-exp-log
24×add-cbrt-cube
14×prod-exp cbrt-unprod
11×cbrt-div
10×cbrt-undiv div-exp
9×pow1 div-inv
7×distribute-lft-out-- difference-of-squares
5×frac-times associate-*r/
4×add-log-exp
3×pow1/3 pow-prod-down associate-*l/ unswap-sqr
2×associate-/r/
1×flip3-- associate-*r* *-commutative flip--
Counts
4 → 171
Calls
4 calls:
114.0ms
(* (/ (/ 2.0 (* (cbrt z) (cbrt z))) (- y t)) (* (cbrt (/ x (cbrt z))) (cbrt (/ x (cbrt z)))))
3.0ms
(cbrt (/ x (cbrt z)))
3.0ms
(cbrt (/ x (cbrt z)))
3.0ms
(cbrt (/ x (cbrt z)))

series1.0s

Counts
4 → 12
Calls
4 calls:
393.0ms
(* (/ (/ 2.0 (* (cbrt z) (cbrt z))) (- y t)) (* (cbrt (/ x (cbrt z))) (cbrt (/ x (cbrt z)))))
199.0ms
(cbrt (/ x (cbrt z)))
207.0ms
(cbrt (/ x (cbrt z)))
231.0ms
(cbrt (/ x (cbrt z)))

simplify1.8s

Counts
183 → 183
Iterations
IterNodes
done5000
22646
1676
0262

prune1.5s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 1 expressions with local error:

4.7b
(/ (/ (* x 2.0) z) (- y t))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
53×times-frac
37×add-sqr-sqrt *-un-lft-identity
21×add-cube-cbrt
10×add-cbrt-cube add-exp-log
8×distribute-lft-out-- difference-of-squares
7×div-inv associate-/l*
5×cbrt-undiv associate-/r* div-exp
2×associate-/r/
1×pow1 clear-num frac-2neg flip3-- prod-exp cbrt-unprod flip-- add-log-exp associate-/l/
Counts
1 → 66
Calls
1 calls:
29.0ms
(/ (/ (* x 2.0) z) (- y t))

series73.0ms

Counts
1 → 3
Calls
1 calls:
73.0ms
(/ (/ (* x 2.0) z) (- y t))

simplify1.1s

Counts
69 → 69
Iterations
IterNodes
done5000
21877
1383
0145

prune386.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0b

regimes580.0ms

Accuracy

53.7% (2.3b remaining)

Error of 2.3b against oracle of 0.0b and baseline of 5.0b

bsearch160.0ms

Steps
ItersRangePoint
10
5.970666325885315e-49
2.660197395533313e-38
5.968128368805632e-47
9
-7.557965777348655e+48
-2.420896724821489e+41
-8.795826457759529e+41

simplify3.0ms

Iterations
IterNodes
done22
122
017

end0.0ms

sample1.0s

Algorithm
intervals
Results
489.0ms8708×body80valid