Details

Time bar (total: 8.5s)

sample25.0ms

Algorithm
intervals
Results
11.0ms310×body80valid

simplify880.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06123
116123
222123
333123
438123
544123
648123
7114123
8253123
9591123
101410123
113185123
done5000123

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.9b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(* x (+ y z))
8.5b
(/ (* x (+ y z)) z)

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt *-un-lft-identity
6×add-cube-cbrt
4×pow1 associate-*r* associate-*r/
3×associate-/r* times-frac associate-*l*
2×cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ add-log-exp associate-/l/
1×distribute-rgt-in clear-num frac-2neg distribute-lft-in pow-prod-down *-commutative div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
2 → 46
Calls
2 calls:
22.0ms
(* x (+ y z))
12.0ms
(/ (* x (+ y z)) z)

series73.0ms

Counts
2 → 6
Calls
2 calls:
27.0ms
(* x (+ y z))
46.0ms
(/ (* x (+ y z)) z)

simplify1.4s

Counts
52 → 52
Iterations

Useful iterations: done (1.4s)

IterNodesCost
0868828
12457963
211787803
done50017643

prune214.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

4.0b
(/ (* x y) z)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
6×add-cbrt-cube add-exp-log
3×add-sqr-sqrt associate-/r* *-un-lft-identity times-frac add-cube-cbrt
2×cbrt-undiv div-exp
1×pow1 clear-num frac-2neg prod-exp cbrt-unprod div-inv associate-/l* add-log-exp
Counts
1 → 21
Calls
1 calls:
8.0ms
(/ (* x y) z)

series22.0ms

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

simplify1.0s

Counts
24 → 24
Iterations

Useful iterations: done (1.0s)

IterNodesCost
0483643
11193351
26243231
done50003111

prune124.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 1 expressions with local error:

4.1b
(* (* x y) (/ 1 z))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log
13×add-cbrt-cube associate-*r*
12×prod-exp
9×times-frac
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1 cbrt-unprod
4×div-exp
3×pow-prod-down
2×cbrt-undiv rec-exp 1-exp
1×associate-*l* associate-*r/ un-div-inv *-commutative div-inv add-log-exp
Counts
1 → 38
Calls
1 calls:
20.0ms
(* (* x y) (/ 1 z))

series31.0ms

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

simplify1.6s

Counts
41 → 41
Iterations

Useful iterations: done (1.6s)

IterNodesCost
0838664
12486557
215925372
done50025052

prune154.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.7b
(/ 1 (/ z (* x y)))
3.9b
(/ z (* x y))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
36×times-frac
28×add-exp-log
20×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
16×add-cbrt-cube
14×div-exp
8×associate-/r*
7×cbrt-undiv
6×div-inv associate-/l*
4×prod-exp
3×pow1 rec-exp 1-exp
2×clear-num frac-2neg cbrt-unprod add-log-exp
1×associate-/r/ pow-flip inv-pow
Counts
2 → 77
Calls
2 calls:
13.0ms
(/ 1 (/ z (* x y)))
7.0ms
(/ z (* x y))

series67.0ms

Counts
2 → 6
Calls
2 calls:
29.0ms
(/ 1 (/ z (* x y)))
38.0ms
(/ z (* x y))

simplify979.0ms

Counts
83 → 83
Iterations

Useful iterations: done (973.0ms)

IterNodesCost
011818431
129514083
2152313923
done500013521

prune257.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes211.0ms

Accuracy

49.8% (2.5b remaining)

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

bsearch155.0ms

Steps
ItersRangePoint
9
1.785397288432207e-232
3.589606547460213e-227
7.922771623064943e-230
8
1.380624695421873e-262
6.0272107707420616e-260
1.2257208974191986e-260
4
-7.036204943604819e+65
-3.617047165488755e+65
-4.056144289794805e+65

simplify10.0ms

Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0301117
1401037
done401037

end0.0ms

sample1.1s

Algorithm
intervals
Results
384.0ms9605×body80valid