Details

Time bar (total: 2.9m)

sample1.2s

Algorithm
intervals
Results
1.1s3149×body80valid

simplify740.0ms

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

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.8b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite792.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
755.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))))
19.0ms
(/ (/ 1 (fabs x)) (* (fabs x) (fabs x)))
13.0ms
(/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))
1.0ms
(sqrt PI)

series571.0ms

Counts
4 → 10
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))))
55.0ms
(/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))
39.0ms
(/ (/ 1 (fabs x)) (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

simplify38.2s

Counts
237 → 195
Calls
237 calls:
Slowest
2.0s
(* (* (* (/ (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)))) (* (/ (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))))) (* (/ (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.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
(* (/ (exp (* (fabs x) (fabs x))) (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))))))) (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)))
1.0s
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (* (+ (* (/ 1/2 (fabs x)) (* (* (fabs x) (fabs x)) (- 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) (* (* (fabs x) (fabs x)) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (- (* 3/4 3/4) (* (/ 15/8 (* (fabs x) (fabs x))) (/ 15/8 (* (fabs x) (fabs x)))))))) (fabs x)) (* (* (* (fabs x) (fabs x)) (* (* (fabs x) (fabs x)) (- 3/4 (/ 15/8 (* (fabs x) (fabs x)))))) 1)))
992.0ms
(* (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)))

prune3.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.1b

localize59.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/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))

rewrite1.6s

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
28×pow1
27×add-exp-log
25×add-sqr-sqrt add-cbrt-cube
24×times-frac add-cube-cbrt
18×frac-add
12×unpow-prod-down
11×associate-*r* distribute-lft-out
9×associate-*l/ prod-exp cbrt-unprod
8×associate-/r* sqrt-div
7×frac-times associate-*r/
6×flip3-+ pow-plus div-exp pow-prod-down pow-prod-up flip-+ associate-/l*
4×cbrt-undiv insert-posit16 div-inv add-log-exp sqr-pow
2×pow2 clear-num frac-2neg associate-*l* pow-sqr *-commutative
1×distribute-rgt-in pow-to-exp distribute-lft-in pow3 pow-exp unswap-sqr
Counts
4 → 140
Calls
4 calls:
Slowest
1.6s
(* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (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)))))
19.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
15.0ms
(* (* (fabs x) (fabs x)) (fabs x))
8.0ms
(/ 3/4 (pow (fabs x) 5))

series646.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
488.0ms
(* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (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)))))
73.0ms
(/ 3/4 (pow (fabs x) 5))
52.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
33.0ms
(* (* (fabs x) (fabs x)) (fabs x))

simplify34.2s

Counts
185 → 152
Calls
185 calls:
Slowest
1.9s
(* (* (* (* (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/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))))))
1.7s
(* (* (* (* (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/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))))))
1.7s
(* (* (* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (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))))) (* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (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)))))) (* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (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))))))
660.0ms
(* (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (* (* (fabs x) (fabs x)) (fabs x)))
634.0ms
(* (sqrt PI) (+ (* (/ 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)))))))

prune2.7s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.1b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite812.0ms

Algorithm
rewrite-expression-head
Rules
48×times-frac
41×add-sqr-sqrt
40×*-un-lft-identity add-cube-cbrt
20×add-exp-log
18×sqrt-prod
17×add-cbrt-cube
14×associate-/r*
12×unpow-prod-down
10×div-inv associate-/l*
9×frac-add
7×div-exp distribute-lft-out associate-/l/
5×pow1 cbrt-undiv associate-*r/
4×insert-posit16 add-log-exp sqr-pow
3×clear-num frac-2neg flip3-+ prod-exp cbrt-unprod flip-+
1×pow-to-exp rem-sqrt-square sqrt-pow1 pow1/2 pow-exp
Counts
4 → 138
Calls
4 calls:
Slowest
773.0ms
(/ (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))) (sqrt PI))
24.0ms
(/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))
9.0ms
(/ 3/4 (pow (fabs x) 5))
2.0ms
(sqrt PI)

series752.0ms

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

simplify36.3s

Counts
200 → 148
Calls
200 calls:
Slowest
838.0ms
(/ (* (* (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))) (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7)))))) (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7)))))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)))
793.0ms
(* (sqrt PI) (+ (* (/ (exp (* (fabs x) (fabs x))) (fabs x)) (/ (exp (* (fabs x) (fabs x))) (fabs x))) (- (* (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7)))) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))) (* (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))))))
719.0ms
(/ (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))) (sqrt (sqrt PI)))
706.0ms
(* (* (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x)))))
601.0ms
(* (sqrt PI) (* (fabs x) (* (- (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (pow (fabs x) 7))))

prune2.5s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.1b

localize70.0ms

Local error

Found 4 expressions with local error:

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

rewrite731.0ms

Algorithm
rewrite-expression-head
Rules
57×times-frac
51×sqrt-prod
49×add-sqr-sqrt
47×*-un-lft-identity add-cube-cbrt
16×associate-/r*
12×unpow-prod-down div-inv
11×add-exp-log
10×distribute-lft-out
9×frac-add
8×add-cbrt-cube
7×associate-/l* associate-/l/
6×pow1
5×associate-*r/
4×div-exp insert-posit16 add-log-exp sqr-pow
3×flip3-+ flip-+
2×cbrt-undiv rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2
1×pow-to-exp pow-exp
Counts
4 → 143
Calls
4 calls:
Slowest
719.0ms
(/ (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))) (sqrt (sqrt PI)))
6.0ms
(/ 3/4 (pow (fabs x) 5))
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)

series984.0ms

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

simplify42.6s

Counts
212 → 151
Calls
212 calls:
Slowest
1.0s
(* (sqrt (sqrt PI)) (+ (* (/ (exp (* (fabs x) (fabs x))) (fabs x)) (/ (exp (* (fabs x) (fabs x))) (fabs x))) (- (* (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7)))) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))) (* (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))))))
753.0ms
(exp (/ (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))) (sqrt (sqrt PI))))
716.0ms
(/ (* (* (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))) (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7)))))) (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7)))))) (* (* (sqrt (sqrt PI)) (sqrt (sqrt PI))) (sqrt (sqrt PI))))
633.0ms
(* (sqrt (sqrt PI)) (* (fabs x) (* (- (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (pow (fabs x) 7))))
630.0ms
(/ (+ (/ (exp (* (fabs x) (fabs x))) (fabs x)) (* (exp (* (fabs x) (fabs x))) (+ (+ (/ 3/4 (pow (fabs x) 5)) (/ 1/2 (* (fabs x) (* (fabs x) (fabs x))))) (/ 15/8 (pow (fabs x) 7))))) (sqrt (sqrt (* (cbrt PI) (cbrt PI)))))

prune2.7s

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 0.1b

regimes312.0ms

bsearch9.0ms

end0.0ms