Details

Time bar (total: 15.2s)

sample73.0ms

Algorithm
intervals
Results
35.0ms520×body80valid

simplify78.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
06715
122513
282312
3302812
4500112

prune15.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.3b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* (* j 27.0) k)
3.1b
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
4.4b
(* (* (* x 18.0) y) z)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
9×associate-*r*
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l* *-commutative
1×fma-udef
Counts
4 → 73
Calls
4 calls:
6.0ms
(* (* x 18.0) y)
7.0ms
(* (* j 27.0) k)
0.0ms
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
21.0ms
(* (* (* x 18.0) y) z)

series3.0s

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (* x 18.0) y)
32.0ms
(* (* j 27.0) k)
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
34.0ms
(* (* (* x 18.0) y) z)

simplify55.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0326447
11657364
25001364

prune363.0ms

Filtered
85 candidates to 54 candidates (63.5%)
Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 2.2b

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.3b
(* j (* 27.0 k))
3.1b
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
4.4b
(* (* (* x 18.0) y) z)

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r*
5×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
1×fma-udef
Counts
4 → 73
Calls
4 calls:
6.0ms
(* (* x 18.0) y)
6.0ms
(* j (* 27.0 k))
0.0ms
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
21.0ms
(* (* (* x 18.0) y) z)

series3.0s

Counts
4 → 12
Calls
4 calls:
22.0ms
(* (* x 18.0) y)
20.0ms
(* j (* 27.0 k))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
30.0ms
(* (* (* x 18.0) y) z)

simplify59.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0318446
11546363
25002363

prune382.0ms

Filtered
85 candidates to 53 candidates (62.4%)
Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 2.2b

localize27.0ms

Local error

Found 4 expressions with local error:

4.4b
(* (* (* x 18.0) y) z)
9.9b
(cbrt (* (* j 27.0) k))
9.9b
(cbrt (* (* j 27.0) k))
9.9b
(cbrt (* (* j 27.0) k))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-exp-log add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*r*
1×associate-*l* *-commutative
Counts
4 → 56
Calls
4 calls:
21.0ms
(* (* (* x 18.0) y) z)
5.0ms
(cbrt (* (* j 27.0) k))
5.0ms
(cbrt (* (* j 27.0) k))
5.0ms
(cbrt (* (* j 27.0) k))

series360.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (* (* x 18.0) y) z)
109.0ms
(cbrt (* (* j 27.0) k))
108.0ms
(cbrt (* (* j 27.0) k))
113.0ms
(cbrt (* (* j 27.0) k))

simplify44.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0239349
1984300
25001276

prune438.0ms

Filtered
68 candidates to 55 candidates (80.9%)
Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 2.2b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* 18.0 (* x (* z y)))
3.1b
(fma t (- (* 18.0 (* x (* z y))) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
6.6b
(* x (* z y))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1 add-exp-log add-cbrt-cube
12×pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l*
5×associate-*r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
1×fma-udef
Counts
4 → 73
Calls
4 calls:
6.0ms
(* (* j 27.0) k)
19.0ms
(* 18.0 (* x (* z y)))
0.0ms
(fma t (- (* 18.0 (* x (* z y))) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
6.0ms
(* x (* z y))

series3.0s

Counts
4 → 12
Calls
4 calls:
20.0ms
(* (* j 27.0) k)
34.0ms
(* 18.0 (* x (* z y)))
3.0s
(fma t (- (* 18.0 (* x (* z y))) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
29.0ms
(* x (* z y))

simplify50.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0301443
11223360
25002360

prune336.0ms

Filtered
85 candidates to 51 candidates (60.0%)
Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 2.2b

regimes1.2s

Accuracy

52.4% (1.6b remaining)

Error of 3.7b against oracle of 2.1b and baseline of 5.5b

bsearch283.0ms

Steps
ItersRangePoint
6
2.5835108011985435e+43
1.441937794847066e+44
3.140223890519857e+43
10
-4.593434291790004e+143
-4.43326845530808e+129
-4.1584663741439435e+131

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05624
15624

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.4s16184×body80valid