Details

Time bar (total: 2.5min)

analyze1.7s

Algorithm
search
Search
TrueOtherFalseIter
0%74.9%25.1%0
0%74.9%25.1%1
0%74.9%25.1%2
18.7%56.2%25.1%3
37.5%37.5%25.1%4
42.1%32.8%25.1%5
46.8%28.1%25.1%6
48%26.9%25.1%7
49.2%25.8%25.1%8
49.5%25.5%25.1%9
49.8%25.2%25.1%10
49.8%25.2%25.1%11
49.8%25.1%25.1%12
49.9%25%25.1%13
49.9%25%25.1%14

sample1.5s

Algorithm
intervals
Results
1.4s112×body5120exit
83.0ms256×body80valid
8.0ms372×pre80true
1.0ms4×body80invalid

simplify43.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
0514588

prune20.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 1.2b

Counts
2 → 2

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
578×*-un-lft-identity
427×distribute-lft-out
107×times-frac
38×add-sqr-sqrt add-cube-cbrt
23×associate-/l*
21×exp-sum
8×add-cbrt-cube
7×pow1 add-exp-log associate-/r*
6×distribute-rgt-neg-in add-log-exp
2×cbrt-undiv frac-2neg sqrt-pow1 flip3-+ div-exp clear-num flip-+ div-inv associate-/l/
1×+-commutative neg-sub0 associate-+l- pow1/2 exp-diff pow-prod-down frac-add sum-log sqrt-prod associate-/r/
Counts
4 → 179
Calls
4 calls:
4.0ms
(/ PI (sin (* PI z)))
1.1s
(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5))))
29.0ms
(+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0)))
3.0ms
(sqrt (* PI 2.0))

series38.0ms

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

simplify109.0ms

Algorithm
egg-herbie
Counts
189 → 189
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
049709760
149709760

prune696.0ms

Filtered
81 candidates to 189 candidates (-133.3%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New17712189
Fresh101
Picked101
Done000
Total17912191

Merged error: 0.0b

Counts
191 → 12

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite392.0ms

Algorithm
rewrite-expression-head
Rules
837×*-un-lft-identity
640×distribute-lft-out
207×frac-add
143×times-frac
70×flip3-+ flip-+
64×add-exp-log
62×associate-/l/
52×exp-sum
41×prod-exp
37×add-sqr-sqrt add-cube-cbrt
35×add-cbrt-cube
26×sub-neg associate--l+
25×associate-/l*
17×cbrt-unprod
14×div-exp
12×pow1
10×associate-*r/
6×cbrt-undiv distribute-rgt-neg-in add-log-exp
5×frac-times associate-*l/ associate-/r*
4×neg-sub0 pow-to-exp associate-+l- associate-*l* pow-prod-down pow-exp pow-sub
2×sqrt-pow1 sqrt-prod
1×+-commutative frac-2neg pow1/2 exp-diff associate-*r* clear-num sum-log associate-/r/ *-commutative div-inv
Counts
4 → 307
Calls
4 calls:
162.0ms
(* (sqrt (* PI 2.0)) (* (* (/ (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (neg z)))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))) 0.9999999999998099))))) (exp (- (+ 7.0 0.5) z))) (pow (- (+ 7.0 0.5) z) (+ (neg z) 0.5))) (/ PI (sin (* PI z)))))
156.0ms
(/ (+ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ 2.0 (neg z)))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))) 0.9999999999998099))))) (exp (- (+ 7.0 0.5) z)))
34.0ms
(+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0)))
2.0ms
(sqrt (* PI 2.0))

series83.0ms

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

simplify144.0ms

Algorithm
egg-herbie
Counts
317 → 317
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
0514422465

prune4.2s

Filtered
149 candidates to 317 candidates (-112.8%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New3125317
Fresh7411
Picked101
Done000
Total3209329

Merged error: 0.0b

Counts
329 → 9

localize59.0ms

Local error

Found 4 expressions with local error:

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

rewrite336.0ms

Algorithm
rewrite-expression-head
Rules
72×frac-add
67×*-un-lft-identity
66×add-log-exp
49×sum-log distribute-lft-out
31×add-exp-log
21×prod-exp
18×add-cbrt-cube
13×flip3-+ flip-+
12×pow1
9×cbrt-unprod
7×associate-*r/
5×add-sqr-sqrt add-cube-cbrt
4×associate-*l* pow-prod-down
3×div-exp
2×+-commutative neg-sub0 pow-to-exp associate-+l- associate-+r+ sqrt-pow1 pow-exp sqrt-prod pow-sub
1×cbrt-undiv frac-times pow1/2 associate-*r* associate-*l/ *-commutative
Counts
4 → 111
Calls
4 calls:
132.0ms
(* (sqrt (* PI 2.0)) (* PI (* (/ (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (+ (/ -176.6150291621406 (+ (neg z) 4.0)) (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (+ (/ 1.5056327351493116e-07 (+ (neg z) 8.0)) 0.9999999999998099)))))))) (exp (+ 7.0 (- 0.5 z)))) (pow (+ 7.0 (- 0.5 z)) (+ (neg z) 0.5)))))
7.0ms
(sqrt (* PI 2.0))
104.0ms
(+ (/ -176.6150291621406 (+ (neg z) 4.0)) (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (+ (/ 1.5056327351493116e-07 (+ (neg z) 8.0)) 0.9999999999998099)))))))
87.0ms
(+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (+ (/ 1.5056327351493116e-07 (+ (neg z) 8.0)) 0.9999999999998099))))))

series78.0ms

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

simplify82.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
0518210832

prune855.0ms

Filtered
84 candidates to 121 candidates (-44.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1192121
Fresh178
Picked011
Done000
Total12010130

Merged error: 0.0b

Counts
130 → 10

localize84.0ms

Local error

Found 4 expressions with local error:

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

rewrite2.4min

Algorithm
rewrite-expression-head

Profiling

Loading profile data...