Details

Time bar (total: 40.5s)

sample47.0ms

Algorithm
intervals
Results
20.0ms318×body80valid

simplify228.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11511
22511
34111
46211
57911
69511
711211
812011
912311
done12311

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.3b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite541.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:
21.0ms
(/ t (- 1.0 z))
83.0ms
(- (/ y z) (/ t (- 1.0 z)))
288.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series196.0ms

Counts
3 → 9
Calls
3 calls:
42.0ms
(/ t (- 1.0 z))
58.0ms
(- (/ y z) (/ t (- 1.0 z)))
96.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify2.4s

Counts
936 → 936
Iterations

Useful iterations: done (2.3s)

IterNodesCost
0100949986
1222244988
done500039914

prune3.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- 1.0 z))
0.3b
(cbrt (- 1.0 z))
5.2b
(* x (+ (+ (/ y z) (- (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))) (fma (/ t (cbrt (- 1.0 z))) (/ -1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))))
27.7b
(fma (/ t (cbrt (- 1.0 z))) (/ -1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))

rewrite3.6s

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity
14×add-sqr-sqrt
10×cbrt-prod
8×add-cube-cbrt
6×pow1 add-exp-log associate-*r* add-cbrt-cube
5×distribute-lft-out
4×expm1-log1p-u cbrt-div log1p-expm1-u add-log-exp
3×associate-*l*
2×flip3-- pow1/3 associate-*r/ flip-- distribute-lft-out-- difference-of-squares
1×distribute-rgt-in distribute-rgt-neg-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ fma-udef unswap-sqr
Counts
4 → 71
Calls
4 calls:
9.0ms
(cbrt (- 1.0 z))
8.0ms
(cbrt (- 1.0 z))
3.6s
(* x (+ (+ (/ y z) (- (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))) (fma (/ t (cbrt (- 1.0 z))) (/ -1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))))
1.0ms
(fma (/ t (cbrt (- 1.0 z))) (/ -1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))

series744.0ms

Counts
4 → 12
Calls
4 calls:
149.0ms
(cbrt (- 1.0 z))
138.0ms
(cbrt (- 1.0 z))
327.0ms
(* x (+ (+ (/ y z) (- (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))) (fma (/ t (cbrt (- 1.0 z))) (/ -1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))))
130.0ms
(fma (/ t (cbrt (- 1.0 z))) (/ -1 (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))) (/ (/ t (cbrt (- 1.0 z))) (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z)))))

simplify956.0ms

Counts
83 → 83
Iterations

Useful iterations: done (950.0ms)

IterNodesCost
01552755
13972610
215251866
done50021254

prune619.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
5.2b
(* x (+ (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (/ t (- 1.0 z)))) (+ (- (/ t (- 1.0 z))) (/ t (- 1.0 z)))))

rewrite1.7s

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
11×add-sqr-sqrt
9×cbrt-prod add-cube-cbrt
6×pow1 add-exp-log associate-*r* add-cbrt-cube
5×distribute-lft-out
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3 associate-*l*
2×associate-*r/
1×distribute-rgt-in distribute-rgt-neg-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 66
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.7s
(* x (+ (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (/ t (- 1.0 z)))) (+ (- (/ t (- 1.0 z))) (/ t (- 1.0 z)))))

series1.1s

Counts
4 → 12
Calls
4 calls:
232.0ms
(cbrt z)
318.0ms
(cbrt z)
294.0ms
(cbrt z)
258.0ms
(* x (+ (fma (/ 1 (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (- (/ t (- 1.0 z)))) (+ (- (/ t (- 1.0 z))) (/ t (- 1.0 z)))))

simplify663.0ms

Counts
78 → 78
Iterations

Useful iterations: done (660.0ms)

IterNodesCost
0911287
12421264
210351036
done5000712

prune372.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b
(pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)
0.6b
(pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)
0.6b
(pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)
5.2b
(* x (+ (fma y (/ 1 z) (- (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3))) (+ (- (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)) (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3))))

rewrite19.6s

Algorithm
rewrite-expression-head
Rules
324×cbrt-prod
288×times-frac
263×*-un-lft-identity
257×add-sqr-sqrt
183×add-cube-cbrt
162×unpow-prod-down cube-prod
36×distribute-lft-out-- difference-of-squares
15×add-exp-log
12×cbrt-div associate-/r/
9×pow1 pow-unpow add-cbrt-cube
6×flip3-- associate-*r* pow-exp flip-- div-inv rem-cube-cbrt
5×distribute-lft-out
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv cube-div cube-mult pow-to-exp pow-pow unpow3 div-exp associate-*l* sqr-pow
2×associate-*r/
1×distribute-rgt-in distribute-rgt-neg-in distribute-lft-in flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
4 → 417
Calls
4 calls:
26.0ms
(pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)
22.0ms
(pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)
22.0ms
(pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)
19.5s
(* x (+ (fma y (/ 1 z) (- (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3))) (+ (- (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)) (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3))))

series764.0ms

Counts
4 → 12
Calls
4 calls:
249.0ms
(pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)
196.0ms
(pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)
210.0ms
(pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)
109.0ms
(* x (+ (fma y (/ 1 z) (- (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3))) (+ (- (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3)) (pow (/ (cbrt t) (cbrt (- 1.0 z))) 3))))

simplify628.0ms

Counts
429 → 429
Iterations

Useful iterations: done (609.0ms)

IterNodesCost
03039598
112628069
done50016260

prune1.1s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes348.0ms

Accuracy

41.6% (2.8b remaining)

Error of 2.8b against oracle of 0.1b and baseline of 4.8b

bsearch3.0ms

simplify11.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
038177
146177
248177
done48177

end0.0ms

sample1.1s

Algorithm
intervals
Results
570.0ms10122×body80valid