Details

Time bar (total: 4.1s)

sample24.0ms

Algorithm
intervals
Results
5.0ms274×body80valid
5.0ms252×body80nan

simplify21.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0134
1253
2443
3693
41023
51713
61923
72253
83163
93513
103513

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize5.0ms

Local error

Found 1 expressions with local error:

0.1b
(fma (sqrt x) y (- 1.0 x))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (sqrt x) y (- 1.0 x))

series37.0ms

Counts
1 → 3
Calls
1 calls:
37.0ms
(fma (sqrt x) y (- 1.0 x))

simplify42.0ms

Algorithm
egg-herbie
Counts
13 → 13
Iterations

Useful iterations: 3 (15.0ms)

IterNodesCost
06471
116257
247655
3175554
4500154

prune40.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (fma (sqrt x) y (- 1.0 x)))
0.3b
(cbrt (fma (sqrt x) y (- 1.0 x)))
0.3b
(cbrt (fma (sqrt x) y (- 1.0 x)))
0.4b
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×pow1/3
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 81
Calls
4 calls:
1.0ms
(cbrt (fma (sqrt x) y (- 1.0 x)))
1.0ms
(cbrt (fma (sqrt x) y (- 1.0 x)))
1.0ms
(cbrt (fma (sqrt x) y (- 1.0 x)))
11.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))

series500.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(cbrt (fma (sqrt x) y (- 1.0 x)))
128.0ms
(cbrt (fma (sqrt x) y (- 1.0 x)))
124.0ms
(cbrt (fma (sqrt x) y (- 1.0 x)))
123.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))

simplify105.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 3 (96.0ms)

IterNodesCost
0238888
1762823
23359765
35002747

prune265.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (fma (sqrt x) y (- 1.0 x)))
0.4b
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
0.4b
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
0.4b
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
53×add-sqr-sqrt
51×cbrt-prod
29×add-cube-cbrt *-un-lft-identity
25×pow1
19×pow1/3
18×swap-sqr associate-*r* associate-*l*
12×unswap-sqr
10×add-exp-log
6×pow-prod-down pow-sqr pow-prod-up
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 139
Calls
4 calls:
1.0ms
(cbrt (fma (sqrt x) y (- 1.0 x)))
11.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
11.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
11.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))

series503.0ms

Counts
4 → 12
Calls
4 calls:
134.0ms
(cbrt (fma (sqrt x) y (- 1.0 x)))
120.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
122.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
127.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))

simplify112.0ms

Algorithm
egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 3 (97.0ms)

IterNodesCost
02381568
17621445
233591295
350021265

prune478.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
0.4b
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
0.5b
(pow (cbrt (fma (sqrt x) y (- 1.0 x))) 6)
19.3b
(cbrt (pow (cbrt (fma (sqrt x) y (- 1.0 x))) 6))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
48×cbrt-prod
42×add-sqr-sqrt
26×add-cube-cbrt *-un-lft-identity
19×pow1
14×pow1/3
12×unpow-prod-down swap-sqr associate-*r* associate-*l*
9×add-exp-log
8×unswap-sqr
4×expm1-log1p-u pow-prod-down pow-sqr pow-prod-up add-cbrt-cube log1p-expm1-u add-log-exp
3×pow-unpow
2×pow2 pow-pow pow-plus prod-exp *-commutative cbrt-unprod sqr-pow
1×pow-to-exp pow-exp
Counts
4 → 127
Calls
4 calls:
11.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
11.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
3.0ms
(pow (cbrt (fma (sqrt x) y (- 1.0 x))) 6)
3.0ms
(cbrt (pow (cbrt (fma (sqrt x) y (- 1.0 x))) 6))

series570.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
119.0ms
(* (cbrt (fma (sqrt x) y (- 1.0 x))) (cbrt (fma (sqrt x) y (- 1.0 x))))
200.0ms
(pow (cbrt (fma (sqrt x) y (- 1.0 x))) 6)
125.0ms
(cbrt (pow (cbrt (fma (sqrt x) y (- 1.0 x))) 6))

simplify56.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
02911357
111881200
250021015

prune437.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

regimes60.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
063

end0.0ms

sample702.0ms

Algorithm
intervals
Results
177.0ms8531×body80valid
159.0ms8466×body80nan
0.0ms3×body1280valid
0.0ms2×body640valid