Details

Time bar (total: 27.5s)

sample72.0ms

Algorithm
intervals
Results
36.0ms514×body80valid

simplify15.8s

Counts
1 → 1
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
02831
16629
219729
356729
4119129
5173629
6238929
7371529
8475829
done475829

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.9b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.3b
(* (* j 27.0) k)
2.5b
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
4.0b
(* (* (* x 18.0) y) z)

rewrite124.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-exp-log add-cbrt-cube
13×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
11×add-sqr-sqrt
9×add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
7.0ms
(* (* x 18.0) y)
6.0ms
(* (* j 27.0) k)
85.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
24.0ms
(* (* (* x 18.0) y) z)

series199.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(* (* x 18.0) y)
22.0ms
(* (* j 27.0) k)
124.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
30.0ms
(* (* (* x 18.0) y) z)

simplify982.0ms

Counts
93 → 93
Iterations

Useful iterations: 2 (214.0ms)

IterNodesCost
01581015
1403980
21682822
done5001822

prune341.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.3b
(* j (* 27.0 k))
2.5b
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
4.0b
(* (* (* x 18.0) y) z)

rewrite123.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-exp-log add-cbrt-cube
13×pow-prod-down prod-exp cbrt-unprod
11×add-sqr-sqrt
10×associate-*r*
9×add-cube-cbrt *-un-lft-identity
8×associate-*l*
4×*-commutative add-log-exp
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- flip-- unswap-sqr
Counts
4 → 81
Calls
4 calls:
6.0ms
(* (* x 18.0) y)
6.0ms
(* j (* 27.0 k))
85.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
23.0ms
(* (* (* x 18.0) y) z)

series196.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* (* x 18.0) y)
22.0ms
(* j (* 27.0 k))
122.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
30.0ms
(* (* (* x 18.0) y) z)

simplify774.0ms

Counts
93 → 93
Iterations

Useful iterations: 2 (201.0ms)

IterNodesCost
01561012
1395979
21620821
done5001821

prune359.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 2.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
1.4b
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z))
2.5b
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)))
2.8b
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))

rewrite581.0ms

Algorithm
rewrite-expression-head
Rules
56×pow1 add-exp-log
38×pow-prod-down prod-exp cbrt-unprod
37×add-cbrt-cube
11×add-sqr-sqrt
10×associate-*r*
9×add-cube-cbrt *-un-lft-identity
6×cbrt-prod
5×associate-*l*
4×add-log-exp
3×*-commutative
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- pow1/3 flip-- unswap-sqr
Counts
4 → 99
Calls
4 calls:
1.0ms
(cbrt z)
108.0ms
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z))
437.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)))
31.0ms
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))

series542.0ms

Counts
4 → 12
Calls
4 calls:
190.0ms
(cbrt z)
58.0ms
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z))
160.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)))
134.0ms
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))

simplify796.0ms

Counts
111 → 111
Iterations

Useful iterations: 2 (222.0ms)

IterNodesCost
01691935
14711855
218791085
done50001085

prune445.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 2.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt z))
1.4b
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))
2.5b
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* a 4.0)))
2.8b
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))

rewrite820.0ms

Algorithm
rewrite-expression-head
Rules
135×pow1 add-exp-log
103×pow-prod-down prod-exp cbrt-unprod
83×add-cbrt-cube
10×add-sqr-sqrt
9×cbrt-prod
8×add-cube-cbrt *-un-lft-identity
5×associate-*r* associate-*l*
4×add-log-exp
3×*-commutative
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- pow1/3 flip-- unswap-sqr
Counts
4 → 139
Calls
4 calls:
1.0ms
(cbrt (cbrt z))
156.0ms
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))
626.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* a 4.0)))
29.0ms
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))

series631.0ms

Counts
4 → 12
Calls
4 calls:
267.0ms
(cbrt (cbrt z))
61.0ms
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))
165.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* a 4.0)))
137.0ms
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))

simplify850.0ms

Counts
151 → 151
Iterations

Useful iterations: 2 (265.0ms)

IterNodesCost
02154017
16563858
224472466
done50012466

prune523.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.9b

regimes1.1s

Accuracy

48.3% (1.8b remaining)

Error of 3.2b against oracle of 1.4b and baseline of 4.9b

bsearch250.0ms

Steps
ItersRangePoint
6
1.6705817334832023e-40
2.5330124718687662e-39
1.8606429266648114e-39
7
-7.808932835725235e+46
-1.2188961396840218e+45
-7.213140668992403e+45

simplify20.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
060114
195114
2100114
3101114
done101114

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.1s16184×body80valid