Details

Time bar (total: 3.8m)

sample1.4s

Algorithm
intervals
Results
1.3s3388×body80valid

simplify779.0ms

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

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.0b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite491.0ms

Algorithm
rewrite-expression-head
Rules
174×add-exp-log
129×times-frac
105×pow1
103×add-cbrt-cube
85×div-exp
65×add-sqr-sqrt
64×pow-div
55×prod-exp
51×*-un-lft-identity
45×cbrt-undiv add-cube-cbrt
43×associate-*l*
31×cbrt-unprod
24×frac-add
17×associate-/l*
16×pow2 pow-plus pow-sqr pow-prod-up pow-flip inv-pow
15×frac-times associate-*r/
13×sqrt-prod
10×flip3-+ flip-+ div-inv
9×associate-*r*
8×rec-exp 1-exp unswap-sqr
4×associate-*l/ insert-posit16 add-log-exp
3×distribute-lft-out
2×distribute-rgt-in distribute-lft-in pow-prod-down *-commutative
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 associate-/l/
Counts
4 → 263
Calls
4 calls:
Slowest
347.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))))
103.0ms
(* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))
34.0ms
(/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))
1.0ms
(sqrt PI)

series642.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
456.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))))
131.0ms
(* (/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))))
55.0ms
(/ (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))
0.0ms
(sqrt PI)

simplify54.9s

Counts
299 → 273
Calls
299 calls:
Slowest
1.6s
(* (/ (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))))
1.5s
(* (/ (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (* (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))))
1.4s
(* (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)))
1.3s
(* (+ (* (/ (/ 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))
1.2s
(* (/ (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (+ 3/4 (/ 15/8 (* (fabs x) (fabs x)))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))) (+ 3/4 (/ 15/8 (* (fabs x) (fabs x))))))

prune4.1s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.1b

localize66.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (/ 1 PI)) (+ (/ 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
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
0.3b
(* (* (fabs x) (fabs x)) (fabs x))
0.2b
(/ 3/4 (pow (fabs x) 5))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
47×*-un-lft-identity
42×add-sqr-sqrt
35×times-frac
32×add-cube-cbrt
25×pow1 add-exp-log
22×add-cbrt-cube
18×frac-add
17×associate-*l*
16×sqrt-prod
12×unpow-prod-down
11×associate-*r* distribute-lft-out
8×associate-/r* sqrt-div
7×frac-times prod-exp associate-*r/ cbrt-unprod
6×flip3-+ pow-plus div-exp pow-prod-up flip-+ associate-/l*
5×div-inv unswap-sqr
4×cbrt-undiv pow-prod-down insert-posit16 add-log-exp sqr-pow
2×pow2 clear-num frac-2neg pow-sqr *-commutative
1×distribute-rgt-in pow-to-exp distribute-lft-in pow3 associate-*l/ pow-exp
Counts
4 → 156
Calls
4 calls:
Slowest
2.0s
(* (sqrt (/ 1 PI)) (+ (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))))
27.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
23.0ms
(* (* (fabs x) (fabs x)) (fabs x))
5.0ms
(/ 3/4 (pow (fabs x) 5))

series519.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
350.0ms
(* (sqrt (/ 1 PI)) (+ (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))))
68.0ms
(/ 3/4 (pow (fabs x) 5))
60.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
41.0ms
(* (* (fabs x) (fabs x)) (fabs x))

simplify24.9s

Counts
165 → 168
Calls
165 calls:
Slowest
1.2s
(* (* (* (sqrt (/ 1 PI)) (sqrt (/ 1 PI))) (sqrt (/ 1 PI))) (* (* (+ (/ 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))))))
740.0ms
(* (pow (fabs x) 7) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (pow (fabs x) 5)) (fabs x)))
683.0ms
(* (sqrt (/ (sqrt 1) (sqrt PI))) (sqrt (+ (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x))))))
632.0ms
(* (sqrt 1) (+ (* 15/8 (+ (* (+ (/ 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)))) (- (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))))) (* (pow (fabs x) 7) (+ (pow (+ (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))) (/ 3/4 (pow (fabs x) 5))) 3) (pow (/ 1 (fabs x)) 3)))))
602.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)))))))

prune3.3s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize96.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
84×times-frac
74×*-un-lft-identity
68×add-sqr-sqrt
59×add-cube-cbrt
28×add-exp-log
24×unpow-prod-down
22×add-cbrt-cube
19×associate-/l*
18×frac-add
16×associate-*l* sqrt-prod
15×associate-/r*
12×div-exp
11×distribute-lft-out
8×cbrt-undiv sqrt-div associate-*r* div-inv sqr-pow
7×frac-times associate-*r/
6×pow1 flip3-+ flip-+
4×insert-posit16 add-log-exp unswap-sqr
3×clear-num frac-2neg prod-exp cbrt-unprod
2×pow-to-exp pow-exp
1×distribute-rgt-in distribute-lft-in pow-prod-down associate-*l/ *-commutative associate-/l/
Counts
4 → 196
Calls
4 calls:
Slowest
1.4s
(* (sqrt (/ 1 PI)) (+ (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))))
18.0ms
(/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))
11.0ms
(/ 15/8 (pow (fabs x) 7))
9.0ms
(/ 3/4 (pow (fabs x) 5))

series601.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
373.0ms
(* (sqrt (/ 1 PI)) (+ (/ 15/8 (pow (fabs x) 7)) (+ (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))))
96.0ms
(/ 15/8 (pow (fabs x) 7))
79.0ms
(/ 3/4 (pow (fabs x) 5))
53.0ms
(/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))

simplify30.1s

Counts
226 → 208
Calls
226 calls:
Slowest
1.4s
(* (* (* (sqrt (/ 1 PI)) (sqrt (/ 1 PI))) (sqrt (/ 1 PI))) (* (* (+ (/ 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))))))
866.0ms
(* (sqrt PI) (* (pow (fabs x) 7) (- (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))))
696.0ms
(* (sqrt 1) (+ (* 15/8 (+ (* (+ (/ (/ 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)))) (- (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (/ 1 (fabs x)))))) (* (pow (fabs x) 7) (+ (pow (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) 3) (pow (/ 1 (fabs x)) 3)))))
617.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)))))))
590.0ms
(* (sqrt PI) (* (pow (fabs x) 7) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x))))

prune3.8s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize126.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
567×associate-*r/
312×frac-add
143×associate-/l/
131×flip3-- frac-sub flip--
81×frac-times
68×add-exp-log
41×prod-exp
40×flip3-+ flip-+
36×associate-*l/
32×add-cbrt-cube
15×cbrt-unprod
13×associate-*l*
12×add-sqr-sqrt
11×*-un-lft-identity add-cube-cbrt
8×div-exp
7×pow1
6×pow-to-exp pow-exp sqrt-prod
4×cbrt-undiv insert-posit16 add-log-exp
3×unpow-prod-down times-frac associate-/r/ associate-/l*
2×associate-*r* *-commutative
1×rem-sqrt-square clear-num associate-/r* frac-2neg sqrt-pow1 pow1/2 pow-prod-down div-inv sqr-pow
Counts
4 → 248
Calls
4 calls:
Slowest
548.0ms
(/ (+ (* (fabs x) (+ (* 15/8 (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5)))) (* (* (pow (fabs x) 7) (- (/ (/ 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))))))) (* (pow (fabs x) 7) (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))))) (* (sqrt PI) (* (pow (fabs x) 7) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x)))))
367.0ms
(* (sqrt PI) (* (pow (fabs x) 7) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x))))
179.0ms
(* (pow (fabs x) 7) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x)))
2.0ms
(sqrt PI)

series1.1s

Counts
4 → 10
Calls
4 calls:
Slowest
668.0ms
(/ (+ (* (fabs x) (+ (* 15/8 (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5)))) (* (* (pow (fabs x) 7) (- (/ (/ 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))))))) (* (pow (fabs x) 7) (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))))) (* (sqrt PI) (* (pow (fabs x) 7) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x)))))
247.0ms
(* (sqrt PI) (* (pow (fabs x) 7) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x))))
217.0ms
(* (pow (fabs x) 7) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x)))
0.0ms
(sqrt PI)

simplify1.4m

Counts
219 → 258
Calls
219 calls:
Slowest
942.0ms
(- (log (+ (* (fabs x) (+ (* 15/8 (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5)))) (* (* (pow (fabs x) 7) (- (/ (/ 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))))))) (* (pow (fabs x) 7) (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5)))))) (+ (log (sqrt PI)) (+ (* (log (fabs x)) 7) (log (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x))))))
833.0ms
(- (* (* (fabs x) (+ (* 15/8 (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5)))) (* (* (pow (fabs x) 7) (- (/ (/ 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))))))) (* (fabs x) (+ (* 15/8 (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5)))) (* (* (pow (fabs x) 7) (- (/ (/ 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)))))))) (* (* (pow (fabs x) 7) (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5)))) (* (pow (fabs x) 7) (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))))))
821.0ms
(+ (pow (* (fabs x) (+ (* 15/8 (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5)))) (* (* (pow (fabs x) 7) (- (/ (/ 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) (pow (* (pow (fabs x) 7) (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5)))) 3))
797.0ms
(* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (* (pow (fabs x) 7) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x))) (* (pow (fabs x) 7) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x)))) (* (pow (fabs x) 7) (* (- (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (/ 3/4 (pow (fabs x) 5))) (fabs x)))))
789.0ms
(+ (* (* (fabs x) (+ (* (* 15/8 (- (pow (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) 3) (pow (/ 3/4 (pow (fabs x) 5)) 3))) (+ (* (/ (/ 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)))))) (* (+ (* (/ (/ 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) (- (pow (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) 3) (pow (/ 3/4 (pow (fabs x) 5)) 3))) (+ (/ 3/4 (pow (fabs x) 5)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))))))) (* (* (fabs x) (fabs x)) (pow (fabs x) 5))) (* (* (+ (* (/ (/ 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))))) (+ (* (/ (/ 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) (- (* (/ 1/2 (fabs x)) (pow (fabs x) 5)) (* (* (fabs x) (fabs x)) 3/4)))))

prune7.8s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

regimes320.0ms

bsearch17.0ms

end0.0ms