Details

Time bar (total: 2.6m)

sample342.0ms

Algorithm
intervals
Results
279.0ms3590×body80valid

simplify64.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
09061
138958
2211536
3500136

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.2b

localize35.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b
(sqrt PI)

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
126×add-sqr-sqrt
120×times-frac
89×add-cube-cbrt *-un-lft-identity
40×add-exp-log add-cbrt-cube
39×swap-sqr associate-*r* associate-*l*
26×pow1
12×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
4×add-log-exp
3×pow2 frac-times pow-plus associate-*r/ pow-prod-down associate-*l/ sqrt-prod pow-sqr *-commutative pow-prod-up
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 214
Calls
4 calls:
13.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
13.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
13.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0ms
(sqrt PI)

series76.0ms

Counts
4 → 10
Calls
4 calls:
23.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
23.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
29.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms
(sqrt PI)

simplify69.0ms

Algorithm
egg-herbie
Counts
224 → 224
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
04261780
120771524
250021377

prune1.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.5b

localize43.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (* (* (* (/ 1 1) (/ (* 1.0 1.0) (pow (fabs x) 2))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b
(sqrt PI)

rewrite2.6s

Algorithm
rewrite-expression-head
Rules
7149×add-exp-log
4362×prod-exp
2745×div-exp
1117×add-cbrt-cube
618×cbrt-unprod
560×1-exp
361×cbrt-undiv
224×pow-to-exp rec-exp pow-exp
131×frac-times associate-*l/
93×add-sqr-sqrt
89×times-frac
68×add-cube-cbrt *-un-lft-identity
39×pow1 associate-*r*
33×associate-*r/
27×associate-*l*
26×swap-sqr
17×pow-prod-down
9×div-inv
8×unswap-sqr
4×add-log-exp
3×sqrt-prod *-commutative
2×pow2 pow-plus pow-sqr pow-prod-up
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 1177
Calls
4 calls:
2.2s
(* (* (* (* (* (/ 1 1) (/ (* 1.0 1.0) (pow (fabs x) 2))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
13.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
13.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0ms
(sqrt PI)

series120.0ms

Counts
4 → 10
Calls
4 calls:
58.0ms
(* (* (* (* (* (/ 1 1) (/ (* 1.0 1.0) (pow (fabs x) 2))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
23.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
37.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms
(sqrt PI)

simplify230.0ms

Algorithm
egg-herbie
Counts
1187 → 1187
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
0500121227

prune1.9s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.3b

localize35.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (/ 1.0 (pow (fabs x) 6)) (/ 1.0 (fabs x))))))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b
(sqrt PI)

rewrite6.0s

Algorithm
rewrite-expression-head
Rules
63941×frac-times
47219×associate-*l/
44229×associate-*r/
43246×frac-add
898×flip3-+ flip-+
87×add-sqr-sqrt
80×times-frac
62×add-cube-cbrt *-un-lft-identity
37×add-cbrt-cube
35×add-exp-log
29×associate-*r*
27×associate-*l*
26×swap-sqr
24×pow1
13×prod-exp cbrt-unprod
9×cbrt-undiv div-exp
8×div-inv unswap-sqr
5×pow-prod-down
4×add-log-exp
3×sqrt-prod *-commutative
2×pow2 pow-plus pow-sqr pow-prod-up
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2
Counts
4 → 15196
Calls
4 calls:
2.4s
(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (/ 1.0 (pow (fabs x) 6)) (/ 1.0 (fabs x))))))
13.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
13.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0ms
(sqrt PI)

series476.0ms

Counts
4 → 10
Calls
4 calls:
429.0ms
(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (/ 1.0 (pow (fabs x) 6)) (/ 1.0 (fabs x))))))
23.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
23.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms
(sqrt PI)

simplify9.8s

Algorithm
egg-herbie
Counts
15206 → 15206
Iterations

Useful iterations: 0 (620.0ms)

IterNodesCost
0345331183507

prune2.1m

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.1b

localize50.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.6b
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0b
(sqrt PI)

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
126×add-sqr-sqrt
120×times-frac
89×add-cube-cbrt *-un-lft-identity
40×add-exp-log add-cbrt-cube
39×swap-sqr associate-*r* associate-*l*
26×pow1
12×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr
4×add-log-exp
3×pow2 frac-times pow-plus associate-*r/ pow-prod-down associate-*l/ sqrt-prod pow-sqr *-commutative pow-prod-up
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 214
Calls
4 calls:
13.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
12.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
12.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
1.0ms
(sqrt PI)

series70.0ms

Counts
4 → 10
Calls
4 calls:
23.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
23.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
24.0ms
(* (/ 1.0 (fabs x)) (/ 1.0 (fabs x)))
0.0ms
(sqrt PI)

simplify88.0ms

Algorithm
egg-herbie
Counts
224 → 224
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
04711831
123371572
250031410

prune1.5s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.1b

regimes253.0ms

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04547
14547

end0.0ms

sample1.1s

Algorithm
intervals
Results
970.0ms12422×body80valid