Details

Time bar (total: 16.5s)

sample25.0ms

Algorithm
intervals
Results
12.0ms302×body80valid

simplify1.3s

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

prune12.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))

series22.0ms

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

simplify2.4s

Counts
37 → 37
Iterations
IterNodes
done5000
32665
2567
1176
072

prune191.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize27.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)))

rewrite142.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)
118.0ms
(* (/ (/ y (cbrt z)) (cbrt z)) (/ x (cbrt z)))

series839.0ms

Counts
4 → 12
Calls
4 calls:
237.0ms
(cbrt z)
247.0ms
(cbrt z)
282.0ms
(cbrt z)
72.0ms
(* (/ (/ y (cbrt z)) (cbrt z)) (/ x (cbrt z)))

simplify1.7s

Counts
256 → 256
Iterations
IterNodes
done5001
23609
1947
0286

prune1.5s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize27.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)))

rewrite71.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)
16.0ms
(* (cbrt z) (cbrt z))
48.0ms
(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

series805.0ms

Counts
4 → 12
Calls
4 calls:
223.0ms
(cbrt z)
241.0ms
(cbrt z)
273.0ms
(* (cbrt z) (cbrt z))
68.0ms
(* (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)))

simplify1.6s

Counts
141 → 141
Iterations
IterNodes
done5076
22350
1518
0179

prune687.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize49.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))))

rewrite27.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)
24.0ms
(/ y (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x))))

series888.0ms

Counts
4 → 12
Calls
4 calls:
262.0ms
(cbrt x)
259.0ms
(cbrt x)
244.0ms
(cbrt x)
123.0ms
(/ y (* (/ (cbrt z) (cbrt x)) (/ (cbrt z) (cbrt x))))

simplify2.3s

Counts
83 → 83
Iterations
IterNodes
done5141
33481
2782
1276
0118

prune498.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes524.0ms

Accuracy

42.5% (1.2b remaining)

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

bsearch1.0ms

simplify4.0ms

Iterations
IterNodes
done28
128
023

end0.0ms

sample858.0ms

Algorithm
intervals
Results
418.0ms9601×body80valid