Details

Time bar (total: 10.0m)

sample430.0ms

Algorithm
intervals
Results
144.0ms138×body10240exit
93.0ms106×body1280valid
54.0ms87×body640valid
40.0ms48×body1280nan
18.0ms37×body640nan
15.0ms33×body320valid
9.0ms25×body320nan
6.0ms23×body160valid
3.0ms13×body160nan
1.0ms9×body80valid
1.0ms8×body80nan

simplify884.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (232.0ms)

IterNodesCost
05594
113394
244492
3249389
done500089

prune34.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.7b

localize47.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
1.0b
(+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))
1.0b
(sqrt (* PI 2.0))
1.4b
(* (* (sqrt (* PI 2.0)) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (- z 1.0) 2.0))))) (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))))

rewrite17.6s

Algorithm
rewrite-expression-head
Rules
1314×*-un-lft-identity
1227×frac-add
680×distribute-lft-out
447×flip3-+ flip-+
386×times-frac
313×associate-*r/
156×frac-times
119×distribute-lft-out--
38×associate-*r*
30×unpow-prod-down
28×add-sqr-sqrt add-cube-cbrt
19×add-exp-log
16×add-log-exp
15×add-cbrt-cube
13×fma-def
12×pow1 exp-sum
11×associate-/l*
9×prod-exp
8×sum-log
6×div-exp
5×unpow-prod-up cbrt-unprod sqr-pow
4×expm1-log1p-u pow-prod-down associate-/r* log1p-expm1-u
3×associate-+l-
2×cbrt-undiv pow-to-exp sqrt-pow1 pow-exp
1×+-commutative distribute-rgt-in associate-+l+ associate-+r+ frac-2neg distribute-lft-in pow1/2 exp-diff associate-*l* associate-*l/ clear-num sqrt-prod associate-/r/ *-commutative div-inv associate-/l/ pow-sub
Counts
4 → 589
Calls
4 calls:
435.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
964.0ms
(+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))
2.0ms
(sqrt (* PI 2.0))
16.1s
(* (* (sqrt (* PI 2.0)) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (- z 1.0) 2.0))))) (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))))

series1.0s

Counts
4 → 10
Calls
4 calls:
182.0ms
(/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
151.0ms
(+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))
0.0ms
(sqrt (* PI 2.0))
675.0ms
(* (* (sqrt (* PI 2.0)) (/ (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (+ (/ 676.5203681218851 z) (+ 0.9999999999998099 (/ -1259.1392167224028 (+ (- z 1.0) 2.0))))) (+ (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))))

simplify716.0ms

Counts
599 → 599
Iterations

Useful iterations: done (558.0ms)

IterNodesCost
01654126424
done5002116524

prune8.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize125.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
1.0b
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
1.0b
(* (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
1.0b
(sqrt (* PI 2.0))

rewrite219.0ms

Algorithm
rewrite-expression-head
Rules
413×*-un-lft-identity
230×times-frac
143×add-sqr-sqrt
119×add-cube-cbrt
108×distribute-lft-out
78×swap-sqr
54×distribute-lft-out--
42×associate-*r* associate-*l*
31×add-exp-log add-cbrt-cube
22×pow1
21×unpow-prod-down cube-prod
20×associate-/r/
10×flip3-+ flip-+ div-inv
9×cbrt-undiv div-exp
8×prod-exp cbrt-unprod unswap-sqr
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-unpow pow-prod-down
2×pow2 frac-times sqrt-pow1 pow-plus associate-*r/ associate-*l/ pow-exp pow-sqr *-commutative pow-prod-up rem-cube-cbrt
1×cube-div cube-mult pow-to-exp pow-pow pow1/2 unpow3 sqrt-prod sqr-pow
Counts
4 → 299
Calls
4 calls:
23.0ms
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
87.0ms
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
86.0ms
(* (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
2.0ms
(sqrt (* PI 2.0))

series125.0ms

Counts
4 → 10
Calls
4 calls:
46.0ms
(pow (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) 3)
43.0ms
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
36.0ms
(* (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
0.0ms
(sqrt (* PI 2.0))

simplify730.0ms

Counts
309 → 309
Iterations

Useful iterations: done (710.0ms)

IterNodesCost
04856910
115716143
done50006075

prune4.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize103.0ms

Local error

Found 4 expressions with local error:

1.0b
(- (* (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (* (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
1.0b
(* (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
1.0b
(* (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
1.0b
(sqrt (* PI 2.0))

rewrite878.0ms

Algorithm
rewrite-expression-head
Rules
1282×*-un-lft-identity
474×distribute-lft-out
460×times-frac
144×distribute-lft-out--
126×swap-sqr
70×add-sqr-sqrt
56×add-cube-cbrt
34×associate-*r* associate-*l*
21×pow1
18×add-exp-log add-cbrt-cube
16×frac-times
12×flip3-+ flip-+
10×associate-*r/ associate-*l/
9×frac-sub
8×frac-add associate-/r/
6×add-log-exp
5×prod-exp cbrt-unprod unswap-sqr
4×cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u div-inv
3×pow-prod-down
2×pow2 sqrt-pow1 pow-plus pow-sqr *-commutative pow-prod-up
1×distribute-rgt-in sub-neg flip3-- distribute-lft-in pow1/2 fma-neg diff-log prod-diff sqrt-prod flip-- difference-of-squares
Counts
4 → 298
Calls
4 calls:
24.0ms
(- (* (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (* (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
723.0ms
(* (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
87.0ms
(* (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
2.0ms
(sqrt (* PI 2.0))

series220.0ms

Counts
4 → 10
Calls
4 calls:
90.0ms
(- (* (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (* (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
93.0ms
(* (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))))
35.0ms
(* (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)))
0.0ms
(sqrt (* PI 2.0))

simplify525.0ms

Counts
308 → 308
Iterations

Useful iterations: done (500.0ms)

IterNodesCost
039010189
112579070
done50008477

prune2.6s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize93.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (- (* (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))) (- (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))
1.0b
(* (+ (* (* (+ (- z 1.0) 7.0) (+ (- z 1.0) 8.0)) (+ (* (+ (* (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (- (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) 676.5203681218851) (* z (+ (pow 0.9999999999998099 3) (pow (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 3))))) (* (* (+ (* 9.984369578019572e-06 (+ (- z 1.0) 8.0)) (* (+ (- z 1.0) 7.0) 1.5056327351493116e-07)) z) (+ (* (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (- (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)))) (* (- (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (- (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0)))))
1.0b
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
1.0b
(sqrt (* PI 2.0))

rewrite11.6s

Algorithm
rewrite-expression-head
Rules
66099×frac-times
59279×associate-*l/
49936×flip3-+ flip-+
43264×frac-add
35580×associate-*r/
9992×frac-sub
9960×flip3-- flip--
6291×*-un-lft-identity
3902×times-frac
2646×prod-diff
2349×add-sqr-sqrt
2323×add-cube-cbrt
2215×distribute-rgt-in distribute-lft-in
1572×distribute-lft-out
796×distribute-lft-out--
512×associate-/r/
256×div-inv
39×swap-sqr associate-*r*
28×associate-*l*
23×add-exp-log add-cbrt-cube
21×pow1
8×prod-exp cbrt-unprod
6×sub-neg pow-prod-down
5×difference-of-squares unswap-sqr
4×cbrt-undiv expm1-log1p-u div-exp log1p-expm1-u add-log-exp
3×*-commutative
2×sqrt-pow1
1×pow2 pow-plus pow1/2 sqrt-prod pow-sqr pow-prod-up
Counts
4 → 22771
Calls
4 calls:
557.0ms
(* (- (* (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))) (- (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))
2.4s
(* (+ (* (* (+ (- z 1.0) 7.0) (+ (- z 1.0) 8.0)) (+ (* (+ (* (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (- (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) 676.5203681218851) (* z (+ (pow 0.9999999999998099 3) (pow (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 3))))) (* (* (+ (* 9.984369578019572e-06 (+ (- z 1.0) 8.0)) (* (+ (- z 1.0) 7.0) 1.5056327351493116e-07)) z) (+ (* (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (- (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)))) (* (- (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (- (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0)))))
85.0ms
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
2.0ms
(sqrt (* PI 2.0))

series602.0ms

Counts
4 → 10
Calls
4 calls:
171.0ms
(* (- (* (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))) (- (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))))
395.0ms
(* (+ (* (* (+ (- z 1.0) 7.0) (+ (- z 1.0) 8.0)) (+ (* (+ (* (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (- (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)) 676.5203681218851) (* z (+ (pow 0.9999999999998099 3) (pow (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 3))))) (* (* (+ (* 9.984369578019572e-06 (+ (- z 1.0) 8.0)) (* (+ (- z 1.0) 7.0) 1.5056327351493116e-07)) z) (+ (* (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) (- (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099)) (* 0.9999999999998099 0.9999999999998099)))) (* (- (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (- (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0)))))
36.0ms
(* (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (/ -176.6150291621406 (+ (- z 1.0) 4.0)))
0.0ms
(sqrt (* PI 2.0))

simplify46.1s

Counts
22781 → 22781
Iterations

Useful iterations: 0 (17.0s)

IterNodesCost
04651411250358
done4651411250358

prune8.4m