Details

Time bar (total: 18.1s)

sample30.0ms

Algorithm
intervals
Results
15.0ms324×body80valid

simplify4.9s

Counts
1 → 1
Iterations

Useful iterations: 7 (1.4s)

IterNodesCost
01011
12011
24711
313610
432910
561310
696810
714349
830969
done50009

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- x y) z)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt *-un-lft-identity
15×times-frac
11×add-cube-cbrt
5×associate-/l*
4×distribute-lft-out-- difference-of-squares
3×add-exp-log associate-/r* add-cbrt-cube
2×associate-/l/
1×pow1 cbrt-undiv expm1-log1p-u flip3-- frac-2neg div-sub div-exp clear-num flip-- log1p-expm1-u div-inv add-log-exp
Counts
1 → 40
Calls
1 calls:
27.0ms
(/ (- x y) z)

series50.0ms

Counts
1 → 3
Calls
1 calls:
50.0ms
(/ (- x y) z)

simplify2.4s

Counts
43 → 43
Iterations

Useful iterations: 4 (1.0s)

IterNodesCost
075416
1160394
2375374
31000374
42603373
done5001373

prune137.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ x z) (/ y z))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
253×times-frac
204×add-sqr-sqrt
200×*-un-lft-identity
192×add-cube-cbrt
169×prod-diff
29×div-inv
13×fma-neg
4×distribute-lft-out-- difference-of-squares
3×add-log-exp
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- distribute-rgt-out-- diff-log frac-sub add-cbrt-cube flip-- log1p-expm1-u sub-div
Counts
1 → 207
Calls
1 calls:
55.0ms
(- (/ x z) (/ y z))

series28.0ms

Counts
1 → 3
Calls
1 calls:
28.0ms
(- (/ x z) (/ y z))

simplify3.2s

Counts
210 → 210
Iterations

Useful iterations: 3 (1.8s)

IterNodesCost
03107884
16836890
214724963
345583552
done50003552

prune263.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt (- x y)) (cbrt (- x y)))
0.5b
(cbrt (- x y))
0.5b
(cbrt (- x y))
0.5b
(cbrt (- x y))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
43×cbrt-prod
37×add-sqr-sqrt
35×*-un-lft-identity
18×cbrt-div
15×add-cube-cbrt
11×pow1
10×swap-sqr
9×flip3-- pow1/3 flip-- distribute-lft-out--
8×associate-*r* associate-*l*
7×difference-of-squares
6×add-exp-log
4×expm1-log1p-u frac-times add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 109
Calls
4 calls:
55.0ms
(* (cbrt (- x y)) (cbrt (- x y)))
6.0ms
(cbrt (- x y))
6.0ms
(cbrt (- x y))
4.0ms
(cbrt (- x y))

series721.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(* (cbrt (- x y)) (cbrt (- x y)))
171.0ms
(cbrt (- x y))
188.0ms
(cbrt (- x y))
186.0ms
(cbrt (- x y))

simplify3.0s

Counts
121 → 121
Iterations

Useful iterations: done (3.0s)

IterNodesCost
01351434
12711320
26481262
314271156
438901116
done50001112

prune404.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(* z (+ x y))
2.8b
(- (* x x) (* y y))
25.1b
(/ (- (* x x) (* y y)) (* z (+ x y)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log add-cbrt-cube
9×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt
5×pow1 add-log-exp
4×times-frac associate-*r/ associate-*r* associate-/l*
3×expm1-log1p-u associate-*l* log1p-expm1-u difference-of-squares
2×cbrt-undiv flip3-- flip3-+ div-exp prod-exp associate-/r/ flip-- cbrt-unprod flip-+ associate-/l/
1×distribute-rgt-in sub-neg frac-2neg distribute-lft-in fma-neg diff-log div-sub prod-diff pow-prod-down clear-num associate-/r* *-commutative div-inv distribute-lft-out unswap-sqr
Counts
3 → 72
Calls
3 calls:
25.0ms
(* z (+ x y))
9.0ms
(- (* x x) (* y y))
27.0ms
(/ (- (* x x) (* y y)) (* z (+ x y)))

series127.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(* z (+ x y))
36.0ms
(- (* x x) (* y y))
63.0ms
(/ (- (* x x) (* y y)) (* z (+ x y)))

simplify966.0ms

Counts
81 → 81
Iterations

Useful iterations: done (963.0ms)

IterNodesCost
0118988
1329953
21285826
done5000710

prune205.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes91.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
099
1109
done109

end0.0ms

sample1.3s

Algorithm
intervals
Results
862.0ms10023×body80valid