Details

Time bar (total: 16.8s)

sample38.0ms

Algorithm
intervals
Results
16.0ms342×body80valid

simplify144.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

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

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.7b

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite439.0ms

Algorithm
rewrite-expression-head
Rules
1177×times-frac
1063×add-sqr-sqrt
1059×*-un-lft-identity
819×prod-diff
803×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
125×distribute-lft-out-- difference-of-squares
103×div-inv
78×associate-/r/
41×flip3-- flip--
13×fma-neg
10×associate-*r*
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×sub-neg associate-*r/ associate-*l*
2×expm1-log1p-u frac-sub log1p-expm1-u
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 888
Calls
2 calls:
57.0ms
(- (/ y z) (/ t (- 1.0 z)))
279.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series101.0ms

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

simplify1.9s

Counts
894 → 894
Iterations

Useful iterations: done (1.8s)

IterNodesCost
098149540
1213444574
done500239513

prune2.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x (/ y z)) (* x (- (/ t (- 1.0 z)))))
1.3b
(* x (- (/ t (- 1.0 z))))
6.7b
(* x (/ y z))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
59×associate-*r*
50×add-sqr-sqrt
43×*-un-lft-identity
40×times-frac
31×add-cube-cbrt
21×distribute-lft-neg-in distribute-rgt-neg-in
10×add-exp-log add-cbrt-cube
7×pow1
6×associate-*l* distribute-lft-out-- difference-of-squares
5×add-log-exp
4×associate-*r/ associate-/r/
3×expm1-log1p-u prod-exp distribute-rgt-neg-out cbrt-unprod log1p-expm1-u div-inv unswap-sqr
2×flip3-- pow-prod-down *-commutative flip-- distribute-neg-frac
1×cbrt-undiv +-commutative neg-mul-1 fma-def flip3-+ div-exp unsub-neg frac-add sum-log flip-+ distribute-lft-out
Counts
3 → 117
Calls
3 calls:
13.0ms
(+ (* x (/ y z)) (* x (- (/ t (- 1.0 z)))))
63.0ms
(* x (- (/ t (- 1.0 z))))
14.0ms
(* x (/ y z))

series198.0ms

Counts
3 → 9
Calls
3 calls:
93.0ms
(+ (* x (/ y z)) (* x (- (/ t (- 1.0 z)))))
78.0ms
(* x (- (/ t (- 1.0 z))))
26.0ms
(* x (/ y z))

simplify1.7s

Counts
126 → 126
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02301400
16531250
228161177
done50011164

prune472.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite185.0ms

Algorithm
rewrite-expression-head
Rules
71×add-sqr-sqrt
68×associate-*r*
58×times-frac
53×*-un-lft-identity
41×add-cube-cbrt
27×add-exp-log
21×distribute-lft-neg-in distribute-rgt-neg-in
20×add-cbrt-cube
17×cbrt-prod
10×associate-*l*
9×prod-exp cbrt-unprod
8×pow1
7×cbrt-undiv div-exp unswap-sqr
6×distribute-lft-out-- difference-of-squares
4×expm1-log1p-u associate-/r/ log1p-expm1-u div-inv add-log-exp
2×flip3-- pow1/3 associate-*r/ pow-prod-down *-commutative flip--
1×frac-times neg-mul-1 associate-*l/ distribute-rgt-neg-out distribute-neg-frac
Counts
4 → 152
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
94.0ms
(* x (- (/ t (- 1.0 z))))
77.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

series667.0ms

Counts
4 → 12
Calls
4 calls:
248.0ms
(cbrt z)
255.0ms
(cbrt z)
91.0ms
(* x (- (/ t (- 1.0 z))))
73.0ms
(* (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)))

simplify2.7s

Counts
164 → 164
Iterations

Useful iterations: done (2.7s)

IterNodesCost
02781914
18491818
247371529
done50001523

prune680.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* (* x y) (/ 1 z)) (* x (- (/ t (- 1.0 z)))))
1.3b
(* x (- (/ t (- 1.0 z))))
4.9b
(* (* x y) (/ 1 z))

rewrite131.0ms

Algorithm
rewrite-expression-head
Rules
59×associate-*r*
44×add-sqr-sqrt
42×*-un-lft-identity
39×times-frac
30×add-cube-cbrt
27×add-exp-log
21×distribute-lft-neg-in distribute-rgt-neg-in
17×add-cbrt-cube
13×prod-exp
10×pow1
7×cbrt-unprod
6×distribute-lft-out-- difference-of-squares
5×associate-*r/ add-log-exp
4×div-exp associate-*l* pow-prod-down associate-/r/
3×expm1-log1p-u distribute-rgt-neg-out log1p-expm1-u div-inv distribute-neg-frac
2×cbrt-undiv rec-exp flip3-- 1-exp frac-add un-div-inv *-commutative flip--
1×+-commutative neg-mul-1 fma-def flip3-+ unsub-neg sum-log flip-+ unswap-sqr
Counts
3 → 123
Calls
3 calls:
23.0ms
(+ (* (* x y) (/ 1 z)) (* x (- (/ t (- 1.0 z)))))
75.0ms
(* x (- (/ t (- 1.0 z))))
25.0ms
(* (* x y) (/ 1 z))

series163.0ms

Counts
3 → 9
Calls
3 calls:
73.0ms
(+ (* (* x y) (/ 1 z)) (* x (- (/ t (- 1.0 z)))))
67.0ms
(* x (- (/ t (- 1.0 z))))
22.0ms
(* (* x y) (/ 1 z))

simplify2.6s

Counts
132 → 132
Iterations

Useful iterations: done (2.6s)

IterNodesCost
02491589
17391413
240121232
done50001224

prune361.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes315.0ms

Accuracy

67.5% (1.4b remaining)

Error of 1.5b against oracle of 0.1b and baseline of 4.5b

bsearch2.0ms

simplify8.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
02570
13955
24355
34455
done4455

end0.0ms

sample1.0s

Algorithm
intervals
Results
503.0ms9961×body80valid