Details

Time bar (total: 20.4s)

sample40.0ms

Algorithm
intervals
Results
24.0ms350×body80valid

simplify4.4s

Counts
1 → 1
Iterations
IterNodes
done5001
154637
143604
131771
12909
11592
10461
9348
8266
7202
6169
5138
496
356
225
114
08

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.3b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (- y x) (/ z t)))
6.5b
(* (- y x) (/ z t))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity
10×times-frac add-cube-cbrt
7×add-cbrt-cube add-exp-log
5×associate-*l*
4×pow1 add-log-exp
2×frac-times flip3-- associate-*l/ prod-exp cbrt-unprod insert-posit16 flip-- unswap-sqr
1×cbrt-undiv +-commutative sum-log flip3-+ div-exp pow-prod-down associate-*r/ *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 51
Calls
2 calls:
6.0ms
(+ x (* (- y x) (/ z t)))
18.0ms
(* (- y x) (/ z t))

series108.0ms

Counts
2 → 6
Calls
2 calls:
49.0ms
(+ x (* (- y x) (/ z t)))
59.0ms
(* (- y x) (/ z t))

simplify2.8s

Counts
57 → 57
Iterations
IterNodes
done5010
34834
21041
1310
0117

prune239.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

1.4b
(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
11.2b
(cbrt (/ z t))
11.2b
(cbrt (/ z t))
11.2b
(cbrt (/ z t))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
29×add-sqr-sqrt
28×*-un-lft-identity
27×times-frac
26×add-cube-cbrt
15×cbrt-div
9×frac-times pow1 add-exp-log
7×add-cbrt-cube
6×associate-*r/
5×associate-*l* associate-*l/
4×flip3-- insert-posit16 flip-- add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod div-inv
1×associate-*r* *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 102
Calls
4 calls:
28.0ms
(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
1.0ms
(cbrt (/ z t))
1.0ms
(cbrt (/ z t))
1.0ms
(cbrt (/ z t))

series473.0ms

Counts
4 → 12
Calls
4 calls:
173.0ms
(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
109.0ms
(cbrt (/ z t))
109.0ms
(cbrt (/ z t))
83.0ms
(cbrt (/ z t))

simplify1.8s

Counts
114 → 114
Iterations
IterNodes
done5013
32819
2841
1341
0164

prune737.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

1.4b
(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
3.6b
(cbrt (/ z (cbrt t)))
11.2b
(cbrt (/ z t))
11.2b
(cbrt (/ z t))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
57×cbrt-prod
36×times-frac
35×add-sqr-sqrt
34×*-un-lft-identity
32×add-cube-cbrt
15×cbrt-div
9×frac-times pow1 add-exp-log
7×add-cbrt-cube
6×associate-*r/
5×associate-*l* associate-*l/
4×flip3-- insert-posit16 flip-- add-log-exp
3×pow1/3 pow-prod-down prod-exp cbrt-unprod div-inv
1×associate-*r* *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 111
Calls
4 calls:
38.0ms
(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
3.0ms
(cbrt (/ z (cbrt t)))
2.0ms
(cbrt (/ z t))
3.0ms
(cbrt (/ z t))

series613.0ms

Counts
4 → 12
Calls
4 calls:
198.0ms
(* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))
222.0ms
(cbrt (/ z (cbrt t)))
106.0ms
(cbrt (/ z t))
88.0ms
(cbrt (/ z t))

simplify2.6s

Counts
123 → 123
Iterations
IterNodes
done5002
34492
21163
1463
0238

prune891.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

11.2b
(cbrt (/ z t))
11.2b
(cbrt (/ z t))
11.2b
(cbrt (/ z t))
11.2b
(cbrt (/ z t))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
52×cbrt-prod
36×times-frac
32×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 cbrt-div add-cbrt-cube pow1/3 add-exp-log insert-posit16 div-inv add-log-exp
Counts
4 → 92
Calls
4 calls:
3.0ms
(cbrt (/ z t))
3.0ms
(cbrt (/ z t))
2.0ms
(cbrt (/ z t))
3.0ms
(cbrt (/ z t))

series392.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(cbrt (/ z t))
84.0ms
(cbrt (/ z t))
97.0ms
(cbrt (/ z t))
116.0ms
(cbrt (/ z t))

simplify2.3s

Counts
104 → 104
Iterations
IterNodes
done5000
53222
41164
3403
2187
1113
077

prune756.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes664.0ms

Accuracy

-4.3% (2.2b remaining)

Error of 2.2b against oracle of 0.0b and baseline of 2.1b

bsearch109.0ms

Steps
ItersRangePoint
7
8.749224583734933e-290
3.189400050417663e-288
2.6855686957563794e-288
8
-670394737327.6124
-1859449899.687015
-1877249882.573062

simplify11.0ms

Iterations
IterNodes
done24
124
017

end0.0ms

sample1.2s

Algorithm
intervals
Results
858.0ms10642×body80valid