Details

Time bar (total: 9.0m)

sample1.7s

Algorithm
intervals
Results
1.6s3418×body80valid

simplify791.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
791.0ms
(* (* (/ 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))))))

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize85.0ms

Local error

Found 4 expressions with local error:

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

rewrite520.0ms

Algorithm
rewrite-expression-head
Rules
82×times-frac
56×add-sqr-sqrt
50×*-un-lft-identity
47×add-cube-cbrt
42×add-exp-log
33×add-cbrt-cube
26×associate-/l*
24×frac-add
22×associate-*l*
21×pow1
19×div-exp
13×frac-times cbrt-undiv associate-*r/ sqrt-prod
8×flip3-+ prod-exp flip-+ div-inv pow-div
6×cbrt-unprod
5×associate-*r*
4×insert-posit16 pow-flip inv-pow add-log-exp
3×associate-*l/ unswap-sqr
2×pow2 rec-exp clear-num associate-/r* frac-2neg pow-plus 1-exp pow-sqr pow-prod-up distribute-lft-out associate-/l/
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2 pow-prod-down *-commutative
Counts
4 → 185
Calls
4 calls:
Slowest
477.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) (/ 1 (fabs x))))
20.0ms
(/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))
18.0ms
(/ (/ 1 (fabs x)) (* (fabs x) (fabs x)))
2.0ms
(sqrt PI)

series536.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
450.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) (/ 1 (fabs x))))
45.0ms
(/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))
41.0ms
(/ (/ 1 (fabs x)) (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

simplify26.6s

Counts
193 → 195
Calls
193 calls:
Slowest
1.2s
(* (* (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))) (* (* (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) (/ 1 (fabs x))) (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) (/ 1 (fabs x)))) (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) (/ 1 (fabs x)))))
1.1s
(* (+ (* (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (- (* (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) (* (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))))) (fabs x))
1.1s
(* (sqrt PI) (* (+ (* (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (- (* (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) (* (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))))) (fabs x)))
1.0s
(* (exp (* (fabs x) (fabs x))) (+ (* (- (* (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (* (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))))) (fabs x)) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) 1)))
822.0ms
(* (sqrt PI) (+ (* (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))))) (- (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) (/ 1 (fabs x))))))

prune3.1s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.1b

localize126.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.3s

Algorithm
rewrite-expression-head
Rules
47×*-un-lft-identity
42×add-sqr-sqrt
35×times-frac
32×add-cube-cbrt
25×pow1 add-exp-log
22×add-cbrt-cube
18×frac-add
17×associate-*l*
16×sqrt-prod
12×unpow-prod-down
11×associate-*r* distribute-lft-out
8×associate-/r* sqrt-div
7×frac-times prod-exp associate-*r/ cbrt-unprod
6×flip3-+ pow-plus div-exp pow-prod-up flip-+ associate-/l*
5×div-inv unswap-sqr
4×cbrt-undiv pow-prod-down insert-posit16 add-log-exp sqr-pow
2×pow2 clear-num frac-2neg pow-sqr *-commutative
1×distribute-rgt-in pow-to-exp distribute-lft-in pow3 associate-*l/ pow-exp
Counts
4 → 156
Calls
4 calls:
Slowest
2.2s
(* (sqrt (/ 1 PI)) (+ (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))))
25.0ms
(* (* (fabs x) (fabs x)) (fabs x))
22.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
5.0ms
(/ 3/4 (pow (fabs x) 5))

series512.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
371.0ms
(* (sqrt (/ 1 PI)) (+ (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))))
75.0ms
(/ 3/4 (pow (fabs x) 5))
39.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
26.0ms
(* (* (fabs x) (fabs x)) (fabs x))

simplify24.8s

Counts
165 → 168
Calls
165 calls:
Slowest
1.3s
(* (* (* (sqrt (/ 1 PI)) (sqrt (/ 1 PI))) (sqrt (/ 1 PI))) (* (* (+ (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))) (+ (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))))) (+ (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))))))
709.0ms
(* (pow (fabs x) 7) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (pow (fabs x) 5)) (fabs x)))
646.0ms
(* (sqrt PI) (* (pow (fabs x) 7) (* (- (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x))))
630.0ms
(* (sqrt 1) (+ (* 15/8 (+ (* (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5)))) (- (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))))) (* (pow (fabs x) 7) (+ (pow (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) 3) (pow (/ 1 (fabs x)) 3)))))
580.0ms
(+ (* (/ 15/8 (pow (fabs x) 7)) (/ 15/8 (pow (fabs x) 7))) (- (* (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))) (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))) (* (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))))))

prune3.3s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.1b

localize77.0ms

Local error

Found 4 expressions with local error:

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

rewrite678.0ms

Algorithm
rewrite-expression-head
Rules
227×*-un-lft-identity
112×times-frac distribute-lft-out
53×add-sqr-sqrt
52×add-cube-cbrt
36×sqrt-prod
17×div-inv
16×add-exp-log associate-/l*
15×frac-add
14×associate-/r*
13×add-cbrt-cube
12×unpow-prod-down
11×associate-/l/
7×flip3-+ flip-+
6×div-exp
5×pow1
4×cbrt-undiv insert-posit16 add-log-exp sqr-pow
3×clear-num frac-2neg
1×pow-to-exp rem-sqrt-square sqrt-pow1 pow1/2 pow-exp prod-exp cbrt-unprod
Counts
4 → 182
Calls
4 calls:
Slowest
660.0ms
(/ (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (sqrt PI))
7.0ms
(/ 1/2 (* (fabs x) (fabs x)))
5.0ms
(/ 3/4 (pow (fabs x) 5))
2.0ms
(sqrt PI)

series482.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
390.0ms
(/ (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (sqrt PI))
60.0ms
(/ 3/4 (pow (fabs x) 5))
32.0ms
(/ 1/2 (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

simplify35.6s

Counts
224 → 192
Calls
224 calls:
Slowest
718.0ms
(/ (* (* (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7))))) (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7))))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)))
664.0ms
(/ (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (sqrt (sqrt PI)))
638.0ms
(+ (* (+ (pow (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) 3) (pow (/ 3/4 (pow (fabs x) 5)) 3)) (- (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (* (+ (* (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))))) (- (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (/ 15/8 (pow (fabs x) 7)) (/ 15/8 (pow (fabs x) 7))))))
622.0ms
(+ (* (+ (* (/ 1/2 (* (fabs x) (fabs x))) (pow (fabs x) 5)) (* (fabs x) 3/4)) (+ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (- (* (/ 15/8 (pow (fabs x) 7)) (/ 15/8 (pow (fabs x) 7))) (* (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))))) (* (* (fabs x) (pow (fabs x) 5)) (+ (pow (/ 1 (fabs x)) 3) (pow (/ 15/8 (pow (fabs x) 7)) 3))))
559.0ms
(+ (* (+ (pow (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) 3) (pow (/ 3/4 (pow (fabs x) 5)) 3)) (* (fabs x) (pow (fabs x) 7))) (* (+ (* (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))))) (+ (* 1 (pow (fabs x) 7)) (* (fabs x) 15/8))))

prune3.5s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 0.1b

localize106.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
3234×*-un-lft-identity
2236×times-frac
1860×sqrt-prod
1600×distribute-lft-out
736×add-sqr-sqrt
734×add-cube-cbrt
212×div-inv
104×associate-/l*
18×associate-/r*
15×frac-add
12×associate-/l/
11×add-cbrt-cube add-exp-log
7×flip3-+ flip-+
6×pow1
4×cbrt-undiv div-exp insert-posit16 add-log-exp
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2
Counts
4 → 1126
Calls
4 calls:
Slowest
706.0ms
(/ (/ (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (sqrt (sqrt PI))) (sqrt (sqrt PI)))
626.0ms
(/ (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (sqrt (sqrt PI)))
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series1.1s

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

simplify6.9m

Counts
2020 → 1134
Calls
2020 calls:
Slowest
882.0ms
(/ (* (* (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7))))) (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7))))) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (sqrt (sqrt PI))))
872.0ms
(/ (/ (* (* (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7))))) (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (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))))
860.0ms
(* (sqrt (/ 1 PI)) (+ (/ 1 (fabs x)) (+ (* 1/2 (/ 1 (pow (fabs x) 3))) (+ (* 3/4 (/ 1 (pow (fabs x) 5))) (* 15/8 (/ 1 (pow (fabs x) 7)))))))
768.0ms
(/ (/ (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (sqrt (sqrt (sqrt PI)))) (sqrt (sqrt (cbrt PI))))
761.0ms
(/ (/ (+ (+ (/ (/ 1/2 (* (fabs x) (fabs x))) (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 15/8 (pow (fabs x) 7)))) (sqrt (cbrt (sqrt PI)))) (sqrt (sqrt PI)))

prune23.9s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.1b

regimes255.0ms

bsearch5.0ms

end0.0ms