Details

Time bar (total: 22.9s)

sample105.0ms

Algorithm
intervals
Results
26.0ms100×body80nan
19.0ms216×body80valid
15.0ms21×body1280valid
12.0ms24×body640valid
7.0ms22×body320valid
2.0ms12×body160valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: 2 (6.0ms)

IterNodesCost
01013
11813
22711
35211
411011
524911
659011
7185511
done500011

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.3b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
0.0b
(/ y (+ z y))
0.1b
(* y (log (/ y (+ z y))))
8.6b
(log (/ y (+ z y)))

rewrite238.0ms

Algorithm
rewrite-expression-head
Rules
68×*-un-lft-identity
54×log-prod
48×times-frac
42×add-sqr-sqrt
40×add-cube-cbrt
18×distribute-rgt-in distribute-lft-in
14×distribute-lft-out
11×add-exp-log
8×pow1 associate-/r/ add-cbrt-cube
6×add-log-exp
5×flip3-+ flip-+
4×expm1-log1p-u associate-*r* associate-/r* log1p-expm1-u div-inv
3×fma-def associate-*l* associate-/l*
2×div-exp rem-log-exp log-pow
1×cbrt-undiv +-commutative log-div frac-2neg pow-prod-down prod-exp clear-num sum-log *-commutative cbrt-unprod unswap-sqr
Counts
4 → 140
Calls
4 calls:
145.0ms
(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
24.0ms
(/ y (+ z y))
48.0ms
(* y (log (/ y (+ z y))))
14.0ms
(log (/ y (+ z y)))

series683.0ms

Counts
4 → 12
Calls
4 calls:
482.0ms
(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
58.0ms
(/ y (+ z y))
86.0ms
(* y (log (/ y (+ z y))))
57.0ms
(log (/ y (+ z y)))

simplify1.9s

Counts
152 → 152
Iterations

Useful iterations: 3 (1.0s)

IterNodesCost
02071965
13961858
29151711
324001662
done50011662

prune542.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ z y))
0.6b
(cbrt (+ z y))
3.8b
(log (/ (cbrt y) (cbrt (+ z y))))
3.8b
(log (/ (cbrt y) (cbrt (+ z y))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
98×cbrt-prod
96×log-prod
88×*-un-lft-identity
84×times-frac
60×add-sqr-sqrt add-cube-cbrt
14×distribute-lft-out
10×add-exp-log
8×cbrt-div
6×pow1
4×expm1-log1p-u flip3-+ rem-log-exp associate-/r/ add-cbrt-cube flip-+ log1p-expm1-u add-log-exp
2×log-div pow1/3 div-exp log-pow div-inv
Counts
4 → 154
Calls
4 calls:
7.0ms
(cbrt (+ z y))
7.0ms
(cbrt (+ z y))
16.0ms
(log (/ (cbrt y) (cbrt (+ z y))))
16.0ms
(log (/ (cbrt y) (cbrt (+ z y))))

series582.0ms

Counts
4 → 12
Calls
4 calls:
158.0ms
(cbrt (+ z y))
211.0ms
(cbrt (+ z y))
94.0ms
(log (/ (cbrt y) (cbrt (+ z y))))
119.0ms
(log (/ (cbrt y) (cbrt (+ z y))))

simplify2.8s

Counts
166 → 166
Iterations

Useful iterations: done (2.8s)

IterNodesCost
01932506
13652332
27082242
314642166
436682162
done50002152

prune1.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize16.0ms

Local error

Found 1 expressions with local error:

0.2b
(/ (exp (- z)) y)

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
3×associate-/r* add-cbrt-cube associate-/l*
2×add-exp-log associate-/l/
1×pow1 cbrt-undiv neg-sub0 exp-neg expm1-log1p-u frac-2neg exp-diff div-exp clear-num log1p-expm1-u div-inv add-log-exp
Counts
1 → 31
Calls
1 calls:
25.0ms
(/ (exp (- z)) y)

series40.0ms

Counts
1 → 3
Calls
1 calls:
40.0ms
(/ (exp (- z)) y)

simplify3.2s

Counts
34 → 34
Iterations

Useful iterations: 3 (280.0ms)

IterNodesCost
066311
1119301
2293280
3710278
42828278
done5001278

prune133.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

1.5b
(- (* x x) (/ (pow (/ y (+ z y)) (* 2 y)) (* y y)))
5.3b
(pow (/ y (+ z y)) y)
5.3b
(pow (/ y (+ z y)) (* 2 y))
25.5b
(/ (- (* x x) (/ (pow (/ y (+ z y)) (* 2 y)) (* y y))) (- x (/ (pow (/ y (+ z y)) y) y)))

rewrite655.0ms

Algorithm
rewrite-expression-head
Rules
231×add-sqr-sqrt
230×times-frac
100×difference-of-squares
94×unpow-prod-down
86×*-un-lft-identity
50×add-cube-cbrt
26×prod-diff
23×sqr-pow
12×add-exp-log
9×associate-/r* distribute-lft-out distribute-lft-out--
8×associate-/r/ associate-/l*
6×pow1 add-cbrt-cube add-log-exp
5×div-inv
4×expm1-log1p-u pow-unpow pow-exp log1p-expm1-u
3×flip3-- flip3-+ div-exp flip-- flip-+
2×pow-to-exp pow-pow associate-/l/
1×cbrt-undiv sub-neg frac-2neg fma-neg diff-log div-sub clear-num
Counts
4 → 222
Calls
4 calls:
121.0ms
(- (* x x) (/ (pow (/ y (+ z y)) (* 2 y)) (* y y)))
13.0ms
(pow (/ y (+ z y)) y)
20.0ms
(pow (/ y (+ z y)) (* 2 y))
471.0ms
(/ (- (* x x) (/ (pow (/ y (+ z y)) (* 2 y)) (* y y))) (- x (/ (pow (/ y (+ z y)) y) y)))

series1.2s

Counts
4 → 12
Calls
4 calls:
136.0ms
(- (* x x) (/ (pow (/ y (+ z y)) (* 2 y)) (* y y)))
329.0ms
(pow (/ y (+ z y)) y)
363.0ms
(pow (/ y (+ z y)) (* 2 y))
359.0ms
(/ (- (* x x) (/ (pow (/ y (+ z y)) (* 2 y)) (* y y))) (- x (/ (pow (/ y (+ z y)) y) y)))

simplify3.0s

Counts
234 → 234
Iterations

Useful iterations: done (3.0s)

IterNodesCost
05719470
114269091
240438304
done50018154

prune1.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes94.0ms

Accuracy

0% (1.0b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 1.1b

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01628
12228
done2228

end0.0ms

sample3.3s

Algorithm
intervals
Results
765.0ms6515×body80valid
758.0ms959×body640valid
629.0ms791×body1280valid
238.0ms3061×body80nan
162.0ms560×body320valid
58.0ms313×body160valid