Details

Time bar (total: 1.8m)

sample1.3s

Algorithm
intervals
Results
1.2s3505×body80valid

simplify667.0ms

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

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize58.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.3b
(* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))
0.3b
(* (/ (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)))))

rewrite306.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
202.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)))))
55.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)))))
37.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

series760.0ms

Calls
4 calls:
Slowest
484.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)))))
214.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)))))
61.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify58.8s

Calls
246 calls:
Slowest
1.4s
(* (/ (* (* (/ 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.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.1s
(* (+ (* (* (* (/ (/ 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))))))
859.0ms
(* (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)))))

prune4.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

localize38.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))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/4 (pow (fabs x) 5))))
0.3b
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
0.3b
(* (* (fabs x) (fabs x)) (fabs x))
0.2b
(/ 15/8 (pow (fabs x) 7))

rewrite433.0ms

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

series635.0ms

Calls
4 calls:
Slowest
447.0ms
(* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/4 (pow (fabs x) 5))))
98.0ms
(/ 15/8 (pow (fabs x) 7))
59.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
31.0ms
(* (* (fabs x) (fabs x)) (fabs x))

simplify12.4s

Calls
77 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))) (/ 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)))) (/ 3/4 (pow (fabs x) 5)))))
1.3s
(* (* (* (* (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))) (/ 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)))) (/ 3/4 (pow (fabs x) 5)))))
652.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))))) (* (* (fabs x) (fabs x)) (fabs x))) (pow (fabs x) 5))
541.0ms
(* (* (sqrt 1) (exp (* (fabs x) (fabs x)))) (+ (* (+ (pow (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) 3) (pow (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) 3)) (pow (fabs x) 5)) (* (+ (* (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x))) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1 (fabs x)))) (- (* (/ 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))) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))))) 3/4)))
473.0ms
(* (sqrt PI) (+ (* (+ (+ (/ 15/8 (pow (fabs x) 7)) (/ 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))))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 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))))))

prune2.0s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.1b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite427.0ms

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

series653.0ms

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

simplify12.8s

Calls
89 calls:
Slowest
1.4s
(* (/ (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x)))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (+ (/ (+ (/ 15/8 (pow (fabs x) 5)) (/ 3/4 (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x)))) (+ (/ (+ (/ 15/8 (pow (fabs x) 5)) (/ 3/4 (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))))) (+ (/ (+ (/ 15/8 (pow (fabs x) 5)) (/ 3/4 (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))))))
1.1s
(* (* (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))) (* (* (+ (/ (+ (/ 15/8 (pow (fabs x) 5)) (/ 3/4 (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x)))) (+ (/ (+ (/ 15/8 (pow (fabs x) 5)) (/ 3/4 (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))))) (+ (/ (+ (/ 15/8 (pow (fabs x) 5)) (/ 3/4 (* (* (fabs x) (fabs x)) (fabs x)))) (* (fabs x) (fabs x))) (+ (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))))))
631.0ms
(* (exp (* (fabs x) (fabs x))) (+ (* (+ (/ 15/8 (pow (fabs x) 5)) (/ 3/4 (* (* (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)))))) (* (* (fabs x) (fabs x)) (+ (pow (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) 3) (pow (/ 1 (fabs x)) 3)))))
498.0ms
(* (* (fabs x) (fabs x)) (- (/ (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) 2) (/ 1 (fabs x))))
434.0ms
(/ (* (cbrt (+ (/ 15/8 (pow (fabs x) 5)) (/ 3/4 (* (* (fabs x) (fabs x)) (fabs x))))) (cbrt (+ (/ 15/8 (pow (fabs x) 5)) (/ 3/4 (* (* (fabs x) (fabs x)) (fabs x)))))) (fabs x))

prune2.0s

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 0.1b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite395.0ms

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

series738.0ms

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

simplify10.0s

Calls
63 calls:
Slowest
524.0ms
(/ (* (* (+ (* (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))) (/ 3/4 (pow (fabs x) 5))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x))) (+ (* (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))) (/ 3/4 (pow (fabs x) 5))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x)))) (+ (* (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))) (/ 3/4 (pow (fabs x) 5))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x)))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI)))
492.0ms
(+ (* (* (+ (* (+ (* (/ 1/2 (fabs x)) (pow (fabs x) 7)) (* (* (fabs x) (fabs x)) 15/8)) (pow (fabs x) 5)) (* (* (* (fabs x) (fabs x)) (pow (fabs x) 7)) 3/4)) (exp (* (fabs x) (fabs x)))) (fabs x)) (* (* (* (* (fabs x) (fabs x)) (pow (fabs x) 7)) (pow (fabs x) 5)) (exp (* (fabs x) (fabs x)))))
460.0ms
(+ (* (* (+ (* (+ (pow (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) 3) (pow (/ 15/8 (pow (fabs x) 7)) 3)) (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)) (/ 15/8 (pow (fabs x) 7))) (* (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))))) 3/4)) (exp (* (fabs x) (fabs x)))) (fabs x)) (* (* (+ (* (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (- (* (/ 15/8 (pow (fabs x) 7)) (/ 15/8 (pow (fabs x) 7))) (* (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))))) (pow (fabs x) 5)) (exp (* (fabs x) (fabs x)))))
389.0ms
(/ (* (cbrt (+ (* (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))) (/ 3/4 (pow (fabs x) 5))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x)))) (cbrt (+ (* (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))) (/ 3/4 (pow (fabs x) 5))) (exp (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (fabs x))))) (* (cbrt (sqrt PI)) (cbrt (sqrt PI))))
356.0ms
(+ (* (* (+ (pow (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))) 3) (pow (/ 3/4 (pow (fabs x) 5)) 3)) (exp (* (fabs x) (fabs x)))) (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)))) (- (* (/ 3/4 (pow (fabs x) 5)) (/ 3/4 (pow (fabs x) 5))) (* (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 15/8 (pow (fabs x) 7))) (/ 3/4 (pow (fabs x) 5))))) (exp (* (fabs x) (fabs x)))))

prune1.5s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.1b

regimes200.0ms

bsearch11.0ms

end0.0ms