Details

Time bar (total: 4.2m)

sample1.3s

Algorithm
intervals
Results
1.2s3358×body80valid

simplify926.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
926.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))))))

prune41.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize90.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.6b
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.6b
(* (/ (/ 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))))

rewrite84.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
35.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
34.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))))

series371.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
270.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))))
52.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
40.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify1.1m

Counts
600 → 479
Calls
600 calls:
Slowest
1.2s
(* (/ (/ (sqrt 1) (sqrt (fabs x))) (* (cbrt (fabs x)) (cbrt (fabs x)))) (/ (/ (sqrt 1) (sqrt (fabs x))) (* (cbrt (fabs x)) (cbrt (fabs x)))))
1.1s
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
911.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))))
884.0ms
(* (/ (/ (sqrt 1) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (cbrt (fabs x)) (cbrt (fabs x)))) (/ (/ (sqrt 1) (* (cbrt (fabs x)) (cbrt (fabs x)))) (* (cbrt (fabs x)) (cbrt (fabs x)))))
878.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))))

prune8.6s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.2b

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
440×*-un-lft-identity
340×times-frac
207×distribute-lft-out
165×add-sqr-sqrt
164×add-cube-cbrt
75×sqrt-prod
36×associate-/r*
34×div-inv
24×unpow-prod-down
18×add-exp-log
13×add-cbrt-cube associate-/l*
9×div-exp frac-add
8×sqr-pow
7×associate-/l/
5×pow1 cbrt-undiv
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg flip3-+ flip-+
2×pow-to-exp pow-exp
1×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/
Counts
4 → 320
Calls
4 calls:
Slowest
1.2s
(/ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7)))) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
5.0ms
(/ 3/4 (pow (fabs x) 5))
5.0ms
(/ 15/8 (pow (fabs x) 7))
2.0ms
(sqrt PI)

series637.0ms

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

simplify1.5m

Counts
468 → 330
Calls
468 calls:
Slowest
1.1s
(/ (* (* (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7)))) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))))) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 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))))))
936.0ms
(/ (* (* (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7)))) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))))) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 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))))))
650.0ms
(/ (* (cbrt (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))))) (cbrt (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7)))))) (/ (sqrt (sqrt PI)) (* (cbrt (exp (* (fabs x) (fabs x)))) (cbrt (exp (* (fabs x) (fabs x)))))))
624.0ms
(+ (* 1/2 (+ (* (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5)))) (- (* (/ 15/8 (pow (fabs x) 7)) (/ 15/8 (pow (fabs x) 7))) (* (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7)))))) (* (* (fabs x) (* (fabs x) (fabs x))) (+ (pow (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) 3) (pow (/ 15/8 (pow (fabs x) 7)) 3))))
505.0ms
(+ (* 1/2 (* (+ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))))) (pow (fabs x) 7))) (* (* (fabs x) (* (fabs x) (fabs x))) (+ (* (+ (pow (/ 1 (fabs x)) 3) (pow (/ 3/4 (pow (fabs x) 5)) 3)) (pow (fabs x) 7)) (* (+ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))))) 15/8))))

prune5.6s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.1b

localize63.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.3b
(/ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 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.2s

Algorithm
rewrite-expression-head
Rules
142×*-un-lft-identity
94×times-frac
72×distribute-lft-out
48×add-sqr-sqrt
46×add-cube-cbrt
18×div-inv
16×add-exp-log
15×add-cbrt-cube
14×associate-/r*
12×unpow-prod-down
10×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 → 170
Calls
4 calls:
Slowest
1.2s
(/ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7)))) (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x)))))
7.0ms
(/ 15/8 (pow (fabs x) 7))
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series929.0ms

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

simplify33.6s

Counts
190 → 178
Calls
190 calls:
Slowest
1.0s
(/ (* (* (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7)))) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))))) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 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))))))
717.0ms
(+ (* 1/2 (+ (* (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5)))) (- (* (/ 15/8 (pow (fabs x) 7)) (/ 15/8 (pow (fabs x) 7))) (* (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7)))))) (* (* (fabs x) (* (fabs x) (fabs x))) (+ (pow (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) 3) (pow (/ 15/8 (pow (fabs x) 7)) 3))))
586.0ms
(/ 1 (* (cbrt (pow (fabs x) 7)) (cbrt (pow (fabs x) 7))))
499.0ms
(+ (* 1/2 (* (+ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))))) (pow (fabs x) 7))) (* (* (fabs x) (* (fabs x) (fabs x))) (+ (* (+ (pow (/ 1 (fabs x)) 3) (pow (/ 3/4 (pow (fabs x) 5)) 3)) (pow (fabs x) 7)) (* (+ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))))) 15/8))))
482.0ms
(+ (* 1/2 (* (- (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (pow (fabs x) 7))) (* (* (fabs x) (* (fabs x) (fabs x))) (+ (* (- (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5)))) (pow (fabs x) 7)) (* (- (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) 15/8))))

prune3.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize86.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
142×*-un-lft-identity
94×times-frac
72×distribute-lft-out
48×add-sqr-sqrt
46×add-cube-cbrt
18×div-inv
16×add-exp-log
15×add-cbrt-cube
14×associate-/r*
12×unpow-prod-down
10×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 → 170
Calls
4 calls:
Slowest
1.1s
(/ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ (sqrt 15/8) (/ (pow (fabs x) 7) (sqrt 15/8))))) (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x)))))
5.0ms
(/ 3/4 (pow (fabs x) 5))
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series677.0ms

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

simplify34.1s

Counts
192 → 178
Calls
192 calls:
Slowest
1.0s
(/ (* (* (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ (sqrt 15/8) (/ (pow (fabs x) 7) (sqrt 15/8))))) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ (sqrt 15/8) (/ (pow (fabs x) 7) (sqrt 15/8)))))) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ (sqrt 15/8) (/ (pow (fabs x) 7) (sqrt 15/8)))))) (* (* (/ (* (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))))))
652.0ms
(/ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ (sqrt 15/8) (/ (pow (fabs x) 7) (sqrt 15/8))))) (cbrt (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x))))))
620.0ms
(+ (* 1/2 (* (+ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))))) (/ (pow (fabs x) 7) (sqrt 15/8)))) (* (* (fabs x) (* (fabs x) (fabs x))) (+ (* (+ (pow (/ 1 (fabs x)) 3) (pow (/ 3/4 (pow (fabs x) 5)) 3)) (/ (pow (fabs x) 7) (sqrt 15/8))) (* (+ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))))) (sqrt 15/8)))))
465.0ms
(+ (* 1/2 (* (- (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ (pow (fabs x) 7) (sqrt 15/8)))) (* (* (fabs x) (* (fabs x) (fabs x))) (+ (* (- (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5)))) (/ (pow (fabs x) 7) (sqrt 15/8))) (* (- (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (sqrt 15/8)))))
434.0ms
(* (cbrt (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ (sqrt 15/8) (/ (pow (fabs x) 7) (sqrt 15/8)))))) (cbrt (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (+ (+ (/ 1 (fabs x)) (/ 3/4 (pow (fabs x) 5))) (/ (sqrt 15/8) (/ (pow (fabs x) 7) (sqrt 15/8)))))))

prune3.4s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.1b

regimes422.0ms

bsearch10.0ms

end0.0ms