Details

Time bar (total: 26.5s)

sample95.0ms

Algorithm
intervals
Results
47.0ms514×body80valid

simplify15.5s

Counts
1 → 1
Iterations

Useful iterations: 1 (5.0ms)

IterNodesCost
02831
16629
219729
356729
4119129
5173629
6238929
7371529
8475829
done475829

prune15.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)

rewrite119.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:
6.0ms
(* (* x 18.0) y)
6.0ms
(* (* j 27.0) k)
83.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
21.0ms
(* (* (* x 18.0) y) z)

series186.0ms

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

simplify935.0ms

Counts
93 → 93
Iterations

Useful iterations: 2 (203.0ms)

IterNodesCost
01581015
1403980
21682822
done5001822

prune306.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.0b

localize21.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)

rewrite116.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))
81.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
20.0ms
(* (* (* x 18.0) y) z)

series171.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(* (* x 18.0) y)
16.0ms
(* j (* 27.0 k))
109.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
26.0ms
(* (* (* x 18.0) y) z)

simplify728.0ms

Counts
93 → 93
Iterations

Useful iterations: 2 (190.0ms)

IterNodesCost
01561012
1395979
21620821
done5001821

prune320.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 2.0b

localize24.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)))

rewrite559.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)
106.0ms
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z))
420.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)))
28.0ms
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))

series492.0ms

Counts
4 → 12
Calls
4 calls:
176.0ms
(cbrt z)
51.0ms
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z))
141.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (cbrt z)) (* a 4.0)))
123.0ms
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))

simplify737.0ms

Counts
111 → 111
Iterations

Useful iterations: 2 (201.0ms)

IterNodesCost
01691935
14711855
218791085
done50001085

prune392.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 2.0b

localize30.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)))

rewrite796.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))
150.0ms
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))
607.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* a 4.0)))
31.0ms
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))

series558.0ms

Counts
4 → 12
Calls
4 calls:
242.0ms
(cbrt (cbrt z))
52.0ms
(* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z))))
146.0ms
(* t (- (* (* (* (* x 18.0) y) (* (cbrt z) (cbrt z))) (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)))) (* a 4.0)))
119.0ms
(* (* (* x 18.0) y) (* (cbrt z) (cbrt z)))

simplify770.0ms

Counts
151 → 151
Iterations

Useful iterations: 2 (240.0ms)

IterNodesCost
02154017
16563858
224472466
done50012466

prune495.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.9b

regimes941.0ms

Accuracy

48.3% (1.8b remaining)

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

bsearch235.0ms

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

simplify15.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
059115
194115
299115
done99115

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.1s16184×body80valid