Details

Time bar (total: 5.9m)

sample1.6s

Algorithm
intervals
Results
1.2s3481×body80valid

simplify764.0ms

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

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.9b

localize96.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 (* (* (/ (/ 1 (fabs x)) (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))) 15/8)) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x))))

rewrite107.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
56.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
33.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
2.0ms
(sqrt PI)
0.0ms
(fma (/ 1 (fabs x)) (fma (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) 3/4 (* (* (/ (/ 1 (fabs x)) (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))) 15/8)) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x))))

series372.0ms

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

simplify1.9m

Counts
626 → 479
Calls
626 calls:
Slowest
1.1s
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 1))
831.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))))
816.0ms
(* (/ (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt (fabs x))) (/ (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt (fabs x))))
788.0ms
(* (/ (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt (fabs x))) (/ (/ 1 (* (cbrt (fabs x)) (cbrt (fabs x)))) (sqrt (fabs x))))
765.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))))

prune9.0s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.1b

localize90.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.3b
(/ 15/8 (pow (fabs x) 7))
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
(/ 3/4 (pow (fabs x) 5))

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
499×*-un-lft-identity
380×times-frac
253×distribute-lft-out
178×add-sqr-sqrt
177×add-cube-cbrt
84×sqrt-prod
58×div-inv
36×associate-/r*
24×unpow-prod-down
18×add-exp-log
14×associate-/l*
13×add-cbrt-cube
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 → 343
Calls
4 calls:
Slowest
1.5s
(/ (+ (/ 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)))))
11.0ms
(/ 15/8 (pow (fabs x) 7))
10.0ms
(/ 3/4 (pow (fabs x) 5))
2.0ms
(sqrt PI)

series687.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
519.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)))))
104.0ms
(/ 15/8 (pow (fabs x) 7))
63.0ms
(/ 3/4 (pow (fabs x) 5))
0.0ms
(sqrt PI)

simplify1.9m

Counts
575 → 353
Calls
575 calls:
Slowest
1.0s
(/ (* (* (+ (/ 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))))))
1.0s
(/ (* (* (+ (/ 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))))))
796.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)))))) (cbrt (/ (sqrt PI) (exp (* (fabs x) (fabs x))))))
702.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) (sqrt (exp (* (fabs x) (fabs x))))))
649.0ms
(* (/ (sqrt PI) (exp (* (fabs x) (fabs x)))) (* (pow (fabs x) 5) (+ (* (/ 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))))))))

prune5.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize95.0ms

Local error

Found 4 expressions with local error:

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

rewrite953.0ms

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

series596.0ms

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

simplify45.0s

Counts
236 → 185
Calls
236 calls:
Slowest
2.0s
(* (/ (* (* 1 1) 1) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 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.7s
(* (* (* (/ 1 (sqrt PI)) (/ 1 (sqrt PI))) (/ 1 (sqrt PI))) (* (* (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 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 1) 1) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x)))) (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x))))) (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x))))))
1.3s
(* (* (* (/ 1 (sqrt PI)) (/ 1 (sqrt PI))) (/ 1 (sqrt PI))) (* (* (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x)))) (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x))))) (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x))))))
1.0s
(* (* (* (/ 1 (sqrt PI)) (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x))))) (* (/ 1 (sqrt PI)) (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x)))))) (* (/ 1 (sqrt PI)) (* (+ (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (exp (* (fabs x) (fabs x))))))

prune3.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize84.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
0.3b
(/ 15/8 (pow (fabs x) 7))
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)))))

rewrite1.3s

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.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 (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x)))))
5.0ms
(/ 15/8 (pow (fabs x) 7))
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)

series609.0ms

Counts
4 → 8
Calls
4 calls:
Slowest
511.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)))))
97.0ms
(/ 15/8 (pow (fabs x) 7))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify49.4s

Counts
269 → 186
Calls
269 calls:
Slowest
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 (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))))))
965.0ms
(/ (* (* (+ (/ 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))))))
852.0ms
(/ (* (cbrt (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7)))))) (cbrt (+ (/ 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))))
816.0ms
(* (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x)))) (+ (* (/ 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))))) (* (/ 3/4 (pow (fabs x) 5)) (+ (/ 1 (fabs x)) (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 15/8 (pow (fabs x) 7))))))))
810.0ms
(* (/ (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (fabs x) 5) (+ (* (/ 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))))))))

prune3.8s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes182.0ms

bsearch4.0ms

end0.0ms