Details

Time bar (total: 7.9s)

sample74.0ms

Algorithm
intervals
Results
30.0ms498×body80valid

simplify144.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
06615
120414
263114
3146814
4246414
5390914
6500114

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.7b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite288.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:
17.0ms
(* (* j 27.0) k)
17.0ms
(* (* x 18.0) y)
51.0ms
(* (* (* x 18.0) y) z)
201.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))

series151.0ms

Counts
4 → 12
Calls
4 calls:
15.0ms
(* (* j 27.0) k)
17.0ms
(* (* x 18.0) y)
23.0ms
(* (* (* x 18.0) y) z)
96.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))

simplify66.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0406472
12141393
25001393

prune308.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 2.2b

localize25.0ms

Local error

Found 4 expressions with local error:

4.6b
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
9.4b
(cbrt (* (* j 27.0) k))
9.4b
(cbrt (* (* j 27.0) k))
9.4b
(cbrt (* (* j 27.0) k))

rewrite239.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r* associate-*l*
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/
1×flip3-- pow-prod-down prod-exp *-commutative flip-- cbrt-unprod unswap-sqr
Counts
4 → 51
Calls
4 calls:
199.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
14.0ms
(cbrt (* (* j 27.0) k))
12.0ms
(cbrt (* (* j 27.0) k))
12.0ms
(cbrt (* (* j 27.0) k))

series357.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
92.0ms
(cbrt (* (* j 27.0) k))
83.0ms
(cbrt (* (* j 27.0) k))
84.0ms
(cbrt (* (* j 27.0) k))

simplify145.0ms

Algorithm
egg-herbie
Counts
63 → 63
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
0249426
1897377
24340353
35002353

prune329.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 2.2b

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* x 18.0) y)
0.4b
(* j (* 27.0 k))
3.5b
(* (* (* x 18.0) y) z)
4.6b
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))

rewrite289.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:
17.0ms
(* (* x 18.0) y)
16.0ms
(* j (* 27.0 k))
52.0ms
(* (* (* x 18.0) y) z)
202.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))

series154.0ms

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

simplify60.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0398471
12030392
25001392

prune301.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 2.2b

localize26.0ms

Local error

Found 4 expressions with local error:

4.6b
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
4.9b
(cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
4.9b
(cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
4.9b
(cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))

rewrite402.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt associate-*r/
6×pow1 add-exp-log add-cube-cbrt cbrt-div *-un-lft-identity add-cbrt-cube
4×flip3-- flip-- add-log-exp
3×cbrt-prod pow1/3 associate-*r* associate-*l*
2×distribute-rgt-in sub-neg distribute-lft-in
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 57
Calls
4 calls:
196.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
67.0ms
(cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
68.0ms
(cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
69.0ms
(cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))

series608.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(* t (- (* (* (* x 18.0) y) z) (* a 4.0)))
167.0ms
(cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
173.0ms
(cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))
173.0ms
(cbrt (* t (- (* (* (* x 18.0) y) z) (* a 4.0))))

simplify40.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0286744
11134671
25002665

prune364.0ms

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 2.2b

regimes1.2s

Accuracy

40.3% (2.2b remaining)

Error of 4.2b against oracle of 2.0b and baseline of 5.7b

bsearch102.0ms

Steps
ItersRangePoint
6
5.709923882411486e-121
3.939585198432468e-120
8.244554571449029e-121
2
-7.983123365808197e-93
-7.335944495100085e-93
-7.520011916688034e-93

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06225
17225
27525
37525

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.0s16109×body80valid