Details

Time bar (total: 1.8m)

sample1.7s

Algorithm
intervals
Results
1.7s3582×body80valid

simplify685.0ms

Calls
1 calls:
Slowest
684.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: 1.2b

localize61.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.5b
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (* (/ (/ 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)) (fabs x)) 2) (/ 1 (fabs x)))))
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.3b
(* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))

rewrite267.0ms

Algorithm
rewrite-expression-head
Rules
130×frac-add
127×associate-*r/
105×times-frac
85×frac-times
62×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
59×associate-*r*
53×associate-*l/
38×flip3-+ flip-+
30×associate-*l*
29×add-exp-log
23×add-cbrt-cube
18×div-inv
10×pow1
9×prod-exp
8×div-exp
7×cbrt-unprod
5×cbrt-undiv
4×insert-posit16 add-log-exp
3×pow-prod-down *-commutative
2×distribute-rgt-in rec-exp distribute-lft-in
1×distribute-rgt-out pow1/2
Calls
4 calls:
Slowest
166.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (* (/ (/ 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)) (fabs x)) 2) (/ 1 (fabs x)))))
73.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)))))
23.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

series724.0ms

Calls
4 calls:
Slowest
482.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (* (/ (/ 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)) (fabs x)) 2) (/ 1 (fabs x)))))
197.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)))))
45.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify58.3s

Calls
246 calls:
Slowest
1.3s
(* (* (* (/ (/ 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.2s
(* (sqrt PI) (* (* (fabs x) (+ (* (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 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))) (* 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)) (fabs x)) 2) (/ 1 (fabs x)))))
1.2s
(* (/ (* (* (/ 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))))))
1.2s
(* (sqrt PI) (* (+ (* (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 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))) (* 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)) (fabs x)) 2) (/ 1 (fabs x)))))
954.0ms
(* (+ (* (* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 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))) (* 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)) (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))))))

prune4.3s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.2b

localize66.0ms

Local error

Found 4 expressions with local error:

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

rewrite277.0ms

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

series557.0ms

Calls
4 calls:
Slowest
418.0ms
(/ (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (exp (* (fabs x) (fabs x)))) (* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x)))))
85.0ms
(* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x))))
53.0ms
(/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify11.5s

Calls
61 calls:
Slowest
2.8s
(/ (* (* (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (exp (* (fabs x) (fabs x)))) (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (exp (* (fabs x) (fabs x))))) (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (exp (* (fabs x) (fabs x))))) (* (* (* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x)))) (* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x))))) (* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x))))))
424.0ms
(- (+ (log (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1)) (* (fabs x) (fabs x))) (+ (log (sqrt PI)) (log (* (* (fabs x) (fabs x)) (* 2 (fabs x))))))
355.0ms
(- (+ (log (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1)) (* (fabs x) (fabs x))) (log (* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x))))))
351.0ms
(/ (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (sqrt PI))
335.0ms
(+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1)

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.2b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
45×add-cbrt-cube
41×add-exp-log
22×prod-exp cbrt-unprod
13×pow1
8×cbrt-undiv div-exp
7×add-sqr-sqrt associate-/r* *-un-lft-identity add-cube-cbrt
6×pow-prod-down
4×insert-posit16 add-log-exp
3×unpow-prod-down associate-*l*
2×clear-num frac-2neg associate-*l/ div-inv associate-/l/
1×flip3-+ times-frac pow1/2 associate-*r* *-commutative flip-+ associate-/l*
Calls
4 calls:
Slowest
101.0ms
(/ (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 4))))) 1) (exp (* (fabs x) (fabs x)))) (* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x)))))
34.0ms
(* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x))))
1.0ms
(/ 15/8 (pow (fabs x) 4))
0.0ms
(sqrt PI)

series619.0ms

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

simplify12.8s

Calls
50 calls:
Slowest
2.8s
(/ (* (* (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 4))))) 1) (exp (* (fabs x) (fabs x)))) (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 4))))) 1) (exp (* (fabs x) (fabs x))))) (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 4))))) 1) (exp (* (fabs x) (fabs x))))) (* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (* (* (fabs x) (fabs x)) (* 2 (fabs x))) (* (* (fabs x) (fabs x)) (* 2 (fabs x)))) (* (* (fabs x) (fabs x)) (* 2 (fabs x))))))
2.8s
(/ (* (* (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 4))))) 1) (exp (* (fabs x) (fabs x)))) (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 4))))) 1) (exp (* (fabs x) (fabs x))))) (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 4))))) 1) (exp (* (fabs x) (fabs x))))) (* (* (* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x)))) (* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x))))) (* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x))))))
539.0ms
(- (log (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 4))))) 1) (exp (* (fabs x) (fabs x))))) (+ (log (sqrt PI)) (log (* (* (fabs x) (fabs x)) (* 2 (fabs x))))))
435.0ms
(- (+ (log (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 4))))) 1)) (* (fabs x) (fabs x))) (+ (log (sqrt PI)) (log (* (* (fabs x) (fabs x)) (* 2 (fabs x))))))
333.0ms
(- (+ (log (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 4))))) 1)) (* (fabs x) (fabs x))) (log (* (sqrt PI) (* (* (fabs x) (fabs x)) (* 2 (fabs x))))))

prune1.4s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.2b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite226.0ms

Algorithm
rewrite-expression-head
Rules
78×add-cbrt-cube
71×add-exp-log
40×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×times-frac associate-/l*
4×pow1 insert-posit16 div-inv add-log-exp
3×associate-/l/
2×clear-num associate-/r* frac-2neg pow1/2 associate-*l/
1×flip3-+ flip-+
Calls
4 calls:
Slowest
197.0ms
(/ (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (exp (* (fabs x) (fabs x)))) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (* (* (fabs x) (fabs x)) (* 2 (fabs x)))))
26.0ms
(/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

series550.0ms

Calls
4 calls:
Slowest
494.0ms
(/ (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (exp (* (fabs x) (fabs x)))) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (* (* (fabs x) (fabs x)) (* 2 (fabs x)))))
55.0ms
(/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify9.7s

Calls
57 calls:
Slowest
309.0ms
(* 1/2 (* (/ (* (exp (pow (fabs x) 2)) (+ (* 3/2 (/ 1 (pow (fabs x) 2))) (+ (* 15/4 (/ 1 (pow (fabs x) 4))) (+ 1 (* 2 (pow (fabs x) 2)))))) (pow (fabs x) 3)) (sqrt (/ 1 PI))))
308.0ms
(* (+ (pow (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 3) (pow 1 3)) (exp (* (fabs x) (fabs x))))
304.0ms
(/ (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (* (sqrt (sqrt PI)) (sqrt (sqrt PI))))
302.0ms
(/ (* (* (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (exp (* (fabs x) (fabs x)))) (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (exp (* (fabs x) (fabs x))))) (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (exp (* (fabs x) (fabs x))))) (* (* (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (sqrt (sqrt PI))) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (sqrt (sqrt PI)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* 2 (fabs x)) (* 2 (fabs x))) (* 2 (fabs x))))))
284.0ms
(/ (* (* (* (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1) (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1)) (+ (* 2 (+ (* (fabs x) (fabs x)) (+ (/ 3/4 (* (fabs x) (fabs x))) (/ (/ 15/8 (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))))) 1)) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))) (* (* (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))) (* (sqrt (sqrt PI)) (sqrt (sqrt PI)))) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))) (* (* (* 2 (fabs x)) (* 2 (fabs x))) (* 2 (fabs x))))))

prune1.4s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 0.2b

regimes299.0ms

bsearch9.0ms

end0.0ms