Details

Time bar (total: 10.0m)

sample1.2s

Algorithm
intervals
Results
646.0ms143×body10240exit
171.0ms259×body80valid
167.0ms56×body1280nan
117.0ms38×body640nan
33.0ms20×body320nan
17.0ms16×body160nan
5.0ms8×body80nan

simplify1.8s

Counts
1 → 1

prune76.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.4b

localize204.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(+ (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))
1.0b
(/ (pow (+ (- 7 z) 0.5) (+ 0.5 (- 0 z))) (exp (+ (- 7 z) 0.5)))
0.4b
(* (sqrt (* 2 PI)) (* (* (/ (pow (+ (- 7 z) 0.5) (+ 0.5 (- 0 z))) (exp (+ (- 7 z) 0.5))) (+ (+ (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))) (+ (/ -176.6150291621406 (- 4 z)) (/ 12.507343278686905 (- 5 z))))) (/ PI (sin (* PI z)))))

rewrite1.2m

Algorithm
rewrite-expression-head
Rules
1850×frac-add
700×associate-*r/
682×flip3-+ flip-+
465×frac-times
235×associate-*l/
75×*-un-lft-identity
49×add-exp-log
40×times-frac
35×add-cbrt-cube
29×prod-exp
27×add-sqr-sqrt add-cube-cbrt
26×distribute-lft-out
25×unpow-prod-down add-log-exp
17×cbrt-unprod
16×pow1
15×sum-log
14×div-exp
11×exp-sum
10×associate-/l*
7×pow-prod-down
6×cbrt-undiv
5×unpow-prod-up distribute-lft-out-- sqr-pow
4×expm1-log1p-u associate-/r* fma-def associate-*l* insert-posit16 log1p-expm1-u
3×pow-to-exp pow-exp pow-sub associate-/l/
2×sqrt-pow1 sqrt-prod sub0-neg
1×+-commutative associate-+l+ associate-+r+ clear-num associate-+r- frac-2neg pow1/2 exp-diff associate-*r* unsub-neg associate-/r/ *-commutative associate-+l- div-inv
Counts
4 → 634
Calls
4 calls:
Slowest
1.2m
(* (sqrt (* 2 PI)) (* (* (/ (pow (+ (- 7 z) 0.5) (+ 0.5 (- 0 z))) (exp (+ (- 7 z) 0.5))) (+ (+ (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))) (+ (/ -176.6150291621406 (- 4 z)) (/ 12.507343278686905 (- 5 z))))) (/ PI (sin (* PI z)))))
543.0ms
(+ (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))
197.0ms
(/ (pow (+ (- 7 z) 0.5) (+ 0.5 (- 0 z))) (exp (+ (- 7 z) 0.5)))
4.0ms
(sqrt (* 2 PI))

series1.5s

Counts
4 → 10
Calls
4 calls:
Slowest
1.1s
(* (sqrt (* 2 PI)) (* (* (/ (pow (+ (- 7 z) 0.5) (+ 0.5 (- 0 z))) (exp (+ (- 7 z) 0.5))) (+ (+ (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))) (+ (/ -176.6150291621406 (- 4 z)) (/ 12.507343278686905 (- 5 z))))) (/ PI (sin (* PI z)))))
243.0ms
(/ (pow (+ (- 7 z) 0.5) (+ 0.5 (- 0 z))) (exp (+ (- 7 z) 0.5)))
148.0ms
(+ (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))
0.0ms
(sqrt (* 2 PI))

simplify33.9s

Counts
644 → 644

prune43.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize331.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(* (+ (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099))) (* (- 1 z) (- (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))
1.0b
(* (fma (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)) (* 0.9999999999998099 (- 0.9999999999998099 (/ -0.13857109526572012 (- 6 z))))) (* (- (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) (- 1 z)))
1.0b
(* (fma (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)) (* 0.9999999999998099 (- 0.9999999999998099 (/ -0.13857109526572012 (- 6 z))))) (* (- (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) (- 1 z)))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
2575×add-sqr-sqrt *-un-lft-identity
2520×times-frac
1860×distribute-rgt-in distribute-lft-in
1836×prod-diff
1567×add-cube-cbrt
504×distribute-lft-out-- difference-of-squares
336×associate-/r/
281×flip3-- flip--
178×frac-times
168×div-inv
88×associate-*r/
72×frac-add
56×associate-*l/
33×frac-sub
22×pow1
19×add-cbrt-cube add-exp-log
12×sub-neg flip3-+ flip-+
10×pow-prod-down
9×associate-*l* prod-exp cbrt-unprod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* *-commutative
2×sqrt-pow1
1×pow1/2 sqrt-prod
Counts
4 → 2066
Calls
4 calls:
Slowest
647.0ms
(* (fma (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)) (* 0.9999999999998099 (- 0.9999999999998099 (/ -0.13857109526572012 (- 6 z))))) (* (- (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) (- 1 z)))
287.0ms
(* (+ (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099))) (* (- 1 z) (- (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))
221.0ms
(* (fma (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)) (* 0.9999999999998099 (- 0.9999999999998099 (/ -0.13857109526572012 (- 6 z))))) (* (- (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) (- 1 z)))
6.0ms
(sqrt (* 2 PI))

series652.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
233.0ms
(* (fma (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)) (* 0.9999999999998099 (- 0.9999999999998099 (/ -0.13857109526572012 (- 6 z))))) (* (- (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) (- 1 z)))
220.0ms
(* (fma (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)) (* 0.9999999999998099 (- 0.9999999999998099 (/ -0.13857109526572012 (- 6 z))))) (* (- (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z))) (- 1 z)))
198.0ms
(* (+ (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099))) (* (- 1 z) (- (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))
0.0ms
(sqrt (* 2 PI))

simplify31.0s

Counts
2076 → 2076

prune2.0m

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize182.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))
1.0b
(sqrt (* 2 PI))
1.0b
(* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z)))
1.0b
(* (+ (* (+ (* 1.5056327351493116e-07 (- 7 z)) (* (- 8 z) 9.984369578019572e-06)) (- (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))) (* (* (- 8 z) (- 7 z)) (- (* (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099)) (* (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))))) (- (/ -176.6150291621406 (- 4 z)) (/ 12.507343278686905 (- 5 z))))

rewrite3.5m

Algorithm
rewrite-expression-head
Rules
3741980×frac-times
3260640×frac-add
2076492×flip3-+ flip-+
1849223×frac-sub
1444607×flip3-- flip--
1382860×associate-*l/
1313465×associate-*r/
2498×*-un-lft-identity
1780×times-frac
1362×add-sqr-sqrt
882×prod-diff
806×add-cube-cbrt
495×distribute-lft-out--
444×distribute-rgt-in distribute-lft-in
312×distribute-lft-out
268×difference-of-squares
176×associate-/r/
102×swap-sqr
88×div-inv
46×associate-*r*
37×associate-*l*
23×pow1
20×add-cbrt-cube add-exp-log
6×prod-exp cbrt-unprod unswap-sqr
4×expm1-log1p-u cbrt-undiv div-exp pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×*-commutative
2×pow2 sub-neg sqrt-pow1 pow-plus pow-sqr pow-prod-up
1×pow1/2 sqrt-prod
Counts
4 → 917758
Calls
4 calls:
Slowest
12.9s
(* (+ (* (+ (* 1.5056327351493116e-07 (- 7 z)) (* (- 8 z) 9.984369578019572e-06)) (- (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))) (* (* (- 8 z) (- 7 z)) (- (* (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099)) (* (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))))) (- (/ -176.6150291621406 (- 4 z)) (/ 12.507343278686905 (- 5 z))))
627.0ms
(* (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))
28.0ms
(* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z)))
3.0ms
(sqrt (* 2 PI))

series818.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
656.0ms
(* (+ (* (+ (* 1.5056327351493116e-07 (- 7 z)) (* (- 8 z) 9.984369578019572e-06)) (- (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))) (* (* (- 8 z) (- 7 z)) (- (* (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099) (+ (/ -0.13857109526572012 (- 6 z)) 0.9999999999998099)) (* (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))))) (- (/ -176.6150291621406 (- 4 z)) (/ 12.507343278686905 (- 5 z))))
109.0ms
(* (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))) (+ (/ 676.5203681218851 (- 1 z)) (+ (/ -1259.1392167224028 (- 2 z)) (/ 771.3234287776531 (- 3 z)))))
30.0ms
(* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z)))
0.0ms
(sqrt (* 2 PI))

simplify1.3m