Details

Time bar (total: 2.6m)

sample1.8s

Algorithm
intervals
Results
1.7s3434×body80valid

simplify676.0ms

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

prune27.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize78.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)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (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)))))

rewrite312.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
226.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)))))
53.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)))))
22.0ms
(* (* (/ (/ 1 (fabs x)) (fabs x)) 15/8) (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

series509.0ms

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

simplify1.0m

Calls
246 calls:
Slowest
1.5s
(* (* (* (/ (/ 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))))))
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))))))
870.0ms
(* (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))))))) (* 2 (fabs x))))

prune4.4s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.0b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite480.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
446.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))))
24.0ms
(* (* (fabs x) (fabs x)) (fabs x))
6.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
1.0ms
(/ 3/4 (pow (fabs x) 5))

series469.0ms

Calls
4 calls:
Slowest
395.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))))
33.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
28.0ms
(/ 3/4 (pow (fabs x) 5))
14.0ms
(* (* (fabs x) (fabs x)) (fabs x))

simplify12.9s

Calls
77 calls:
Slowest
1.5s
(* (* (* (* (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)))))
611.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))
530.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)))
444.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

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.0b

localize78.0ms

Local error

Found 4 expressions with local error:

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

rewrite364.0ms

Algorithm
rewrite-expression-head
Rules
72×add-cbrt-cube
67×add-exp-log
41×prod-exp cbrt-unprod
27×pow1
16×pow-prod-down
10×cbrt-undiv div-exp
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×associate-*l* insert-posit16 add-log-exp
2×associate-*r* associate-*r/ *-commutative associate-/l/
1×clear-num associate-/r* frac-2neg flip3-+ times-frac pow1/2 flip-+ div-inv associate-/l*
Calls
4 calls:
Slowest
236.0ms
(/ (* (exp (* (fabs x) (fabs x))) (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x))))) (* (sqrt PI) (* (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x)))))
76.0ms
(* (sqrt PI) (* (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x))))
50.0ms
(* (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x)))
0.0ms
(sqrt PI)

series506.0ms

Calls
4 calls:
Slowest
394.0ms
(/ (* (exp (* (fabs x) (fabs x))) (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x))))) (* (sqrt PI) (* (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x)))))
80.0ms
(* (sqrt PI) (* (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x))))
32.0ms
(* (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x)))
0.0ms
(sqrt PI)

simplify11.9s

Calls
62 calls:
Slowest
760.0ms
(/ (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x)))) (* (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x))))
549.0ms
(- (+ (* (fabs x) (fabs x)) (log (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x)))))) (+ (log (sqrt PI)) (log (* (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x))))))
370.0ms
(- (+ (* (fabs x) (fabs x)) (log (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x)))))) (log (* (sqrt PI) (* (* (fabs x) (* (fabs x) (fabs x))) (* 2 (fabs x))))))
362.0ms
(/ (* (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x)))) (* (* (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x)))) (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x))))) (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x)))))) (* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (* (* (fabs x) (* (fabs x) (fabs x))) (* (fabs x) (* (fabs x) (fabs x)))) (* (fabs x) (* (fabs x) (fabs x)))) (* (* (* 2 (fabs x)) (* 2 (fabs x))) (* 2 (fabs x))))))
354.0ms
(/ (* (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x)))) (* (* (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x)))) (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x))))) (+ (+ (* (+ (/ 3/4 (fabs x)) (/ (/ (/ 15/8 (fabs x)) (fabs x)) (fabs x))) 2) (fabs x)) (* (* 2 (fabs x)) (* (fabs x) (fabs x)))))) (* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x)))) (* (* (* 2 (fabs x)) (* 2 (fabs x))) (* 2 (fabs x))))))

prune1.5s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite574.0ms

Algorithm
rewrite-expression-head
Rules
153×*-un-lft-identity
130×times-frac
58×add-sqr-sqrt add-cube-cbrt
57×distribute-lft-out
48×unpow-prod-down
46×associate-/r*
35×add-exp-log
20×add-cbrt-cube
19×associate-/r/
18×frac-add
17×div-exp
9×flip3-+ flip-+
7×cbrt-undiv associate-/l*
6×pow1
5×prod-exp div-inv
4×insert-posit16 add-log-exp
3×pow-to-exp clear-num frac-2neg associate-*r* pow-exp cbrt-unprod
1×sqrt-div associate-*l* pow-prod-down associate-*l/ *-commutative associate-/l/
Calls
4 calls:
Slowest
300.0ms
(/ (* (sqrt (/ 1 PI)) (* (exp (* (fabs x) (fabs x))) 1/2)) (/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x)))))
236.0ms
(/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x))))
24.0ms
(* (* 2 (* (fabs x) (fabs x))) (fabs x))
6.0ms
(/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))

series572.0ms

Calls
4 calls:
Slowest
347.0ms
(/ (* (sqrt (/ 1 PI)) (* (exp (* (fabs x) (fabs x))) 1/2)) (/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x)))))
171.0ms
(/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x))))
29.0ms
(* (* 2 (* (fabs x) (fabs x))) (fabs x))
25.0ms
(/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))

simplify53.7s

Calls
234 calls:
Slowest
1.5s
(/ (* (* (* (sqrt (/ 1 PI)) (* (exp (* (fabs x) (fabs x))) 1/2)) (* (sqrt (/ 1 PI)) (* (exp (* (fabs x) (fabs x))) 1/2))) (* (sqrt (/ 1 PI)) (* (exp (* (fabs x) (fabs x))) 1/2))) (* (* (/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x)))) (/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x))))) (/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x))))))
1.2s
(/ (* (* (* (sqrt (/ 1 PI)) (sqrt (/ 1 PI))) (sqrt (/ 1 PI))) (* (* (* (exp (* (fabs x) (fabs x))) 1/2) (* (exp (* (fabs x) (fabs x))) 1/2)) (* (exp (* (fabs x) (fabs x))) 1/2))) (* (* (/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x)))) (/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x))))) (/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x))))))
901.0ms
(/ (* (exp (* (fabs x) (fabs x))) 1/2) (/ (pow (fabs x) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x)))))
700.0ms
(/ (* (* (pow (fabs x) 4) (pow (fabs x) 4)) (pow (fabs x) 4)) (* (* (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x))) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x)))) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x)))))
672.0ms
(/ (* (exp (* (fabs x) (fabs x))) 1/2) (/ (pow (cbrt (fabs x)) 4) (+ (+ (+ (fabs x) (* (* 2 (* (fabs x) (fabs x))) (fabs x))) (/ 15/4 (* (* (fabs x) (fabs x)) (fabs x)))) (/ 3/2 (fabs x)))))

prune3.4s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

regimes239.0ms

bsearch9.0ms

end0.0ms