Details

Time bar (total: 12.7s)

sample26.0ms

Algorithm
intervals
Results
11.0ms331×body80valid

simplify100.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11511
22511
34111
46211
57911
69511
711211
811911
912211
done12211

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.7b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ y z) (/ t (- 1.0 z)))
0.0b
(/ t (- 1.0 z))
5.5b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite345.0ms

Algorithm
rewrite-expression-head
Rules
1192×times-frac
1082×add-sqr-sqrt
1078×*-un-lft-identity
819×prod-diff
814×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
129×distribute-lft-out-- difference-of-squares
104×div-inv
80×associate-/r/
42×flip3-- flip--
13×fma-neg
10×associate-*r*
7×add-exp-log add-cbrt-cube
5×pow1 associate-/r* add-log-exp
3×expm1-log1p-u sub-neg associate-*r/ associate-*l* log1p-expm1-u associate-/l*
2×frac-sub
1×cbrt-undiv frac-2neg diff-log div-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod unswap-sqr
Counts
3 → 927
Calls
3 calls:
52.0ms
(- (/ y z) (/ t (- 1.0 z)))
11.0ms
(/ t (- 1.0 z))
187.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series136.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(- (/ y z) (/ t (- 1.0 z)))
35.0ms
(/ t (- 1.0 z))
62.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify2.0s

Counts
936 → 936
Iterations

Useful iterations: done (1.9s)

IterNodesCost
0100949986
1165444871
2350733786
done500033785

prune1.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
0.6b
(cbrt y)
5.5b
(* (fma (* (cbrt y) (cbrt y)) (/ (cbrt y) z) (- (/ t (- 1.0 z)))) x)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* associate-*l*
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 59
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
7.0ms
(* (fma (* (cbrt y) (cbrt y)) (/ (cbrt y) z) (- (/ t (- 1.0 z)))) x)

series705.0ms

Counts
4 → 12
Calls
4 calls:
189.0ms
(cbrt y)
189.0ms
(cbrt y)
183.0ms
(cbrt y)
144.0ms
(* (fma (* (cbrt y) (cbrt y)) (/ (cbrt y) z) (- (/ t (- 1.0 z)))) x)

simplify989.0ms

Counts
71 → 71
Iterations

Useful iterations: 3 (266.0ms)

IterNodesCost
074737
1144720
2393546
31408466
done5000466

prune259.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 y)
0.6b
(cbrt y)
0.6b
(cbrt y)
5.5b
(* (- (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ t (- 1.0 z))) x)

rewrite220.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log associate-*l/ add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* associate-*l* frac-sub
1×frac-times flip3-- associate-*r/ pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
4 → 64
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
216.0ms
(* (- (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ t (- 1.0 z))) x)

series610.0ms

Counts
4 → 12
Calls
4 calls:
188.0ms
(cbrt y)
195.0ms
(cbrt y)
184.0ms
(cbrt y)
43.0ms
(* (- (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (cbrt z))) (/ t (- 1.0 z))) x)

simplify2.2s

Counts
76 → 76
Iterations

Useful iterations: 3 (839.0ms)

IterNodesCost
01021061
12451044
2845666
34341545
done5000545

prune297.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite321.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
41×*-un-lft-identity
33×cbrt-div
30×cbrt-prod
24×times-frac
18×associate-*r/
12×distribute-lft-out-- difference-of-squares
11×flip3-- frac-sub flip--
9×pow1 add-exp-log frac-times
8×add-cube-cbrt
7×add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*l* pow-prod-down associate-*l/ prod-exp cbrt-unprod
1×associate-*r* *-commutative unswap-sqr
Counts
4 → 105
Calls
4 calls:
219.0ms
(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
31.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
32.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
35.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))

series599.0ms

Counts
4 → 12
Calls
4 calls:
146.0ms
(* x (* (cbrt (- (/ y z) (/ t (- 1.0 z)))) (cbrt (- (/ y z) (/ t (- 1.0 z))))))
148.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
154.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))
151.0ms
(cbrt (- (/ y z) (/ t (- 1.0 z))))

simplify1.2s

Counts
117 → 117
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01952612
14282518
29762353
324272267
done50002228

prune388.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes276.0ms

Accuracy

83.5% (0.8b remaining)

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

bsearch2.0ms

simplify11.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
044158
160158
264158
365158
done65158

end0.0ms

sample625.0ms

Algorithm
intervals
Results
275.0ms10049×body80valid