Details

Time bar (total: 10.4s)

sample57.0ms

Algorithm
intervals
Results
45.0ms447×body80valid

simplify43.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
0502233

prune12.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (pow (fabs x) 5) 5.0)
0.1b
(* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))
0.1b
(/ (pow (fabs x) 3) 3.0)
1.0b
(sqrt PI)

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
77×times-frac
69×add-sqr-sqrt
60×add-cube-cbrt *-un-lft-identity
32×associate-*r/
24×unpow-prod-down
22×associate-*l*
19×add-exp-log associate-/l*
16×frac-add
13×sqrt-prod add-cbrt-cube
12×flip3-+ cube-prod flip-+
8×frac-times sqr-pow
7×pow1 div-exp
6×associate-/r*
4×cube-mult unpow3 add-log-exp
3×cbrt-undiv associate-*r* div-inv unswap-sqr
2×pow-to-exp frac-2neg pow-exp prod-exp clear-num cbrt-unprod
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 pow-prod-down associate-*l/ *-commutative
Counts
4 → 183
Calls
4 calls:
5.0ms
(/ (pow (fabs x) 5) 5.0)
26.0ms
(* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))
6.0ms
(/ (pow (fabs x) 3) 3.0)
1.0ms
(sqrt PI)

series73.0ms

Counts
4 → 10
Calls
4 calls:
12.0ms
(/ (pow (fabs x) 5) 5.0)
53.0ms
(* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))
7.0ms
(/ (pow (fabs x) 3) 3.0)
0.0ms
(sqrt PI)

simplify74.0ms

Algorithm
egg-herbie
Counts
193 → 193
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049794274
149794274

prune568.0ms

Filtered
133 candidates to 193 candidates (-45.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1903193
Fresh101
Picked011
Done000
Total1914195

Merged error: 0b

Counts
195 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (pow (fabs x) 5) 5.0)
0.1b
(/ (pow (fabs x) 3) 3.0)
0.3b
(/ (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt PI))
1.0b
(sqrt PI)

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
62×add-sqr-sqrt
61×add-cube-cbrt *-un-lft-identity
24×unpow-prod-down
22×associate-/l*
16×add-exp-log
15×sqrt-prod
12×cube-prod associate-*r/ associate-/r*
10×add-cbrt-cube
8×frac-add associate-/l/ sqr-pow
7×div-exp
6×flip3-+ flip-+
5×pow1
4×cube-mult unpow3 add-log-exp
3×cbrt-undiv frac-2neg clear-num div-inv
2×pow-to-exp pow-exp
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 170
Calls
4 calls:
5.0ms
(/ (pow (fabs x) 5) 5.0)
6.0ms
(/ (pow (fabs x) 3) 3.0)
23.0ms
(/ (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt PI))
1.0ms
(sqrt PI)

series64.0ms

Counts
4 → 10
Calls
4 calls:
10.0ms
(/ (pow (fabs x) 5) 5.0)
7.0ms
(/ (pow (fabs x) 3) 3.0)
47.0ms
(/ (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))) (sqrt PI))
0.0ms
(sqrt PI)

simplify48.0ms

Algorithm
egg-herbie
Counts
180 → 180
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
054573447

prune469.0ms

Filtered
119 candidates to 180 candidates (-51.3%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1800180
Fresh022
Picked011
Done011
Total1804184

Merged error: 0b

Counts
184 → 4

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (pow (fabs x) 3) 3.0)
0.3b
(* (/ 1.0 (sqrt PI)) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))
0.4b
(* (* (/ 1.0 (sqrt PI)) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))
1.0b
(sqrt PI)

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
544×associate-*r/
304×sqrt-div frac-add
228×flip3-+ flip-+
216×frac-times
64×add-sqr-sqrt
58×times-frac
47×add-cube-cbrt *-un-lft-identity
27×associate-*l/
23×add-exp-log associate-*l* sqrt-prod
20×add-cbrt-cube
12×pow1 unpow-prod-down cube-prod associate-*r* associate-/l*
7×prod-exp cbrt-unprod
6×unswap-sqr
5×div-exp
4×cube-mult unpow3 pow-prod-down add-log-exp sqr-pow
3×cbrt-undiv associate-/r*
2×*-commutative div-inv
1×pow-to-exp rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 pow-exp clear-num
Counts
4 → 326
Calls
4 calls:
5.0ms
(/ (pow (fabs x) 3) 3.0)
24.0ms
(* (/ 1.0 (sqrt PI)) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))
45.0ms
(* (* (/ 1.0 (sqrt PI)) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))
1.0ms
(sqrt PI)

series135.0ms

Counts
4 → 10
Calls
4 calls:
8.0ms
(/ (pow (fabs x) 3) 3.0)
68.0ms
(* (/ 1.0 (sqrt PI)) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))
58.0ms
(* (* (/ 1.0 (sqrt PI)) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0)))))) (sqrt (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (/ (pow (fabs x) 5) 5.0) (/ (pow (fabs x) 7) 21.0))))))
0.0ms
(sqrt PI)

simplify225.0ms

Algorithm
egg-herbie
Counts
336 → 336
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
0530732569

prune6.1s

Filtered
271 candidates to 336 candidates (-24.0%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New3360336
Fresh011
Picked011
Done022
Total3364340

Merged error: 0b

Counts
340 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (log (exp (/ (pow (fabs x) 5) 5.0))) (/ (pow (fabs x) 7) 21.0)))))
0.1b
(/ (pow (fabs x) 3) 3.0)
1.0b
(log (exp (/ (pow (fabs x) 5) 5.0)))
1.0b
(sqrt PI)

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
77×times-frac
68×add-sqr-sqrt
59×add-cube-cbrt *-un-lft-identity
26×log-pow
25×exp-prod
22×associate-*r/ associate-*l*
21×unpow-prod-down
14×add-exp-log
13×sqrt-prod
12×cube-prod associate-/l*
11×add-cbrt-cube
10×flip3-+ flip-+
8×pow1 frac-add
7×sqr-pow
6×frac-times
4×cube-mult unpow3 div-exp add-log-exp
3×log-prod associate-*r* associate-/r* div-inv unswap-sqr
2×cbrt-undiv prod-exp cbrt-unprod
1×distribute-rgt-in pow-to-exp rem-sqrt-square frac-2neg distribute-lft-in sqrt-pow1 pow1/2 rem-log-exp pow-prod-down associate-*l/ pow-exp clear-num *-commutative
Counts
4 → 171
Calls
4 calls:
27.0ms
(* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (log (exp (/ (pow (fabs x) 5) 5.0))) (/ (pow (fabs x) 7) 21.0)))))
5.0ms
(/ (pow (fabs x) 3) 3.0)
7.0ms
(log (exp (/ (pow (fabs x) 5) 5.0)))
1.0ms
(sqrt PI)

series71.0ms

Counts
4 → 10
Calls
4 calls:
54.0ms
(* (/ 1.0 (sqrt PI)) (+ (* 2.0 (+ (fabs x) (/ (pow (fabs x) 3) 3.0))) (* 1.0 (+ (log (exp (/ (pow (fabs x) 5) 5.0))) (/ (pow (fabs x) 7) 21.0)))))
7.0ms
(/ (pow (fabs x) 3) 3.0)
9.0ms
(log (exp (/ (pow (fabs x) 5) 5.0)))
0.0ms
(sqrt PI)

simplify53.0ms

Algorithm
egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
056213849

prune528.0ms

Filtered
125 candidates to 181 candidates (-44.8%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1810181
Fresh000
Picked011
Done033
Total1814185

Merged error: 0b

Counts
185 → 4

regimes82.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03233
13233

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.3s13991×body80valid

Profiling

Loading profile data...