Details

Time bar (total: 5.4s)

sample64.0ms

Algorithm
intervals
Results
29.0ms397×body80valid

simplify7.0ms

Counts
1 → 1

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ x (* y z)) (* t a))
0.0b
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
5.9b
(* (* a z) b)

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
17×add-log-exp
9×sum-log
8×pow1 add-exp-log add-cbrt-cube
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×+-commutative associate-+l+ flip3-+ flip-+
1×associate-*l* *-commutative
Counts
3 → 45
Calls
3 calls:
35.0ms
(+ (+ x (* y z)) (* t a))
150.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
27.0ms
(* (* a z) b)

series237.0ms

Counts
3 → 9
Calls
3 calls:
70.0ms
(+ (+ x (* y z)) (* t a))
125.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
42.0ms
(* (* a z) b)

simplify51.0ms

Counts
54 → 54

prune205.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

5.9b
(* (* a z) b)
10.7b
(cbrt (* (* a z) b))
10.7b
(cbrt (* (* a z) b))
10.7b
(cbrt (* (* a z) b))

rewrite97.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 45
Calls
4 calls:
27.0ms
(* (* a z) b)
28.0ms
(cbrt (* (* a z) b))
20.0ms
(cbrt (* (* a z) b))
20.0ms
(cbrt (* (* a z) b))

series462.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (* a z) b)
144.0ms
(cbrt (* (* a z) b))
142.0ms
(cbrt (* (* a z) b))
134.0ms
(cbrt (* (* a z) b))

simplify82.0ms

Counts
57 → 57

prune288.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

10.7b
(cbrt (* (* a z) b))
10.7b
(cbrt (* (* a z) b))
10.7b
(cbrt (* (* a z) b))
10.7b
(cbrt (* (* a z) b))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
4×pow1 add-exp-log cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 36
Calls
4 calls:
15.0ms
(cbrt (* (* a z) b))
17.0ms
(cbrt (* (* a z) b))
16.0ms
(cbrt (* (* a z) b))
14.0ms
(cbrt (* (* a z) b))

series510.0ms

Counts
4 → 12
Calls
4 calls:
138.0ms
(cbrt (* (* a z) b))
119.0ms
(cbrt (* (* a z) b))
112.0ms
(cbrt (* (* a z) b))
141.0ms
(cbrt (* (* a z) b))

simplify64.0ms

Counts
48 → 48

prune324.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* z b) t)
0.0b
(+ (+ x (* y z)) (* a (+ (* z b) t)))
2.9b
(* a (+ (* z b) t))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
7×add-sqr-sqrt flip3-+ flip-+
6×associate-*r/
5×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
4×frac-add sum-log
3×associate-*r* associate-*l*
2×+-commutative distribute-rgt-in associate-+r+ distribute-lft-in
1×associate-+l+ pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 52
Calls
3 calls:
10.0ms
(+ (* z b) t)
39.0ms
(+ (+ x (* y z)) (* a (+ (* z b) t)))
40.0ms
(* a (+ (* z b) t))

series171.0ms

Counts
3 → 9
Calls
3 calls:
25.0ms
(+ (* z b) t)
102.0ms
(+ (+ x (* y z)) (* a (+ (* z b) t)))
44.0ms
(* a (+ (* z b) t))

simplify41.0ms

Counts
61 → 61

prune217.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0.0b

regimes368.0ms

Accuracy

-27.4% (2.7b remaining)

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

bsearch103.0ms

Steps
ItersRangePoint
9
6.238119299815474e+118
2.5560167260369036e+125
6.324662990263947e+118
3
-5.697631814876105e-29
-4.160333268533682e-29
-4.53934499841231e-29

simplify37.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
740.0ms11932×body80valid