Details

Time bar (total: 1.1m)

sample1.3s

Algorithm
intervals
Results
1.2s3734×body80valid

simplify618.0ms

Calls
1 calls:
Slowest
618.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))))))

prune31.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize95.0ms

Local error

Found 4 expressions with local error:

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

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
108×times-frac
62×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
56×associate-*r*
33×associate-*l*
25×add-exp-log
21×div-inv
18×add-cbrt-cube
14×associate-*r/
11×associate-*l/
8×frac-times pow1
7×div-exp prod-exp
6×frac-add
5×cbrt-unprod
4×cbrt-undiv insert-posit16 add-log-exp
3×*-commutative
2×rec-exp flip3-+ pow-prod-down flip-+
1×distribute-rgt-in distribute-lft-in distribute-rgt-out pow1/2
Calls
4 calls:
Slowest
84.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (+ (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))) (* 3/4 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))))
40.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))
13.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) 15/8)
0.0ms
(sqrt PI)

series208.0ms

Calls
4 calls:
Slowest
138.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (+ (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))) (* 3/4 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))))
46.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))
24.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) 15/8)
0.0ms
(sqrt PI)

simplify18.1s

Calls
134 calls:
Slowest
1.6s
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (+ (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))) (* 3/4 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))) (+ (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))) (* 3/4 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))))) (+ (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))) (* 3/4 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))))))
1.3s
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (+ (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))) (* 3/4 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))) (+ (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))) (* 3/4 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))))) (+ (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))) (* 3/4 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x))))))
784.0ms
(* (/ 1 (fabs x)) (+ (* (* (* (/ 1 (fabs x)) 15/8) (/ (/ 1 (fabs x)) (fabs x))) (fabs x)) (* (* (fabs x) (fabs x)) (* 3/4 (/ (/ 1 (fabs x)) (fabs x))))))
673.0ms
(* (/ 1 (fabs x)) (+ (* (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ 1 (fabs x)) (fabs x))) (fabs x)) (* (fabs x) (* 3/4 (/ (/ 1 (fabs x)) (fabs x))))))
646.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))

prune2.6s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite401.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
14×add-sqr-sqrt add-cbrt-cube add-cube-cbrt
13×times-frac associate-*l* add-exp-log
9×frac-add
7×distribute-lft-out
6×pow1 associate-*r*
5×frac-times flip3-+ associate-*r/ flip-+
4×insert-posit16 div-inv associate-/l* add-log-exp
3×cbrt-undiv div-exp prod-exp cbrt-unprod associate-/l/
2×clear-num associate-/r* frac-2neg
1×distribute-rgt-in distribute-lft-in pow1/2 pow-prod-down associate-*l/ *-commutative
Calls
4 calls:
Slowest
300.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x)))))
96.0ms
(/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x)))
3.0ms
(/ 3/4 (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

series508.0ms

Calls
4 calls:
Slowest
377.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x)))))
117.0ms
(/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x)))
14.0ms
(/ 3/4 (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

simplify12.6s

Calls
70 calls:
Slowest
1.6s
(* (/ (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x)))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (+ (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x)))) (+ (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))))) (+ (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))))))
1.2s
(* (* (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))) (* (* (+ (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x)))) (+ (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))))) (+ (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))))))
740.0ms
(* (exp (* (fabs x) (fabs x))) (+ (* (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (+ (* (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2)) (- (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x)))))) (* (* (fabs x) (fabs x)) (+ (pow (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) 3) (pow (/ 1 (fabs x)) 3)))))
467.0ms
(* (sqrt PI) (+ (* (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x))) (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x)))) (- (* (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x)))) (* (/ (+ (/ (/ 3/4 (* (fabs x) (fabs x))) (fabs x)) (/ 15/8 (pow (fabs x) 5))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x)))))))
439.0ms
(* (* (fabs x) (fabs x)) (- (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))))

prune1.8s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite696.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
18×frac-add
13×associate-/r*
9×add-sqr-sqrt pow1 add-cbrt-cube associate-*l/ add-cube-cbrt distribute-lft-out
8×sqrt-div add-exp-log
7×frac-times associate-*r* associate-*r/
6×unpow-prod-down flip3-+ flip-+
4×insert-posit16 div-inv add-log-exp
3×clear-num frac-2neg pow-prod-down prod-exp cbrt-unprod
1×distribute-rgt-in distribute-lft-in associate-*l* *-commutative
Calls
4 calls:
Slowest
684.0ms
(* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))))
7.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(/ 3/4 (pow (fabs x) 5))
2.0ms
(/ 15/8 (pow (fabs x) 7))

series489.0ms

Calls
4 calls:
Slowest
379.0ms
(* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))))
51.0ms
(/ 15/8 (pow (fabs x) 7))
30.0ms
(/ 3/4 (pow (fabs x) 5))
29.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))

simplify13.4s

Calls
63 calls:
Slowest
1.6s
(* (* (* (* (sqrt (/ 1 PI)) (sqrt (/ 1 PI))) (sqrt (/ 1 PI))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))) (* (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))))))
1.6s
(* (* (* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x))))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x))))) (* (* (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))))))
533.0ms
(* (* (+ (* (/ 15/8 (pow (fabs x) 7)) (/ 15/8 (pow (fabs x) 7))) (- (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))))) (pow (fabs x) 5)) (* (* (fabs x) (fabs x)) (fabs x)))
518.0ms
(* (sqrt PI) (+ (* (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))) (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5)))) (- (* (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))) (* (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))))))
449.0ms
(* (* (sqrt 1) (exp (* (fabs x) (fabs x)))) (+ (* (+ (pow (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) 3) (pow (/ 3/4 (pow (fabs x) 5)) 3)) (* (* (fabs x) (fabs x)) (fabs x))) (* (+ (* (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 3/4 (pow (fabs x) 5))))) 1/2)))

prune1.8s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite426.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
10×associate-/r*
9×times-frac frac-add
7×associate-/l/
6×add-cbrt-cube add-exp-log
5×associate-*l/
4×pow1 insert-posit16 add-log-exp
3×clear-num unpow-prod-down frac-2neg flip3-+ flip-+ div-inv associate-/l*
1×cbrt-undiv pow1/2 div-exp
Calls
4 calls:
Slowest
415.0ms
(/ (+ (* (+ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x))) (sqrt PI))
6.0ms
(/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))
3.0ms
(/ 3/4 (pow (fabs x) 5))
0.0ms
(sqrt PI)

series700.0ms

Calls
4 calls:
Slowest
639.0ms
(/ (+ (* (+ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x))) (sqrt PI))
34.0ms
(/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))
27.0ms
(/ 3/4 (pow (fabs x) 5))
0.0ms
(sqrt PI)

simplify9.3s

Calls
49 calls:
Slowest
468.0ms
(+ (* (* (+ (* (+ (pow (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) 3) (pow (/ 3/4 (pow (fabs x) 5)) 3)) (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))))) 15/8)) (exp (* (fabs x) (fabs x)))) (fabs x)) (* (* (+ (* (/ 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))))) (pow (fabs x) 7)) (exp (* (fabs x) (fabs x)))))
407.0ms
(+ (* (* (+ (pow (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 3/4 (pow (fabs x) 5))) 3) (pow (/ 15/8 (pow (fabs x) 7)) 3)) (exp (* (fabs x) (fabs x)))) (fabs x)) (* (+ (* (+ (/ 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)))) (- (* (/ 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))) (/ 15/8 (pow (fabs x) 7))))) (exp (* (fabs x) (fabs x)))))
400.0ms
(/ (* (* (+ (* (+ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x))) (+ (* (+ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x)))) (+ (* (+ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x)))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)))
365.0ms
(* (+ (* 1/2 (/ (exp (pow (fabs x) 2)) (pow (fabs x) 3))) (+ (/ (exp (pow (fabs x) 2)) (fabs x)) (+ (* 3/4 (/ (exp (pow (fabs x) 2)) (pow (fabs x) 5))) (* 15/8 (/ (exp (pow (fabs x) 2)) (pow (fabs x) 7)))))) (sqrt (/ 1 PI)))
359.0ms
(/ (* (cbrt (+ (* (+ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x)))) (cbrt (+ (* (+ (+ (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 3/4 (pow (fabs x) 5))) (/ 15/8 (pow (fabs x) 7))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x))))) (sqrt (sqrt PI)))

prune1.4s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

regimes200.0ms

bsearch4.0ms

end0.0ms