Details

Time bar (total: 19.3s)

sample39.0ms

Algorithm
intervals
Results
16.0ms302×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5027
51745
4352
396
238
116
08

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize6.0ms

Local error

Found 1 expressions with local error:

4.8b
(* y (/ x z))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×associate-*r*
10×times-frac
9×*-un-lft-identity add-cube-cbrt
6×add-cbrt-cube add-exp-log
3×pow1 associate-*l*
2×prod-exp cbrt-unprod unswap-sqr
1×expm1-log1p-u cbrt-undiv div-exp pow-prod-down associate-*r/ *-commutative log1p-expm1-u div-inv add-log-exp
Counts
1 → 34
Calls
1 calls:
11.0ms
(* y (/ x z))

series23.0ms

Counts
1 → 3
Calls
1 calls:
23.0ms
(* y (/ x z))

simplify2.3s

Counts
37 → 37
Iterations
IterNodes
done5000
32665
2567
1176
072

prune210.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(cbrt z)
5.0b
(* (/ (/ y (cbrt z)) (cbrt z)) (/ x (cbrt z)))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
302×times-frac
229×add-sqr-sqrt
160×cbrt-prod
143×*-un-lft-identity add-cube-cbrt
136×associate-*l*
25×add-exp-log
22×associate-*r*
21×unswap-sqr
16×add-cbrt-cube
9×cbrt-undiv div-exp
8×div-inv
6×pow1 prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow1/3
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 244
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
143.0ms
(* (/ (/ y (cbrt z)) (cbrt z)) (/ x (cbrt z)))

series930.0ms

Counts
4 → 12
Calls
4 calls:
271.0ms
(cbrt z)
262.0ms
(cbrt z)
303.0ms
(cbrt z)
94.0ms
(* (/ (/ y (cbrt z)) (cbrt z)) (/ x (cbrt z)))

simplify2.2s

Counts
256 → 256
Iterations
IterNodes
done5001
23609
1947
0286

prune2.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt z)
0.5b
(cbrt z)
0.5b
(* (cbrt z) (cbrt z))
5.0b
(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
33×cbrt-prod
29×*-un-lft-identity add-cube-cbrt
28×times-frac associate-*r*
27×add-exp-log
18×add-cbrt-cube
13×pow1 associate-*l*
10×unswap-sqr
9×prod-exp cbrt-unprod
8×pow1/3
7×cbrt-undiv div-exp
6×swap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-prod-down
2×pow-sqr *-commutative pow-prod-up div-inv
1×pow2 frac-times pow-plus associate-*l/ associate-*r/
Counts
4 → 129
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
18.0ms
(* (cbrt z) (cbrt z))
49.0ms
(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

series861.0ms

Counts
4 → 12
Calls
4 calls:
230.0ms
(cbrt z)
241.0ms
(cbrt z)
305.0ms
(* (cbrt z) (cbrt z))
85.0ms
(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

simplify1.8s

Counts
141 → 141
Iterations
IterNodes
done5076
22350
1518
0179

prune914.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt x)
0.6b
(cbrt x)
0.6b
(cbrt x)
2.1b
(/ y (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log
14×add-cbrt-cube
9×cbrt-prod add-sqr-sqrt cbrt-undiv *-un-lft-identity div-exp add-cube-cbrt
4×expm1-log1p-u pow1 prod-exp cbrt-unprod log1p-expm1-u add-log-exp
3×times-frac pow1/3 associate-/r/ associate-/l*
1×frac-times clear-num associate-/r* frac-2neg associate-*l/ associate-*r/ div-inv
Counts
4 → 71
Calls
4 calls:
1.0ms
(cbrt x)
1.0ms
(cbrt x)
1.0ms
(cbrt x)
34.0ms
(/ y (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x))))

series996.0ms

Counts
4 → 12
Calls
4 calls:
333.0ms
(cbrt x)
311.0ms
(cbrt x)
250.0ms
(cbrt x)
101.0ms
(/ y (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x))))

simplify2.7s

Counts
83 → 83
Iterations
IterNodes
done5141
33481
2782
1276
0118

prune515.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes625.0ms

Accuracy

42.5% (1.2b remaining)

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

bsearch1.0ms

simplify3.0ms

Iterations
IterNodes
done28
128
023

end0.0ms

sample916.0ms

Algorithm
intervals
Results
445.0ms9601×body80valid