Details

Time bar (total: 14.5s)

sample31.0ms

Algorithm
intervals
Results
13.0ms320×body80valid

simplify58.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
010244
116244
229244
335244
442244
548244
651244
754244
done54244

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.2b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (+ x 4.0) y)
0.0b
(- (/ (+ x 4.0) y) (* (/ x y) z))
3.0b
(* (/ x y) z)

rewrite129.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/
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 → 79
Calls
3 calls:
17.0ms
(/ (+ x 4.0) y)
85.0ms
(- (/ (+ x 4.0) y) (* (/ x y) z))
23.0ms
(* (/ x y) z)

series145.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(/ (+ x 4.0) y)
72.0ms
(- (/ (+ x 4.0) y) (* (/ x y) z))
29.0ms
(* (/ x y) z)

simplify1.8s

Counts
88 → 88
Iterations

Useful iterations: 2 (313.0ms)

IterNodesCost
014217993
135116898
2113216251
done500016251

prune502.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* (+ x 4.0) (/ 1 y)) (* (/ x y) z))
0.1b
(* (+ x 4.0) (/ 1 y))
3.0b
(* (/ x y) z)

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
22×*-un-lft-identity
21×times-frac
19×add-cube-cbrt
17×associate-*l* add-exp-log
16×associate-*r*
13×add-cbrt-cube associate-*l/
7×pow1
6×prod-exp frac-sub
5×add-log-exp unswap-sqr
4×frac-times flip3-+ cbrt-unprod flip-+
3×div-exp associate-*r/ un-div-inv
2×cbrt-undiv pow-prod-down *-commutative div-inv sub-div
1×rec-exp sub-neg flip3-- diff-log 1-exp flip-- distribute-lft-out
Counts
3 → 93
Calls
3 calls:
27.0ms
(- (* (+ x 4.0) (/ 1 y)) (* (/ x y) z))
53.0ms
(* (+ x 4.0) (/ 1 y))
24.0ms
(* (/ x y) z)

series150.0ms

Counts
3 → 9
Calls
3 calls:
80.0ms
(- (* (+ x 4.0) (/ 1 y)) (* (/ x y) z))
33.0ms
(* (+ x 4.0) (/ 1 y))
37.0ms
(* (/ x y) z)

simplify1.9s

Counts
102 → 102
Iterations

Useful iterations: 2 (661.0ms)

IterNodesCost
019025260
151921593
2189218940
done502718940

prune484.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt y)
0.6b
(cbrt y)
1.4b
(* (/ x (cbrt y)) z)
4.2b
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
87×add-exp-log
46×prod-exp
35×add-cbrt-cube
30×add-sqr-sqrt
29×associate-*l*
23×times-frac
22×*-un-lft-identity add-cube-cbrt
20×div-exp cbrt-unprod
16×cbrt-prod
11×pow1
10×cbrt-undiv
6×rec-exp 1-exp
4×associate-*r* pow-prod-down associate-*l/ add-log-exp
3×unswap-sqr
2×pow1/3 *-commutative div-inv
1×frac-times associate-*r/
Counts
4 → 115
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
18.0ms
(* (/ x (cbrt y)) z)
60.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))

series856.0ms

Counts
4 → 12
Calls
4 calls:
301.0ms
(cbrt y)
281.0ms
(cbrt y)
187.0ms
(* (/ x (cbrt y)) z)
85.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))

simplify3.0s

Counts
127 → 127
Iterations

Useful iterations: done (3.0s)

IterNodesCost
017038196
145633173
2165830848
done500229568

prune698.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 1 expressions with local error:

2.9b
(/ (- (+ x 4.0) (* x z)) y)

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
3×associate-/r* add-cbrt-cube add-exp-log associate-/l*
2×associate-/l/
1×pow1 cbrt-undiv clear-num frac-2neg flip3-- div-sub div-exp div-inv flip-- add-log-exp
Counts
1 → 30
Calls
1 calls:
65.0ms
(/ (- (+ x 4.0) (* x z)) y)

series69.0ms

Counts
1 → 3
Calls
1 calls:
69.0ms
(/ (- (+ x 4.0) (* x z)) y)

simplify2.7s

Counts
33 → 33
Iterations

Useful iterations: 2 (168.0ms)

IterNodesCost
0689724
11719411
25489208
325369208
done50219208

prune166.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0b

regimes267.0ms

Accuracy

66% (0.6b remaining)

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

bsearch100.0ms

Steps
ItersRangePoint
5
4.623736618629093e-128
1.744681020596446e-127
8.845625549732626e-128
9
-2.0414986677080366e-59
-5.865180011431264e-66
-1.99912416436274e-59

simplify10.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
020666
126666
done26666

end0.0ms

sample1.1s

Algorithm
intervals
Results
735.0ms10142×body80valid