Details

Time bar (total: 21.4s)

sample26.0ms

Algorithm
intervals
Results
12.0ms256×body80valid

simplify10.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1119
2149
done149

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.3b

localize14.0ms

Local error

Found 1 expressions with local error:

7.3b
(/ (+ x y) (- 1.0 (/ y z)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
37×*-un-lft-identity
29×times-frac
13×add-cube-cbrt
10×difference-of-squares
7×distribute-lft-out
6×associate-/r*
5×distribute-lft-out--
4×associate-/l*
3×add-exp-log add-cbrt-cube
2×associate-/r/ associate-/l/
1×pow1 cbrt-undiv expm1-log1p-u flip3-- frac-2neg flip3-+ div-exp clear-num flip-- flip-+ log1p-expm1-u div-inv add-log-exp
Counts
1 → 52
Calls
1 calls:
67.0ms
(/ (+ x y) (- 1.0 (/ y z)))

series88.0ms

Counts
1 → 3
Calls
1 calls:
87.0ms
(/ (+ x y) (- 1.0 (/ y z)))

simplify3.4s

Counts
55 → 55
Iterations

Useful iterations: 4 (2.0s)

IterNodesCost
097855
1209831
2558795
31461795
44342794
done5000794

prune237.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 5.9b

localize13.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (/ 1 (* (cbrt (- 1.0 (/ y z))) (cbrt (- 1.0 (/ y z))))) (/ (+ x y) (cbrt (- 1.0 (/ y z)))))
7.7b
(cbrt (- 1.0 (/ y z)))
7.7b
(cbrt (- 1.0 (/ y z)))
7.7b
(cbrt (- 1.0 (/ y z)))

rewrite459.0ms

Algorithm
rewrite-expression-head
Rules
83×add-sqr-sqrt
62×*-un-lft-identity
58×times-frac
49×add-exp-log
45×cbrt-prod
42×associate-*r*
27×add-cube-cbrt
20×cbrt-div prod-exp
18×add-cbrt-cube
15×div-exp associate-*l*
14×difference-of-squares
10×flip3-- associate-/r/ flip--
9×distribute-lft-out unswap-sqr
8×cbrt-unprod
7×cbrt-undiv distribute-lft-out--
6×pow1
5×frac-times
4×expm1-log1p-u rec-exp 1-exp log1p-expm1-u add-log-exp
3×pow1/3 associate-*r/ associate-*l/
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 154
Calls
4 calls:
409.0ms
(* (/ 1 (* (cbrt (- 1.0 (/ y z))) (cbrt (- 1.0 (/ y z))))) (/ (+ x y) (cbrt (- 1.0 (/ y z)))))
15.0ms
(cbrt (- 1.0 (/ y z)))
18.0ms
(cbrt (- 1.0 (/ y z)))
10.0ms
(cbrt (- 1.0 (/ y z)))

series1.7s

Counts
4 → 12
Calls
4 calls:
220.0ms
(* (/ 1 (* (cbrt (- 1.0 (/ y z))) (cbrt (- 1.0 (/ y z))))) (/ (+ x y) (cbrt (- 1.0 (/ y z)))))
473.0ms
(cbrt (- 1.0 (/ y z)))
489.0ms
(cbrt (- 1.0 (/ y z)))
546.0ms
(cbrt (- 1.0 (/ y z)))

simplify2.5s

Counts
166 → 166
Iterations

Useful iterations: done (2.5s)

IterNodesCost
02243931
16183625
221992951
done50012789

prune704.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 5.9b

localize18.0ms

Local error

Found 4 expressions with local error:

7.7b
(cbrt (- 1.0 (/ y z)))
7.7b
(cbrt (- 1.0 (/ y z)))
7.7b
(cbrt (- 1.0 (/ y z)))
7.7b
(cbrt (- 1.0 (/ y z)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×cbrt-prod
16×*-un-lft-identity
8×add-cube-cbrt cbrt-div difference-of-squares
4×pow1 add-exp-log expm1-log1p-u flip3-- times-frac pow1/3 add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out-- add-log-exp
Counts
4 → 72
Calls
4 calls:
9.0ms
(cbrt (- 1.0 (/ y z)))
9.0ms
(cbrt (- 1.0 (/ y z)))
11.0ms
(cbrt (- 1.0 (/ y z)))
13.0ms
(cbrt (- 1.0 (/ y z)))

series2.0s

Counts
4 → 12
Calls
4 calls:
486.0ms
(cbrt (- 1.0 (/ y z)))
492.0ms
(cbrt (- 1.0 (/ y z)))
525.0ms
(cbrt (- 1.0 (/ y z)))
505.0ms
(cbrt (- 1.0 (/ y z)))

simplify2.8s

Counts
84 → 84
Iterations

Useful iterations: done (2.8s)

IterNodesCost
068992
1143952
2309892
3771872
41988828
done5000820

prune529.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 5.9b

localize33.0ms

Local error

Found 4 expressions with local error:

7.7b
(cbrt (- 1.0 (/ y z)))
7.7b
(cbrt (- 1.0 (/ y z)))
7.7b
(cbrt (- 1.0 (/ y z)))
7.7b
(cbrt (- 1.0 (/ y z)))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×cbrt-prod
16×*-un-lft-identity
8×add-cube-cbrt cbrt-div difference-of-squares
4×pow1 add-exp-log expm1-log1p-u flip3-- times-frac pow1/3 add-cbrt-cube flip-- log1p-expm1-u distribute-lft-out-- add-log-exp
Counts
4 → 72
Calls
4 calls:
10.0ms
(cbrt (- 1.0 (/ y z)))
15.0ms
(cbrt (- 1.0 (/ y z)))
16.0ms
(cbrt (- 1.0 (/ y z)))
24.0ms
(cbrt (- 1.0 (/ y z)))

series2.0s

Counts
4 → 12
Calls
4 calls:
561.0ms
(cbrt (- 1.0 (/ y z)))
500.0ms
(cbrt (- 1.0 (/ y z)))
491.0ms
(cbrt (- 1.0 (/ y z)))
459.0ms
(cbrt (- 1.0 (/ y z)))

simplify3.3s

Counts
84 → 84
Iterations

Useful iterations: done (3.3s)

IterNodesCost
068992
1143952
2309892
3771872
41988828
done5000820

prune549.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 5.9b

regimes187.0ms

Accuracy

0% (1.8b remaining)

Error of 7.6b against oracle of 5.7b and baseline of 7.6b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
199
done99

end0.0ms

sample583.0ms

Algorithm
intervals
Results
267.0ms8000×body80valid