Details

Time bar (total: 4.1m)

sample1.2s

Algorithm
intervals
Results
1.1s3245×body80valid

simplify1.1s

Counts
1 → 1
Calls
1 calls:
Slowest
1.1s
(* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))))

prune30.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize55.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.5b
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.5b
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.4b
(fma (/ 1 (fabs x)) (fma (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) 3/4 (* 15/8 (* (/ (/ 1 (fabs x)) (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))))) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
652×times-frac
454×add-sqr-sqrt
325×*-un-lft-identity
293×add-cube-cbrt
204×add-exp-log
120×div-exp
98×swap-sqr
86×associate-*r* associate-*l*
76×add-cbrt-cube
67×pow1
64×div-inv
50×prod-exp unswap-sqr
36×cbrt-undiv
32×pow-div
20×rec-exp 1-exp
18×cbrt-unprod
16×pow-flip inv-pow
10×pow-prod-up
6×pow-prod-down pow-sqr
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×sqrt-prod
2×pow2 frac-times pow-plus associate-*l/ associate-*r/ *-commutative
1×rem-sqrt-square sqrt-pow1 pow1/2 fma-udef
Counts
4 → 469
Calls
4 calls:
Slowest
39.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
25.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
1.0ms
(sqrt PI)
0.0ms
(fma (/ 1 (fabs x)) (fma (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) 3/4 (* 15/8 (* (/ (/ 1 (fabs x)) (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))))) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x))))

series320.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
225.0ms
(fma (/ 1 (fabs x)) (fma (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) 3/4 (* 15/8 (* (/ (/ 1 (fabs x)) (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))))) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x))))
50.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
45.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify1.1m

Counts
600 → 479
Calls
600 calls:
Slowest
854.0ms
(* (/ (/ (sqrt 1) (sqrt (fabs x))) (* (cbrt (fabs x)) (cbrt (fabs x)))) (/ (/ (sqrt 1) (sqrt (fabs x))) (* (cbrt (fabs x)) (cbrt (fabs x)))))
848.0ms
(* (/ (/ (sqrt 1) (sqrt (fabs x))) (* (cbrt (fabs x)) (cbrt (fabs x)))) (/ (/ (sqrt 1) (sqrt (fabs x))) (* (cbrt (fabs x)) (cbrt (fabs x)))))
834.0ms
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
830.0ms
(* (/ (/ 1 (sqrt (fabs x))) (* (cbrt (fabs x)) (cbrt (fabs x)))) (/ (/ 1 (sqrt (fabs x))) (* (cbrt (fabs x)) (cbrt (fabs x)))))
815.0ms
(* (/ (/ 1 (sqrt (fabs x))) (* (cbrt (fabs x)) (cbrt (fabs x)))) (/ (/ 1 (sqrt (fabs x))) (* (cbrt (fabs x)) (cbrt (fabs x)))))

prune8.3s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.1b

localize62.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.3b
(/ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
0.3b
(/ 15/8 (pow (fabs x) 7))
0.3b
(/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
485×*-un-lft-identity
362×times-frac
253×distribute-lft-out
164×add-sqr-sqrt
163×add-cube-cbrt
84×sqrt-prod
58×div-inv
30×associate-/r*
22×add-exp-log
20×add-cbrt-cube
14×associate-/l*
12×unpow-prod-down
9×div-exp frac-add
7×cbrt-undiv associate-/l/
5×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×clear-num frac-2neg flip3-+ prod-exp cbrt-unprod flip-+
1×pow-to-exp rem-sqrt-square sqrt-pow1 pow1/2 pow-exp associate-/r/
Counts
4 → 321
Calls
4 calls:
Slowest
1.3s
(/ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
13.0ms
(/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))
7.0ms
(/ 15/8 (pow (fabs x) 7))
1.0ms
(sqrt PI)

series638.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
505.0ms
(/ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
78.0ms
(/ 15/8 (pow (fabs x) 7))
55.0ms
(/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))
0.0ms
(sqrt PI)

simplify1.5m

Counts
472 → 331
Calls
472 calls:
Slowest
1.3s
(/ (* (* (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))))) (/ (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))))
1.1s
(/ (* (* (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))))) (* (* (/ (sqrt PI) (exp (* (fabs x) (fabs x)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))) (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))
714.0ms
(/ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (sqrt (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))
683.0ms
(/ (sqrt (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))))) (/ 1 1))
665.0ms
(+ (* 3/4 (+ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (- (* (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))) (* (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))))) (* (pow (fabs x) 5) (+ (pow (/ 1 (fabs x)) 3) (pow (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))) 3))))

prune5.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize100.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.3b
(/ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x)))))
0.3b
(/ 15/8 (pow (fabs x) 7))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
160×*-un-lft-identity
104×times-frac
88×distribute-lft-out
50×add-sqr-sqrt
48×add-cube-cbrt
27×div-inv
16×add-exp-log
15×add-cbrt-cube
14×associate-/r*
12×unpow-prod-down
11×associate-/l*
9×frac-add
8×div-exp
7×associate-/l/
6×pow1 cbrt-undiv sqrt-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×flip3-+ flip-+
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2
1×pow-to-exp pow-exp prod-exp associate-/r/ cbrt-unprod
Counts
4 → 178
Calls
4 calls:
Slowest
1.4s
(/ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x)))))
9.0ms
(/ 15/8 (pow (fabs x) 7))
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series842.0ms

Counts
4 → 8
Calls
4 calls:
Slowest
761.0ms
(/ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x)))))
81.0ms
(/ 15/8 (pow (fabs x) 7))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify36.5s

Counts
204 → 186
Calls
204 calls:
Slowest
1.3s
(/ (* (* (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))))) (/ (* (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))) (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))))
1.2s
(/ (* (* (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))))) (* (* (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x)))) (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x))))) (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x))))))
745.0ms
(+ (* 3/4 (+ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (- (* (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))) (* (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))))) (* (pow (fabs x) 5) (+ (pow (/ 1 (fabs x)) 3) (pow (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))) 3))))
680.0ms
(- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))))
429.0ms
(+ (* 3/4 (* (fabs x) (- (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))) (* (pow (fabs x) 5) (+ (* 1 (- (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))) (* (fabs x) (- (* (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (* (/ 15/8 (pow (fabs x) 7)) (/ 15/8 (pow (fabs x) 7))))))))

prune3.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.3b
(/ 15/8 (pow (fabs x) 7))
0.3b
(/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))
0.2b
(* (/ 1 (sqrt PI)) (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x)))))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
42×times-frac
37×add-sqr-sqrt
36×*-un-lft-identity add-exp-log add-cube-cbrt
27×add-cbrt-cube
22×associate-*l*
18×frac-add
15×associate-*l/ prod-exp
12×unpow-prod-down sqrt-prod
10×pow1 div-exp
9×cbrt-unprod
8×associate-/r*
7×frac-times associate-*r/
6×cbrt-undiv flip3-+ flip-+ associate-/l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp sqr-pow
3×pow-prod-down div-inv
2×rec-exp clear-num frac-2neg 1-exp
1×pow-to-exp rem-sqrt-square sqrt-pow1 pow1/2 associate-*r* pow-exp *-commutative
Counts
4 → 153
Calls
4 calls:
Slowest
1.2s
(* (/ 1 (sqrt PI)) (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x)))))
25.0ms
(/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))
10.0ms
(/ 15/8 (pow (fabs x) 7))
2.0ms
(sqrt PI)

series568.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
446.0ms
(* (/ 1 (sqrt PI)) (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x)))))
73.0ms
(/ 15/8 (pow (fabs x) 7))
49.0ms
(/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))
0.0ms
(sqrt PI)

simplify25.2s

Counts
141 → 163
Calls
141 calls:
Slowest
2.0s
(* (/ (* (* 1 1) 1) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))))
1.5s
(* (* (* (/ 1 (sqrt PI)) (/ 1 (sqrt PI))) (/ 1 (sqrt PI))) (* (* (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))))
1.3s
(* (* (* (/ 1 (sqrt PI)) (/ 1 (sqrt PI))) (/ 1 (sqrt PI))) (* (* (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x)))) (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x))))) (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x))))))
1.2s
(* (/ (* (* 1 1) 1) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x)))) (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x))))) (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x))))))
686.0ms
(* (* (* (pow (fabs x) 7) (pow (fabs x) 5)) (fabs x)) (* (fabs x) (* (fabs x) (fabs x))))

prune3.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes227.0ms

bsearch4.0ms

end0.0ms