Details

Time bar (total: 11.7s)

sample49.0ms

Algorithm
intervals
Results
20.0ms325×body80valid

simplify3.1s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1149
2319
3579
4959
51309
61619
71869
83989
910549
1049929
done50009

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.9b

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite72.0ms

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

series120.0ms

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

simplify764.0ms

Counts
63 → 63
Iterations

Useful iterations: done (762.0ms)

IterNodesCost
0120727
1322701
21412649
done5001643

prune208.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))
9.8b
(cbrt (/ x y))
9.8b
(cbrt (/ x y))
9.8b
(cbrt (/ x y))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod cbrt-div
29×frac-times
27×times-frac
25×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
19×associate-*r/
16×pow1 add-exp-log
13×associate-*l/
10×add-cbrt-cube
8×distribute-rgt-in flip3-- distribute-lft-in pow-prod-down prod-exp flip-- cbrt-unprod
4×sub-neg add-log-exp
3×pow1/3 div-inv
1×associate-*r* associate-*l* *-commutative
Counts
4 → 119
Calls
4 calls:
128.0ms
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))
3.0ms
(cbrt (/ x y))
3.0ms
(cbrt (/ x y))
4.0ms
(cbrt (/ x y))

series325.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* (* (cbrt (/ x y)) (cbrt (/ x y))) (* (cbrt (/ x y)) (- z t)))
88.0ms
(cbrt (/ x y))
66.0ms
(cbrt (/ x y))
87.0ms
(cbrt (/ x y))

simplify746.0ms

Counts
131 → 131
Iterations

Useful iterations: done (741.0ms)

IterNodesCost
01782113
14792053
214931615
done50001439

prune477.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
2.2b
(cbrt (/ (cbrt x) y))
9.8b
(cbrt (/ x y))
9.8b
(cbrt (/ x y))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-prod
36×times-frac
32×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
3×cbrt-div div-inv
Counts
4 → 86
Calls
4 calls:
1.0ms
(cbrt x)
5.0ms
(cbrt (/ (cbrt x) y))
4.0ms
(cbrt (/ x y))
4.0ms
(cbrt (/ x y))

series571.0ms

Counts
4 → 12
Calls
4 calls:
218.0ms
(cbrt x)
206.0ms
(cbrt (/ (cbrt x) y))
78.0ms
(cbrt (/ x y))
68.0ms
(cbrt (/ x y))

simplify903.0ms

Counts
98 → 98
Iterations

Useful iterations: done (895.0ms)

IterNodesCost
0157949
1256904
2576850
32081831
done5000810

prune483.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

2.2b
(cbrt (/ (cbrt x) y))
2.2b
(cbrt (/ (cbrt x) y))
9.8b
(cbrt (/ x y))
9.8b
(cbrt (/ x y))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
88×cbrt-prod
54×times-frac
44×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log cbrt-div pow1/3 add-cbrt-cube div-inv add-log-exp
Counts
4 → 106
Calls
4 calls:
5.0ms
(cbrt (/ (cbrt x) y))
5.0ms
(cbrt (/ (cbrt x) y))
4.0ms
(cbrt (/ x y))
4.0ms
(cbrt (/ x y))

series581.0ms

Counts
4 → 12
Calls
4 calls:
231.0ms
(cbrt (/ (cbrt x) y))
185.0ms
(cbrt (/ (cbrt x) y))
73.0ms
(cbrt (/ x y))
93.0ms
(cbrt (/ x y))

simplify760.0ms

Counts
118 → 118
Iterations

Useful iterations: done (756.0ms)

IterNodesCost
01491294
12321232
24531192
314201172
done50011148

prune697.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes268.0ms

Accuracy

-11.1% (2.1b remaining)

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

bsearch73.0ms

Steps
ItersRangePoint
9
4.1216544050298406e-41
3.8275109869592044e-34
7.083437615144416e-41
5
-4.773503740140086e-220
-1.3213231972373414e-220
-2.8740139950628705e-220

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01735
12427
done2427

end0.0ms

sample1.2s

Algorithm
intervals
Results
530.0ms10638×body80valid