Herbie run

Date:Thursday, May 22nd, 2025
Commit:92260071 on taylor-rewrite-in-separate-paths
Seed:2025142
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:253 623.6 MB

Time bar (total: 3.1min)

sample1.2min (38%)

Memory
1 507.5MiB live, 95 987.8MiB allocated; 31.3s collecting garbage
Samples
33.9s433 826×0valid
8.6s26 331×1valid
4.0s9 488×2valid
1.9s4 315×0invalid
710.0ms8 269×0exit
317.0ms950×3valid
Precisions
Click to see histograms. Total time spent on operations: 33.6s
ival-mult!: 9.0s (26.7% of total)
ival-exp: 3.3s (9.9% of total)
ival-add!: 2.4s (7.1% of total)
ival-cos: 2.3s (6.7% of total)
ival-hypot: 2.1s (6.2% of total)
ival-div!: 2.0s (5.8% of total)
adjust: 1.7s (5% of total)
ival-asin: 1.6s (4.9% of total)
ival-log: 1.4s (4.2% of total)
ival-sin: 1.4s (4.1% of total)
ival-sqrt: 1.3s (3.8% of total)
ival-sinu: 1.2s (3.5% of total)
ival-sub!: 1.1s (3.3% of total)
ival-atan2: 928.0ms (2.8% of total)
ival-neg: 418.0ms (1.2% of total)
ival-asinh: 353.0ms (1% of total)
ival-acosh: 352.0ms (1% of total)
ival-pow: 346.0ms (1% of total)
ival-fabs: 217.0ms (0.6% of total)
ival-atanh: 191.0ms (0.6% of total)
ival-cosu: 156.0ms (0.5% of total)
const: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite28.7s (15.6%)

Memory
1 011.2MiB live, 34 579.7MiB allocated; 9.2s collecting garbage
Stop Event
601×iter-limit
157×node-limit
44×unsound
3×saturated
Counts
5 297 → 108 886

series23.9s (12.9%)

Memory
496.2MiB live, 31 881.3MiB allocated; 13.0s collecting garbage
Stop Event
204×iter-limit
Counts
5 297 → 21 101
Calls

1248 calls:

TimeVariablePointExpression
909.0ms
z
@0
((* (/ (PI) (sin (* (PI) z))) (* (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (+ (+ (+ (+ (+ (+ (+ (+ (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8))))) (/ (PI) (sin (* (PI) z))) (PI) (sin (* (PI) z)) (* (PI) z) z (* (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (+ (+ (+ (+ (+ (+ (+ (+ (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8)))) (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (sqrt (* (PI) 2)) (* (PI) 2) 2 (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2)) (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 7) (- (- 1 z) 1) (- 1 z) 1 7 1/2 (+ (- (- 1 z) 1) 1/2) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2))) (neg (+ (+ (- (- 1 z) 1) 7) 1/2)) (+ (+ (+ (+ (+ (+ (+ (+ (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8))) (+ (+ (+ (+ (+ (+ (+ (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (+ (+ (+ (+ (+ (+ (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (+ (+ (+ (+ (+ (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (+ (+ (+ (+ (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (+ (+ (+ (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (+ (+ (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (+ (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))))) (/ 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) 999999999999429700000000108414029999993130164299/1000000000000000000000000000000000000000000000000 (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))))) 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))) (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0)) (- 0 (- 1 z)) 0 (- (- 1 z) 0) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0))) 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 6765203681218851/10000000000000 (/ (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) (+ 99999999999961980000000003613801/100000000000000000000000000000000 (- (/ -45767980848377092942628957760201/100000000000000000000000000 (* (- 0 (- 1 z)) (- (- 1 z) 0))) (* 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (- (- 1 z) 0)))))) (pow (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) 3) 3 (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2)) -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3)) 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4)) -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4) 4 (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5)) 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5) 5 (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6)) -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6) 6 (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7)) 2496092394504893/250000000000000000000 (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8)) 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8) 8 (* (/ (PI) (sin (* (PI) z))) (* (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (+ (+ (+ (+ (+ (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8))))) (* 1106209385320415913103082059/4200000000000000000000000 (/ (* (exp -15/2) (* (sqrt (* 2 (PI))) (pow 15/2 1/2))) z)) 1106209385320415913103082059/4200000000000000000000000 (/ (* (exp -15/2) (* (sqrt (* 2 (PI))) (pow 15/2 1/2))) z) (* (exp -15/2) (* (sqrt (* 2 (PI))) (pow 15/2 1/2))) (exp -15/2) -15/2 (* (sqrt (* 2 (PI))) (pow 15/2 1/2)) (sqrt (* 2 (PI))) (* 2 (PI)) (pow 15/2 1/2) 15/2 (* (/ (PI) (sin (* (PI) z))) (* (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (+ (+ (+ (+ (+ (+ (+ (+ 9999999999998099/10000000000000000 (/ 6765203681218851/10000000000000 (+ (- (- 1 z) 1) 1))) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8))))) (/ (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (exp -15/2) (* (sqrt (* 2 (PI))) (pow 15/2 1/2)))) (* z (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (exp -15/2) (* (sqrt (* 2 (PI))) (pow 15/2 1/2)))) (* (exp -15/2) (* (sqrt (* 2 (PI))) (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (- (* -1 (log 15/2)) 1/15) (pow 15/2 1/2))) (* 102757979785251069442117317613/235200000000000000000000000 (pow 15/2 1/2)))))))) z) (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (exp -15/2) (* (sqrt (* 2 (PI))) (pow 15/2 1/2)))) (* z (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (exp -15/2) (* (sqrt (* 2 (PI))) (pow 15/2 1/2)))) (* (exp -15/2) (* (sqrt (* 2 (PI))) (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (- (* -1 (log 15/2)) 1/15) (pow 15/2 1/2))) (* 102757979785251069442117317613/235200000000000000000000000 (pow 15/2 1/2)))))))) (* z (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (exp -15/2) (* (sqrt (* 2 (PI))) (pow 15/2 1/2)))) (* (exp -15/2) (* (sqrt (* 2 (PI))) (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (- (* -1 (log 15/2)) 1/15) (pow 15/2 1/2))) (* 102757979785251069442117317613/235200000000000000000000000 (pow 15/2 1/2))))))) (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (exp -15/2) (* (sqrt (* 2 (PI))) (pow 15/2 1/2)))) (* (exp -15/2) (* (sqrt (* 2 (PI))) (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (- (* -1 (log 15/2)) 1/15) (pow 15/2 1/2))) (* 102757979785251069442117317613/235200000000000000000000000 (pow 15/2 1/2)))))) (* (exp -15/2) (* (sqrt (* 2 (PI))) (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (- (* -1 (log 15/2)) 1/15) (pow 15/2 1/2))) (* 102757979785251069442117317613/235200000000000000000000000 (pow 15/2 1/2))))) (* (sqrt (* 2 (PI))) (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (- (* -1 (log 15/2)) 1/15) (pow 15/2 1/2))) (* 102757979785251069442117317613/235200000000000000000000000 (pow 15/2 1/2)))) (+ (* 1106209385320415913103082059/4200000000000000000000000 (* (- (* -1 (log 15/2)) 1/15) (pow 15/2 1/2))) (* 102757979785251069442117317613/235200000000000000000000000 (pow 15/2 1/2))) (* (- (* -1 (log 15/2)) 1/15) (pow 15/2 1/2)) (- (* -1 (log 15/2)) 1/15) (* -1 (log 15/2)) -1 (log 15/2) 1/15 (* 102757979785251069442117317613/235200000000000000000000000 (pow 15/2 1/2)) 102757979785251069442117317613/235200000000000000000000000 (* (/ (PI) (sin (* (PI) z))) (* (* (pow (- (- (- 1 z) -6) -1/2) (- (- 1 z) 1/2)) (sqrt (* 2 (PI)))) (* (exp (- -1/2 (- (- 1 z) -6))) (- (- (- (- (- (- (- (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) (/ 3147848041806007/2500000000000 (- (- 1 z) -1))) (/ -7713234287776531/10000000000000 (- (- 1 z) -2))) (/ 883075145810703/5000000000000 (- (- 1 z) -3))) (/ -2501468655737381/200000000000000 (- (- 1 z) -4))) (/ 3464277381643003/25000000000000000 (- (- 1 z) -5))) (/ -2496092394504893/250000000000000000000 (- (- 1 z) -6))) (/ -3764081837873279/25000000000000000000000 (- (- 1 z) -7)))))) (* (* (pow (- (- (- 1 z) -6) -1/2) (- (- 1 z) 1/2)) (sqrt (* 2 (PI)))) (* (exp (- -1/2 (- (- 1 z) -6))) (- (- (- (- (- (- (- (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) (/ 3147848041806007/2500000000000 (- (- 1 z) -1))) (/ -7713234287776531/10000000000000 (- (- 1 z) -2))) (/ 883075145810703/5000000000000 (- (- 1 z) -3))) (/ -2501468655737381/200000000000000 (- (- 1 z) -4))) (/ 3464277381643003/25000000000000000 (- (- 1 z) -5))) (/ -2496092394504893/250000000000000000000 (- (- 1 z) -6))) (/ -3764081837873279/25000000000000000000000 (- (- 1 z) -7))))) (* (pow (- (- (- 1 z) -6) -1/2) (- (- 1 z) 1/2)) (sqrt (* 2 (PI)))) (pow (- (- (- 1 z) -6) -1/2) (- (- 1 z) 1/2)) (- (- (- 1 z) -6) -1/2) (- (- 1 z) -6) -6 -1/2 (- (- 1 z) 1/2) (* (exp (- -1/2 (- (- 1 z) -6))) (- (- (- (- (- (- (- (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) (/ 3147848041806007/2500000000000 (- (- 1 z) -1))) (/ -7713234287776531/10000000000000 (- (- 1 z) -2))) (/ 883075145810703/5000000000000 (- (- 1 z) -3))) (/ -2501468655737381/200000000000000 (- (- 1 z) -4))) (/ 3464277381643003/25000000000000000 (- (- 1 z) -5))) (/ -2496092394504893/250000000000000000000 (- (- 1 z) -6))) (/ -3764081837873279/25000000000000000000000 (- (- 1 z) -7)))) (exp (- -1/2 (- (- 1 z) -6))) (- -1/2 (- (- 1 z) -6)) (- (- (- (- (- (- (- (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) (/ 3147848041806007/2500000000000 (- (- 1 z) -1))) (/ -7713234287776531/10000000000000 (- (- 1 z) -2))) (/ 883075145810703/5000000000000 (- (- 1 z) -3))) (/ -2501468655737381/200000000000000 (- (- 1 z) -4))) (/ 3464277381643003/25000000000000000 (- (- 1 z) -5))) (/ -2496092394504893/250000000000000000000 (- (- 1 z) -6))) (/ -3764081837873279/25000000000000000000000 (- (- 1 z) -7))) (- (- (- (- (- (- (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) (/ 3147848041806007/2500000000000 (- (- 1 z) -1))) (/ -7713234287776531/10000000000000 (- (- 1 z) -2))) (/ 883075145810703/5000000000000 (- (- 1 z) -3))) (/ -2501468655737381/200000000000000 (- (- 1 z) -4))) (/ 3464277381643003/25000000000000000 (- (- 1 z) -5))) (/ -2496092394504893/250000000000000000000 (- (- 1 z) -6))) (- (- (- (- (- (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) (/ 3147848041806007/2500000000000 (- (- 1 z) -1))) (/ -7713234287776531/10000000000000 (- (- 1 z) -2))) (/ 883075145810703/5000000000000 (- (- 1 z) -3))) (/ -2501468655737381/200000000000000 (- (- 1 z) -4))) (/ 3464277381643003/25000000000000000 (- (- 1 z) -5))) (- (- (- (- (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) (/ 3147848041806007/2500000000000 (- (- 1 z) -1))) (/ -7713234287776531/10000000000000 (- (- 1 z) -2))) (/ 883075145810703/5000000000000 (- (- 1 z) -3))) (/ -2501468655737381/200000000000000 (- (- 1 z) -4))) (- (- (- (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) (/ 3147848041806007/2500000000000 (- (- 1 z) -1))) (/ -7713234287776531/10000000000000 (- (- 1 z) -2))) (/ 883075145810703/5000000000000 (- (- 1 z) -3))) (- (- (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) (/ 3147848041806007/2500000000000 (- (- 1 z) -1))) (/ -7713234287776531/10000000000000 (- (- 1 z) -2))) (- (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) (/ 3147848041806007/2500000000000 (- (- 1 z) -1))) (- (/ 6765203681218851/10000000000000 (- (- 1 z) 0)) -9999999999998099/10000000000000000) -9999999999998099/10000000000000000 (/ 3147848041806007/2500000000000 (- (- 1 z) -1)) 3147848041806007/2500000000000 (- (- 1 z) -1) (/ -7713234287776531/10000000000000 (- (- 1 z) -2)) -7713234287776531/10000000000000 (- (- 1 z) -2) -2 (/ 883075145810703/5000000000000 (- (- 1 z) -3)) 883075145810703/5000000000000 (- (- 1 z) -3) -3 (/ -2501468655737381/200000000000000 (- (- 1 z) -4)) -2501468655737381/200000000000000 (- (- 1 z) -4) -4 (/ 3464277381643003/25000000000000000 (- (- 1 z) -5)) 3464277381643003/25000000000000000 (- (- 1 z) -5) -5 (/ -2496092394504893/250000000000000000000 (- (- 1 z) -6)) -2496092394504893/250000000000000000000 (/ -3764081837873279/25000000000000000000000 (- (- 1 z) -7)) -3764081837873279/25000000000000000000000 (- (- 1 z) -7) -7 (* (/ (PI) (sin (* (PI) z))) (* (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (+ (+ (+ (+ (+ (+ (+ (+ (* 6765203681218851/10000000000000 (/ -1 (- 0 (- 1 z)))) 9999999999998099/10000000000000000) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8))))) (* (* (* (sqrt (* (PI) 2)) (pow (+ (+ (- (- 1 z) 1) 7) 1/2) (+ (- (- 1 z) 1) 1/2))) (exp (neg (+ (+ (- (- 1 z) 1) 7) 1/2)))) (+ (+ (+ (+ (+ (+ (+ (+ (* 6765203681218851/10000000000000 (/ -1 (- 0 (- 1 z)))) 9999999999998099/10000000000000000) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8)))) (+ (+ (+ (+ (+ (+ (+ (+ (* 6765203681218851/10000000000000 (/ -1 (- 0 (- 1 z)))) 9999999999998099/10000000000000000) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (/ 3764081837873279/25000000000000000000000 (+ (- (- 1 z) 1) 8))) (+ (+ (+ (+ (+ (+ (+ (* 6765203681218851/10000000000000 (/ -1 (- 0 (- 1 z)))) 9999999999998099/10000000000000000) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (/ 2496092394504893/250000000000000000000 (+ (- (- 1 z) 1) 7))) (+ (+ (+ (+ (+ (+ (* 6765203681218851/10000000000000 (/ -1 (- 0 (- 1 z)))) 9999999999998099/10000000000000000) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (/ -3464277381643003/25000000000000000 (+ (- (- 1 z) 1) 6))) (+ (+ (+ (+ (+ (* 6765203681218851/10000000000000 (/ -1 (- 0 (- 1 z)))) 9999999999998099/10000000000000000) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (/ 2501468655737381/200000000000000 (+ (- (- 1 z) 1) 5))) (+ (+ (+ (+ (* 6765203681218851/10000000000000 (/ -1 (- 0 (- 1 z)))) 9999999999998099/10000000000000000) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (/ -883075145810703/5000000000000 (+ (- (- 1 z) 1) 4))) (+ (+ (+ (* 6765203681218851/10000000000000 (/ -1 (- 0 (- 1 z)))) 9999999999998099/10000000000000000) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (/ 7713234287776531/10000000000000 (+ (- (- 1 z) 1) 3))) (+ (+ (* 6765203681218851/10000000000000 (/ -1 (- 0 (- 1 z)))) 9999999999998099/10000000000000000) (/ -3147848041806007/2500000000000 (+ (- (- 1 z) 1) 2))) (+ (* 6765203681218851/10000000000000 (/ -1 (- 0 (- 1 z)))) 9999999999998099/10000000000000000) (/ -1 (- 0 (- 1 z))))
736.0ms
re
@inf
((* (* (cos re) 1/2) (- (exp (- 0 im)) (exp im))) (* (cos re) 1/2) (cos re) re 1/2 (- (exp (- 0 im)) (exp im)) (* (+ (* -1/3 (* im im)) -2) im) (+ (* -1/3 (* im im)) -2) -1/3 (* im im) im -2 (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) (* 1/2 (- (exp (neg im)) (exp im))) (* -1 im) -1 (* (* 1/2 (cos re)) (- (exp (- 0 im)) (exp im))) (* 1/2 (- (exp (neg im)) (exp im))) (* im (- (* -1/6 (pow im 2)) 1)) (- (* -1/6 (pow im 2)) 1) (* -1/6 (pow im 2)) -1/6 (pow im 2) 2 1 (* (- (exp (neg im)) (exp im)) (* 1/2 (cos re))) (- (exp (neg im)) (exp im)) (exp (neg im)) (neg im) (exp im) (* 1/2 (cos re)) (+ (* (* re re) -1/4) 1/2) (* re re) -1/4 (* (* 1/2 (cos re)) (* (neg (- (exp (- im (neg im))) 1)) (exp (neg im)))) (* 1/2 (cos re)) (* (neg (- (exp (- im (neg im))) 1)) (exp (neg im))) (neg (- (exp (- im (neg im))) 1)) (- (exp (- im (neg im))) 1) (- im (neg im)))
713.0ms
u2
@inf
((+ (* (* (pow (* (log u1) -2) 1/4) (* (pow (* (log u1) -2) 1/4) 1/6)) (cos (* (* 2 (PI)) u2))) 1/2) (* (* (pow (* (log u1) -2) 1/4) (* (pow (* (log u1) -2) 1/4) 1/6)) (cos (* (* 2 (PI)) u2))) (* (pow (* (log u1) -2) 1/4) (* (pow (* (log u1) -2) 1/4) 1/6)) (pow (* (log u1) -2) 1/4) (* (log u1) -2) (log u1) u1 -2 1/4 (* (pow (* (log u1) -2) 1/4) 1/6) 1/6 (cos (* (* 2 (PI)) u2)) (* (* 2 (PI)) u2) (* 2 (PI)) 2 (PI) u2 1/2 (* (- 1 (/ -1/2 (* (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2))) 1/6))) (* (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2))) 1/6)) (* 1/6 (* (sqrt (* -2 (log u1))) (+ 1 (* 3 (/ 1 (sqrt (* -2 (log u1)))))))) (* (sqrt (* -2 (log u1))) (+ 1 (* 3 (/ 1 (sqrt (* -2 (log u1))))))) (sqrt (* -2 (log u1))) (* -2 (log u1)) (+ 1 (* 3 (/ 1 (sqrt (* -2 (log u1)))))) 1 (* 3 (/ 1 (sqrt (* -2 (log u1))))) 3 (/ 1 (sqrt (* -2 (log u1)))) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (/ (- 1/4 (pow (* 1/6 (sqrt (* (log u1) -2))) 2)) (- 1/2 (* (sqrt (* -2 (log u1))) 1/6))) (- 1/4 (pow (* 1/6 (sqrt (* (log u1) -2))) 2)) (pow (* 1/6 (sqrt (* (log u1) -2))) 2) (* 1/6 (sqrt (* (log u1) -2))) (sqrt (* (log u1) -2)) (- 1/2 (* (sqrt (* -2 (log u1))) 1/6)) (* (sqrt (* -2 (log u1))) 1/6) (+ (* (* (cos (* u2 (+ (PI) (PI)))) 1/6) (sqrt (* (log u1) -2))) 1/2) (* (cos (* u2 (+ (PI) (PI)))) 1/6) (+ 1/6 (* -1/3 (* (pow u2 2) (pow (PI) 2)))) (* -1/3 (* (pow u2 2) (pow (PI) 2))) -1/3 (* (pow u2 2) (pow (PI) 2)) (pow u2 2) (pow (PI) 2) (* (* (+ (/ 3 (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2)))) 1) 1/6) (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2)))) (* (+ (/ 3 (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2)))) 1) 1/6) (+ (/ 3 (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2)))) 1) (/ 3 (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2)))) (/ 3 (sqrt (* -2 (log u1)))) (* (cos (* u2 (+ (PI) (PI)))) (sqrt (* (log u1) -2))) (cos (* u2 (+ (PI) (PI)))) (* u2 (+ (PI) (PI))) (+ (PI) (PI)))
641.0ms
x.im
@0
((* (sin (+ (* y.im (log (fabs (sqrt (+ (* x.re x.re) (* x.im x.im)))))) (* (atan2 x.im x.re) y.re))) (exp (- (* y.re (log (fabs (sqrt (+ (* x.re x.re) (* x.im x.im)))))) (* y.im (atan2 x.im x.re))))) (sin (+ (* y.im (log (fabs (sqrt (+ (* x.re x.re) (* x.im x.im)))))) (* (atan2 x.im x.re) y.re))) (+ (* y.im (log (fabs (sqrt (+ (* x.re x.re) (* x.im x.im)))))) (* (atan2 x.im x.re) y.re)) y.im (log (fabs (sqrt (+ (* x.re x.re) (* x.im x.im))))) (fabs (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (neg x.re) x.re (* (atan2 x.im x.re) y.re) (atan2 x.im x.re) x.im y.re (exp (- (* y.re (log (fabs (sqrt (+ (* x.re x.re) (* x.im x.im)))))) (* y.im (atan2 x.im x.re)))) (- (* y.re (log (fabs (sqrt (+ (* x.re x.re) (* x.im x.im)))))) (* y.im (atan2 x.im x.re))) (* y.re (log (fabs (sqrt (+ (* x.re x.re) (* x.im x.im)))))) (* y.im (atan2 x.im x.re)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (* (+ (* (atan2 x.im x.re) (/ y.re (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im))) 1) (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (exp (neg (* y.im (atan2 x.im x.re)))) (neg (* y.im (atan2 x.im x.re))) (sin (* (+ (* (atan2 x.im x.re) (/ y.re (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im))) 1) (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im))) (* (+ (* (atan2 x.im x.re) (/ y.re (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im))) 1) (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im)) (+ (* (atan2 x.im x.re) (/ y.re (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im))) 1) 1 (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) y.im) (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (sqrt (+ (* x.im x.im) (* x.re x.re))) (+ (* x.im x.im) (* x.re x.re)) (* x.re x.re) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (+ (* -1 (* y.im (log (/ 1 x.im)))) (* y.re (atan2 x.im x.re))) -1 (* y.im (log (/ 1 x.im))) (log (/ 1 x.im)) (/ 1 x.im) (* y.re (atan2 x.im x.re)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (* -1 x.im) (* (atan2 x.im x.re) y.im) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (* y.re (atan2 x.im x.re))) (* y.re (+ (* -1/6 (* (pow y.re 2) (pow (atan2 x.im x.re) 3))) (atan2 x.im x.re))) (+ (* -1/6 (* (pow y.re 2) (pow (atan2 x.im x.re) 3))) (atan2 x.im x.re)) -1/6 (* (pow y.re 2) (pow (atan2 x.im x.re) 3)) (pow y.re 2) 2 (pow (atan2 x.im x.re) 3) 3 (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (log (pow (pow (/ -1 x.re) (neg y.im)) (+ (* (atan2 x.im x.re) (/ y.re (* (neg y.im) (neg (log (neg x.re)))))) 1))) (pow (pow (/ -1 x.re) (neg y.im)) (+ (* (atan2 x.im x.re) (/ y.re (* (neg y.im) (neg (log (neg x.re)))))) 1)) (pow (/ -1 x.re) (neg y.im)) (/ -1 x.re) (neg y.im) (+ (* (atan2 x.im x.re) (/ y.re (* (neg y.im) (neg (log (neg x.re)))))) 1) (/ y.re (* (neg y.im) (neg (log (neg x.re))))) (* (neg y.im) (neg (log (neg x.re)))) (neg (log (neg x.re))) (log (neg x.re)))
467.0ms
x
@inf
((/ (* (fabs x) (fabs (+ (* (* 1/21 (* (* (* (* x x) x) x) x)) x) (+ (* (* (* 1/5 (* x x)) x) x) (+ (* 2/3 (* x x)) 2))))) (sqrt (PI))) (* (fabs x) (fabs (+ (* (* 1/21 (* (* (* (* x x) x) x) x)) x) (+ (* (* (* 1/5 (* x x)) x) x) (+ (* 2/3 (* x x)) 2))))) (fabs x) x (fabs (+ (* (* 1/21 (* (* (* (* x x) x) x) x)) x) (+ (* (* (* 1/5 (* x x)) x) x) (+ (* 2/3 (* x x)) 2)))) (+ (* (* 1/21 (* (* (* (* x x) x) x) x)) x) (+ (* (* (* 1/5 (* x x)) x) x) (+ (* 2/3 (* x x)) 2))) (* 1/21 (* (* (* (* x x) x) x) x)) 1/21 (* (* (* (* x x) x) x) x) (* (* (* x x) x) x) (* (* x x) x) (* x x) (+ (* (* (* 1/5 (* x x)) x) x) (+ (* 2/3 (* x x)) 2)) (* (* 1/5 (* x x)) x) (* 1/5 (* x x)) 1/5 (+ (* 2/3 (* x x)) 2) 2/3 2 (sqrt (PI)) (PI) (fabs (* (/ 1 (sqrt (PI))) (+ (* (* (* (* (* (* (* x x) x) x) (fabs x)) x) x) 1/21) (+ (* (* 1/5 (fabs x)) (* (* (* x x) x) x)) (* (fabs x) (+ (* (* x x) 2/3) 2)))))) (* (/ 1 (sqrt (PI))) (+ (* (* (* (* (* (* (* x x) x) x) (fabs x)) x) x) 1/21) (+ (* (* 1/5 (fabs x)) (* (* (* x x) x) x)) (* (fabs x) (+ (* (* x x) 2/3) 2))))) (* 2 (/ (fabs x) (sqrt (PI)))) (/ (fabs x) (sqrt (PI))) (fabs (/ 1 (/ (sqrt (PI)) (+ (* (fabs x) (+ (* (* 1/5 (* x x)) (* x x)) (* (* (* (* x x) x) (* (* x x) x)) 1/21))) (* (fabs x) (+ (* (* x x) 2/3) 2)))))) (/ 1 (/ (sqrt (PI)) (+ (* (fabs x) (+ (* (* 1/5 (* x x)) (* x x)) (* (* (* (* x x) x) (* (* x x) x)) 1/21))) (* (fabs x) (+ (* (* x x) 2/3) 2))))) 1 (/ (sqrt (PI)) (+ (* (fabs x) (+ (* (* 1/5 (* x x)) (* x x)) (* (* (* (* x x) x) (* (* x x) x)) 1/21))) (* (fabs x) (+ (* (* x x) 2/3) 2)))) (* 1/2 (/ (sqrt (PI)) (fabs x))) 1/2 (/ (sqrt (PI)) (fabs x)) (fabs (* (/ 1 (sqrt (PI))) (+ (* (* (* (* (* (* (* x x) x) x) (fabs x)) x) x) 1/21) (+ (* (* 1/5 (fabs x)) (* (* (* x x) x) x)) (* (fabs x) (+ (* (* x x) 2/3) 2)))))) (* (/ 1 (sqrt (PI))) (+ (* (* (* (* (* (* (* x x) x) x) (fabs x)) x) x) 1/21) (+ (* (* 1/5 (fabs x)) (* (* (* x x) x) x)) (* (fabs x) (+ (* (* x x) 2/3) 2))))) (/ 1 (sqrt (PI))) (+ (* (* (* (* (* (* (* x x) x) x) (fabs x)) x) x) 1/21) (+ (* (* 1/5 (fabs x)) (* (* (* x x) x) x)) (* (fabs x) (+ (* (* x x) 2/3) 2)))) (+ (* 2/3 (* (pow x 2) (fabs x))) (* 2 (fabs x))) (* (pow x 2) (fabs x)) (pow x 2) (* 2 (fabs x)) (/ (fabs (+ (* (fabs x) (+ (* (* 1/5 (* x x)) (* x x)) (* (* (* (* x x) x) (* (* x x) x)) 1/21))) (* (fabs x) (+ (* (* x x) 2/3) 2)))) (sqrt (PI))) (fabs (+ (* (fabs x) (+ (* (* 1/5 (* x x)) (* x x)) (* (* (* (* x x) x) (* (* x x) x)) 1/21))) (* (fabs x) (+ (* (* x x) 2/3) 2)))) (+ (* (fabs x) (+ (* (* 1/5 (* x x)) (* x x)) (* (* (* (* x x) x) (* (* x x) x)) 1/21))) (* (fabs x) (+ (* (* x x) 2/3) 2))) (+ (* (* 1/5 (* x x)) (* x x)) (* (* (* (* x x) x) (* (* x x) x)) 1/21)) (* 1/5 (pow x 4)) (pow x 4) 4 (* (fabs x) (+ (* (* x x) 2/3) 2)) (+ (* (* x x) 2/3) 2))

eval22.3s (12.1%)

Memory
340.5MiB live, 36 096.6MiB allocated; 9.7s collecting garbage
Compiler

Compiled 2 467 723 to 611 233 computations (75.2% saved)

preprocess10.8s (5.9%)

Memory
-1 098.0MiB live, 12 996.7MiB allocated; 4.2s collecting garbage
Stop Event
48×node-limit
9×saturated
Compiler

Compiled 36 617 to 26 640 computations (27.2% saved)

regimes10.6s (5.8%)

Memory
59.1MiB live, 16 482.2MiB allocated; 4.1s collecting garbage
Counts
7 213 → 676
Calls

132 calls:

921.0ms
im
619.0ms
beta
593.0ms
re
488.0ms
x.re
468.0ms
alpha
Compiler

Compiled 11 336 to 9 160 computations (19.2% saved)

prune6.3s (3.4%)

Memory
-193.8MiB live, 11 885.1MiB allocated; 2.2s collecting garbage
Counts
124 381 → 2 819
Compiler

Compiled 159 718 to 114 720 computations (28.2% saved)

derivations6.2s (3.4%)

Memory
78.9MiB live, 6 424.9MiB allocated; 1.3s collecting garbage
Stop Event
37×fuel
20×done
Compiler

Compiled 6 826 to 3 805 computations (44.3% saved)

analyze3.2s (1.7%)

Memory
100.4MiB live, 3 500.7MiB allocated; 2.4s collecting garbage
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.4%47.8%38.5%13.7%0%0%0%1
65.9%55.7%28.9%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1 498 to 816 computations (45.5% saved)

bsearch2.3s (1.2%)

Memory
174.8MiB live, 3 780.0MiB allocated; 825ms collecting garbage
Algorithm
155×left-value
155×binary-search
Stop Event
137×narrow-enough
18×predicate-same
Samples
801.0ms9 897×0valid
288.0ms1 074×1valid
86.0ms231×2valid
11.0ms46×3valid
Compiler

Compiled 65 821 to 54 091 computations (17.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 817.0ms
ival-mult!: 296.0ms (36.2% of total)
adjust: 82.0ms (10% of total)
ival-hypot: 66.0ms (8.1% of total)
ival-div!: 65.0ms (8% of total)
ival-add!: 56.0ms (6.9% of total)
ival-log: 42.0ms (5.1% of total)
ival-sin: 39.0ms (4.8% of total)
ival-exp: 35.0ms (4.3% of total)
ival-cos: 35.0ms (4.3% of total)
ival-asin: 29.0ms (3.5% of total)
ival-sub!: 28.0ms (3.4% of total)
ival-atan2: 25.0ms (3.1% of total)
ival-sqrt: 16.0ms (2% of total)
ival-fabs: 2.0ms (0.2% of total)
ival-pi: 0.0ms (0% of total)
ival-neg: 0.0ms (0% of total)

start9.0ms (0%)

Memory
-36.9MiB live, 7.3MiB allocated; 7ms collecting garbage

end0.0ms (0%)

Memory
1.3MiB live, 1.2MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...