Details

Time bar (total: 4.1s)

sample51.0ms

Algorithm
intervals
Results
34.0ms457×body80valid

simplify112.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
07042
125242
2105942
3471342
4500142

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(sqrt PI)

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
52×pow1
35×add-exp-log add-cbrt-cube
18×prod-exp cbrt-unprod
17×add-sqr-sqrt
15×associate-*l*
14×add-cube-cbrt *-un-lft-identity
12×pow-plus pow-prod-down pow-prod-up
9×times-frac
7×associate-*r*
4×pow2 expm1-log1p-u pow-sqr log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp sqrt-prod *-commutative
2×pow3 unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-*l/ div-inv
Counts
4 → 115
Calls
4 calls:
7.0ms
(* (* (fabs x) (fabs x)) (fabs x))
7.0ms
(* (* (fabs x) (fabs x)) (fabs x))
29.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series109.0ms

Counts
4 → 10
Calls
4 calls:
29.0ms
(* (* (fabs x) (fabs x)) (fabs x))
34.0ms
(* (* (fabs x) (fabs x)) (fabs x))
46.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify45.0ms

Algorithm
egg-herbie
Counts
125 → 125
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0348647
11405470
25001462

prune409.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize40.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.2b
(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
1.0b
(sqrt PI)

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
40×pow1
32×add-exp-log add-cbrt-cube
21×add-sqr-sqrt
17×add-cube-cbrt *-un-lft-identity associate-*l*
16×prod-exp cbrt-unprod
10×pow-prod-down
9×times-frac
7×pow-plus associate-*r* pow-prod-up
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv pow2 swap-sqr div-exp sqrt-prod pow-sqr *-commutative
2×unswap-sqr
1×rem-sqrt-square sqrt-pow1 pow1/2 pow3 associate-*l/ div-inv
Counts
4 → 112
Calls
4 calls:
7.0ms
(* (* (fabs x) (fabs x)) (fabs x))
26.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
3.0ms
(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
1.0ms
(sqrt PI)

series97.0ms

Counts
4 → 10
Calls
4 calls:
27.0ms
(* (* (fabs x) (fabs x)) (fabs x))
52.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
18.0ms
(* (fabs (pow (fabs x) 3/2)) (fabs (pow (fabs x) 3/2)))
0.0ms
(sqrt PI)

simplify52.0ms

Algorithm
egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0415718
11711555
25002485

prune499.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* (fabs x) (fabs x)) (fabs x))
0.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(expm1 (log1p (sqrt PI)))
1.0b
(sqrt PI)

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
33×pow1
30×add-exp-log add-cbrt-cube
15×add-sqr-sqrt prod-exp cbrt-unprod
14×associate-*l*
13×add-cube-cbrt *-un-lft-identity
9×times-frac pow-prod-down
6×pow-plus pow-prod-up
4×expm1-log1p-u associate-*r* log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp sqrt-prod
2×pow2 pow-sqr *-commutative
1×rem-sqrt-square expm1-log1p sqrt-pow1 pow1/2 pow3 associate-*l/ div-inv expm1-udef unswap-sqr
Counts
4 → 96
Calls
4 calls:
7.0ms
(* (* (fabs x) (fabs x)) (fabs x))
29.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(expm1 (log1p (sqrt PI)))
1.0ms
(sqrt PI)

series79.0ms

Counts
4 → 8
Calls
4 calls:
32.0ms
(* (* (fabs x) (fabs x)) (fabs x))
46.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(expm1 (log1p (sqrt PI)))
0.0ms
(sqrt PI)

simplify39.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0307503
11199374
25001366

prune387.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
1.0b
(expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))))
1.0b
(sqrt PI)
1.0b
(sqrt PI)

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log add-cbrt-cube
15×pow1 add-sqr-sqrt
13×add-cube-cbrt *-un-lft-identity associate-*l*
12×prod-exp cbrt-unprod
9×times-frac
6×pow-prod-down sqrt-prod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp
2×rem-sqrt-square sqrt-pow1 pow1/2
1×expm1-log1p associate-*r* associate-*l/ *-commutative div-inv expm1-udef
Counts
4 → 81
Calls
4 calls:
26.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))))
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)

series51.0ms

Counts
4 → 6
Calls
4 calls:
51.0ms
(* (/ 2.0 3.0) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify133.0ms

Algorithm
egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 3 (127.0ms)

IterNodesCost
0266416
1954336
24584328
35001326

prune399.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.1b

regimes252.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04944
14944

end0.0ms

sample1.1s

Algorithm
intervals
Results
933.0ms13974×body80valid