Details

Time bar (total: 44.6s)

sample1.4s

Algorithm
intervals
Results
1.3s3434×body80valid

simplify811.0ms

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

prune29.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.2b

localize76.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
0.5b
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.5b
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.5b
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) 3/4 (fma 15/8 (* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x))))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
68×add-exp-log
57×times-frac
52×pow1
45×associate-*l*
44×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
35×associate-*r*
33×add-cbrt-cube
25×div-exp
24×pow-div
20×prod-exp
17×div-inv
12×rec-exp pow-flip inv-pow
10×pow-prod-up cbrt-unprod
9×cbrt-undiv
7×pow-prod-down
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l/ *-commutative
2×pow2 frac-times pow-plus associate-*r/ fma-udef
1×distribute-rgt-in distribute-lft-in pow1/2
Calls
4 calls:
Slowest
13.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) 3/4 (fma 15/8 (* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x))))))
12.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
11.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
1.0ms
(sqrt PI)

series486.0ms

Calls
4 calls:
Slowest
425.0ms
(* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) 3/4 (fma 15/8 (* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x))))))
35.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
25.0ms
(* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x)))
0.0ms
(sqrt PI)

simplify16.1s

Calls
161 calls:
Slowest
1.2s
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
859.0ms
(* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ (/ 1 (fabs x)) (fabs x))))
816.0ms
(* (/ (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x)))) (* (* (sqrt PI) (sqrt PI)) (sqrt PI))) (* (* (fma (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) 3/4 (fma 15/8 (* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x))))) (fma (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) 3/4 (fma 15/8 (* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x)))))) (fma (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) 3/4 (fma 15/8 (* (* (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x))) (fma 1/2 (/ (/ (/ 1 (fabs x)) (fabs x)) (fabs x)) (/ 1 (fabs x)))))))
694.0ms
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))
676.0ms
(* (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))) (/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (fabs x) (fabs x)) (fabs x))))

prune3.5s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.3b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log
14×add-cbrt-cube
13×associate-/r*
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×unpow-prod-down pow-div
5×prod-exp div-inv
4×expm1-log1p-u times-frac div-exp cbrt-unprod insert-posit16 log1p-expm1-u associate-/l* add-log-exp
3×clear-num frac-2neg associate-*l* pow-prod-down pow-flip inv-pow
2×pow2 cbrt-undiv rec-exp pow-plus pow-prod-up
1×sqrt-div associate-*r* associate-*l/ associate-*r/ *-commutative associate-/l/
Calls
4 calls:
Slowest
43.0ms
(* (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (/ 15/8 (pow (fabs x) 7)) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))))
15.0ms
(/ (/ 1 (fabs x)) (* (fabs x) (fabs x)))
2.0ms
(/ 3/4 (pow (fabs x) 5))
2.0ms
(/ 15/8 (pow (fabs x) 7))

series477.0ms

Calls
4 calls:
Slowest
369.0ms
(* (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (/ 15/8 (pow (fabs x) 7)) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))))
46.0ms
(/ 15/8 (pow (fabs x) 7))
41.0ms
(/ 3/4 (pow (fabs x) 5))
20.0ms
(/ (/ 1 (fabs x)) (* (fabs x) (fabs x)))

simplify4.9s

Calls
63 calls:
Slowest
530.0ms
(* (* (* (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (/ 15/8 (pow (fabs x) 7)) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))))) (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (/ 15/8 (pow (fabs x) 7)) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x)))))) (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (/ 15/8 (pow (fabs x) 7)) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x)))))) (* (* (* (sqrt (/ 1 PI)) (sqrt (/ 1 PI))) (sqrt (/ 1 PI))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))))
457.0ms
(/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))))
411.0ms
(* (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (/ 15/8 (pow (fabs x) 7)) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))))
384.0ms
(/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))
383.0ms
(* (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (/ 15/8 (pow (fabs x) 7)) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))))

prune2.0s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.2b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
20×pow1
11×add-cbrt-cube add-exp-log
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
8×associate-*l*
7×associate-/r*
6×associate-*r*
5×pow-plus pow-prod-up
4×expm1-log1p-u pow-prod-down prod-exp sqrt-prod cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×unpow-prod-down div-inv
2×pow2 clear-num frac-2neg *-commutative fma-udef
1×distribute-rgt-in distribute-lft-in sqrt-div pow3 associate-*l/
Calls
4 calls:
Slowest
18.0ms
(* (* (fabs x) (fabs x)) (fabs x))
11.0ms
(* (sqrt (/ 1 PI)) (fma (exp (* (fabs x) (fabs x))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))))) (/ (exp (* (fabs x) (fabs x))) (fabs x))))
7.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
2.0ms
(/ 3/4 (pow (fabs x) 5))

series554.0ms

Calls
4 calls:
Slowest
443.0ms
(* (sqrt (/ 1 PI)) (fma (exp (* (fabs x) (fabs x))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))))) (/ (exp (* (fabs x) (fabs x))) (fabs x))))
49.0ms
(/ 3/4 (pow (fabs x) 5))
38.0ms
(/ 1/2 (* (* (fabs x) (fabs x)) (fabs x)))
23.0ms
(* (* (fabs x) (fabs x)) (fabs x))

simplify4.2s

Calls
54 calls:
Slowest
493.0ms
(* (sqrt 1) (fma (exp (* (fabs x) (fabs x))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))))) (/ (exp (* (fabs x) (fabs x))) (fabs x))))
472.0ms
(fma (exp (* (fabs x) (fabs x))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))))) (/ (exp (* (fabs x) (fabs x))) (fabs x)))
393.0ms
(cbrt (fma (exp (* (fabs x) (fabs x))) (+ (/ 3/4 (pow (fabs x) 5)) (+ (/ 15/8 (pow (fabs x) 7)) (/ 1/2 (* (* (fabs x) (fabs x)) (fabs x))))) (/ (exp (* (fabs x) (fabs x))) (fabs x))))
386.0ms
(* (+ (* 1/2 (/ (exp (pow (fabs x) 2)) (pow (fabs x) 3))) (+ (/ (exp (pow (fabs x) 2)) (fabs x)) (+ (* 3/4 (/ (exp (pow (fabs x) 2)) (pow (fabs x) 5))) (* 15/8 (/ (exp (pow (fabs x) 2)) (pow (fabs x) 7)))))) (sqrt (/ 1 PI)))
365.0ms
(* (+ (* 1/2 (/ (exp (pow (fabs x) 2)) (pow (fabs x) 3))) (+ (/ (exp (pow (fabs x) 2)) (fabs x)) (+ (* 3/4 (/ (exp (pow (fabs x) 2)) (pow (fabs x) 5))) (* 15/8 (/ (exp (pow (fabs x) 2)) (pow (fabs x) 7)))))) (sqrt (/ 1 PI)))

prune1.9s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.2b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
20×add-exp-log
18×pow1
14×add-cbrt-cube
13×associate-/r*
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×unpow-prod-down pow-div
5×rec-exp prod-exp div-inv
4×expm1-log1p-u times-frac div-exp cbrt-unprod insert-posit16 log1p-expm1-u pow-flip associate-/l* inv-pow add-log-exp
3×clear-num frac-2neg associate-*l* pow-prod-down
2×pow2 cbrt-undiv pow-plus pow-prod-up
1×pow-to-exp sqrt-div associate-*r* associate-*l/ pow-exp associate-*r/ *-commutative associate-/l/
Calls
4 calls:
Slowest
23.0ms
(* (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (* 15/8 (/ 1 (pow (fabs x) 7))) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))))
11.0ms
(/ (/ 1 (fabs x)) (* (fabs x) (fabs x)))
3.0ms
(/ 1 (pow (fabs x) 7))
2.0ms
(/ 3/4 (pow (fabs x) 5))

series512.0ms

Calls
4 calls:
Slowest
372.0ms
(* (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (* 15/8 (/ 1 (pow (fabs x) 7))) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))))
57.0ms
(/ 1 (pow (fabs x) 7))
49.0ms
(/ 3/4 (pow (fabs x) 5))
34.0ms
(/ (/ 1 (fabs x)) (* (fabs x) (fabs x)))

simplify4.8s

Calls
64 calls:
Slowest
435.0ms
(/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (fabs x) (fabs x)) (* (fabs x) (fabs x))) (* (fabs x) (fabs x))))
432.0ms
(* (* (* (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (* 15/8 (/ 1 (pow (fabs x) 7))) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))))) (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (* 15/8 (/ 1 (pow (fabs x) 7))) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x)))))) (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (* 15/8 (/ 1 (pow (fabs x) 7))) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x)))))) (* (* (* (sqrt (/ 1 PI)) (sqrt (/ 1 PI))) (sqrt (/ 1 PI))) (* (* (exp (* (fabs x) (fabs x))) (exp (* (fabs x) (fabs x)))) (exp (* (fabs x) (fabs x))))))
424.0ms
(* (* (* (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (* 15/8 (/ 1 (pow (fabs x) 7))) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))))) (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (* 15/8 (/ 1 (pow (fabs x) 7))) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x)))))) (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (* 15/8 (/ 1 (pow (fabs x) 7))) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x)))))) (* (* (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x))))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x))))))
371.0ms
(/ (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (* (fabs x) (fabs x)) (fabs x)) (* (* (fabs x) (fabs x)) (fabs x))))
357.0ms
(* (fma (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) 1/2 (+ (* 15/8 (/ 1 (pow (fabs x) 7))) (+ (/ 3/4 (pow (fabs x) 5)) (/ 1 (fabs x))))) (* (sqrt (/ 1 PI)) (exp (* (fabs x) (fabs x)))))

prune2.4s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.2b

regimes204.0ms

bsearch4.0ms

end0.0ms