Details

Time bar (total: 15.7s)

sample34.0ms

Algorithm
intervals
Results
23.0ms320×body80valid

simplify41.0ms

Counts
1 → 1
Iterations
IterNodes
854
754
651
548
442
335
229
116
010

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.7b

localize48.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ (+ x 4) y) (* (/ x y) z))
0.0b
(/ (+ x 4) y)
3.1b
(* (/ x y) z)

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
25×add-sqr-sqrt
22×times-frac
20×add-cube-cbrt
13×associate-*l*
10×add-cbrt-cube add-exp-log
5×pow1 add-log-exp
4×distribute-lft-out associate-/l*
3×associate-/r* associate-*r* associate-*l/ insert-posit16
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/
1×clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log pow-prod-down *-commutative frac-sub flip-+ flip-- sub-div
Counts
3 → 82
Calls
3 calls:
60.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
14.0ms
(/ (+ x 4) y)
16.0ms
(* (/ x y) z)

series141.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(- (/ (+ x 4) y) (* (/ x y) z))
36.0ms
(/ (+ x 4) y)
33.0ms
(* (/ x y) z)

simplify1.4s

Counts
91 → 91
Iterations
IterNodes
33328
21059
1356
0145

prune993.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ (+ x 4) y) (* x (/ z y)))
0.0b
(/ (+ x 4) y)
3.9b
(* x (/ z y))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity
25×add-sqr-sqrt
22×times-frac
20×add-cube-cbrt
13×associate-*r*
10×add-cbrt-cube add-exp-log
5×pow1 add-log-exp
4×distribute-lft-out associate-/l*
3×associate-/r* associate-*l* associate-*r/ insert-posit16
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/
1×clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log pow-prod-down *-commutative frac-sub flip-+ flip-- sub-div
Counts
3 → 82
Calls
3 calls:
47.0ms
(- (/ (+ x 4) y) (* x (/ z y)))
14.0ms
(/ (+ x 4) y)
9.0ms
(* x (/ z y))

series125.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(- (/ (+ x 4) y) (* x (/ z y)))
30.0ms
(/ (+ x 4) y)
24.0ms
(* x (/ z y))

simplify966.0ms

Counts
91 → 91
Iterations
IterNodes
32931
21011
1361
0145

prune974.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.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×insert-posit16 add-log-exp
3×pow1/3
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 240
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
42.0ms
(* (/ (/ x (cbrt y)) (cbrt y)) (/ z (cbrt y)))

series961.0ms

Counts
4 → 12
Calls
4 calls:
318.0ms
(cbrt y)
291.0ms
(cbrt y)
291.0ms
(cbrt y)
60.0ms
(* (/ (/ x (cbrt y)) (cbrt y)) (/ z (cbrt y)))

simplify1.0s

Counts
252 → 252
Iterations
IterNodes
23588
1943
0284

prune3.6s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

1.3b
(* x (* (cbrt (/ z y)) (cbrt (/ z y))))
10.8b
(cbrt (/ z y))
10.8b
(cbrt (/ z y))
10.8b
(cbrt (/ z y))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod
27×add-sqr-sqrt times-frac
26×*-un-lft-identity add-cube-cbrt
9×pow1 add-exp-log
7×cbrt-div add-cbrt-cube
4×associate-*r/ insert-posit16 add-log-exp
3×pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod div-inv
1×frac-times associate-*r* associate-*l/ *-commutative unswap-sqr
Counts
4 → 92
Calls
4 calls:
19.0ms
(* x (* (cbrt (/ z y)) (cbrt (/ z y))))
2.0ms
(cbrt (/ z y))
3.0ms
(cbrt (/ z y))
3.0ms
(cbrt (/ z y))

series329.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(* x (* (cbrt (/ z y)) (cbrt (/ z y))))
78.0ms
(cbrt (/ z y))
81.0ms
(cbrt (/ z y))
80.0ms
(cbrt (/ z y))

simplify1.2s

Counts
104 → 104
Iterations
IterNodes
42797
31116
2503
1239
0129

prune1.4s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes163.0ms

Accuracy

86.2% (0.2b remaining)

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

bsearch189.0ms

Steps
ItersRangePoint
10
1.136445725216553e+84
7.304377439060153e+93
1.1828035466780113e+84
11
-8.94709755966432e+55
-7.751429210133142e+34
-2.225256278246885e+40

simplify4.0ms

Iterations
IterNodes
231
131
027

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.5s10055×body80valid