Details

Time bar (total: 5.8s)

sample100.0ms

Algorithm
intervals
Results
52.0ms112×body1280valid
17.0ms70×body640valid
8.0ms283×body80nan
6.0ms43×body320valid
2.0ms22×body160valid
0.0ms9×body80valid

simplify16.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0186
1256
2406
3656
4986
51226
61356
71376
81376

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.3b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
6.2b
(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/r*
4×associate-/r/ add-cbrt-cube associate-/l*
3×pow1
2×expm1-log1p-u flip3-- div-exp rem-log-exp flip-- log1p-expm1-u div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div frac-2neg flip3-+ clear-num log-pow flip-+
Counts
2 → 86
Calls
2 calls:
23.0ms
(/ (+ 1.0 x) (- 1.0 x))
9.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series151.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(/ (+ 1.0 x) (- 1.0 x))
120.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

simplify119.0ms

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 3 (112.0ms)

IterNodesCost
0334673
11078636
24549616
35001613

prune200.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
69×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
35×add-cube-cbrt *-un-lft-identity
24×add-exp-log unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
6×pow-to-exp pow-exp add-cbrt-cube
3×pow1 associate-*l*
2×cbrt-unprod
1×cbrt-undiv expm1-log1p-u associate-*r/ pow-prod-down *-commutative log1p-expm1-u div-inv add-log-exp
Counts
1 → 112
Calls
1 calls:
38.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

series54.0ms

Counts
1 → 3
Calls
1 calls:
54.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

simplify50.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0532653
12211536
25002535

prune286.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))
0.0b
(+ (* x x) (* 1.0 x))
6.2b
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
6.3b
(log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
131×add-sqr-sqrt
125×*-un-lft-identity
109×log-prod
100×times-frac
64×difference-of-squares
48×unpow-prod-down cube-prod
35×add-cube-cbrt
32×sqr-pow
25×distribute-lft-out
20×distribute-lft-out--
11×add-log-exp
8×add-exp-log
6×pow1
4×difference-cubes expm1-log1p-u sum-log add-cbrt-cube log1p-expm1-u
3×log-div flip3-+ rem-log-exp flip-+
2×+-commutative fma-def associate-/r/ log-pow
1×associate-+r+ distribute-rgt-out flip3-- div-exp flip-- div-inv
Counts
4 → 166
Calls
4 calls:
18.0ms
(+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))
8.0ms
(+ (* x x) (* 1.0 x))
28.0ms
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
15.0ms
(log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

series197.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))
52.0ms
(+ (* x x) (* 1.0 x))
65.0ms
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
61.0ms
(log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

simplify74.0ms

Algorithm
egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
07622052
124551975
250021963

prune452.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(expm1 (log1p (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))))
0.0b
(log1p (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))))
6.2b
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
6.3b
(log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
131×add-sqr-sqrt
125×*-un-lft-identity
109×log-prod
100×times-frac
64×difference-of-squares
48×unpow-prod-down cube-prod
35×add-cube-cbrt
32×sqr-pow
25×distribute-lft-out
20×distribute-lft-out--
8×add-exp-log
6×pow1
5×expm1-log1p-u
4×difference-cubes add-cbrt-cube log1p-expm1-u add-log-exp
3×log-div rem-log-exp
2×associate-/r/ log-pow
1×log1p-udef expm1-log1p flip3-- flip3-+ log1p-expm1 div-exp flip-- flip-+ div-inv expm1-udef
Counts
4 → 157
Calls
4 calls:
0.0ms
(expm1 (log1p (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))))
0.0ms
(log1p (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))))
29.0ms
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
15.0ms
(log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

series381.0ms

Counts
4 → 12
Calls
4 calls:
135.0ms
(expm1 (log1p (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))))
121.0ms
(log1p (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))))
62.0ms
(log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
63.0ms
(log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))

simplify74.0ms

Algorithm
egg-herbie
Counts
169 → 169
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
08162175
126972086
250012079

prune466.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

regimes38.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01610
11610

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.5s3434×body1280valid
618.0ms2544×body640valid
220.0ms8109×body80nan
176.0ms1200×body320valid
57.0ms618×body160valid
8.0ms204×body80valid