Herbie run

Date:Friday, May 2nd, 2025
Commit:4dfb3dd9 on main
Seed:2025122
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:208 136.9 MB

Time bar (total: 3.1min)

sample1.2min (39.8%)

Memory
638.5MiB live, 80 961.5MiB allocated; 28.8s collecting garbage
Samples
38.4s433 786×0valid
8.6s26 396×1valid
4.5s9 525×2valid
1.1s4 532×0invalid
601.0ms8 147×0exit
363.0ms891×3valid
Precisions
Click to see histograms. Total time spent on operations: 37.1s
ival-mult!: 13.8s (37.2% of total)
ival-exp: 3.2s (8.7% of total)
ival-add!: 2.9s (7.9% of total)
ival-hypot: 2.4s (6.4% of total)
ival-asin: 2.2s (6% of total)
ival-div!: 2.2s (5.8% of total)
adjust: 1.8s (4.9% of total)
ival-log: 1.7s (4.7% of total)
ival-sub!: 1.2s (3.1% of total)
ival-sin: 1.1s (3% of total)
ival-cos: 1.1s (2.9% of total)
ival-atan2: 945.0ms (2.5% of total)
ival-sqrt: 674.0ms (1.8% of total)
ival-pow: 340.0ms (0.9% of total)
ival-sinu: 304.0ms (0.8% of total)
ival-fabs: 300.0ms (0.8% of total)
ival-asinh: 270.0ms (0.7% of total)
ival-acosh: 215.0ms (0.6% of total)
ival-neg: 187.0ms (0.5% of total)
ival-atanh: 176.0ms (0.5% of total)
ival-cosu: 86.0ms (0.2% of total)
const: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite39.1s (21.3%)

Memory
1 434.8MiB live, 44 659.8MiB allocated; 12.0s collecting garbage
Stop Event
445×iter-limit
175×node-limit
13×unsound
4×saturated
Counts
27 749 → 59 052

eval14.4s (7.8%)

Memory
-724.5MiB live, 14 661.7MiB allocated; 9.3s collecting garbage
Compiler

Compiled 1 210 912 to 285 245 computations (76.4% saved)

derivations12.7s (6.9%)

Memory
-104.8MiB live, 11 191.8MiB allocated; 2.4s collecting garbage
Stop Event
35×fuel
22×done
Compiler

Compiled 7 875 to 3 747 computations (52.4% saved)

series12.2s (6.6%)

Memory
958.6MiB live, 17 544.9MiB allocated; 3.0s collecting garbage
Counts
4 897 → 22 852
Calls

1176 calls:

TimeVariablePointExpression
550.0ms
x
@0
((/ (- (/ 1 (+ (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3))) (/ (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 9) (+ (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3)))) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 1)) 1)) (- (/ 1 (+ (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3))) (/ (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 9) (+ (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3)))) (/ 1 (+ (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3))) 1 (+ (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1) (fabs x) x 3275911/10000000 1453152027/1000000000 -1421413741/1000000000 -8890523/31250000 31853699/125000000 (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1)) (exp (* x x)) (* x x) 6 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3) 3 (/ (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 9) (+ (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3))) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 9) 9 (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 1)) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 1) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x))))) (* (exp (neg (* x x))) (/ (- 31853699/125000000 (/ 8890523/31250000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (/ (- 31853699/125000000 (/ 8890523/31250000 (- 1 (* -3275911/10000000 (fabs x))))) (- 1 (* -3275911/10000000 (fabs x)))) (- 31853699/125000000 (/ 8890523/31250000 (- 1 (* -3275911/10000000 (fabs x))))) (/ 8890523/31250000 (- 1 (* -3275911/10000000 (fabs x)))) 8890523/31250000 (- 1 (* -3275911/10000000 (fabs x))) (* -3275911/10000000 (fabs x)) -3275911/10000000 (- 1 (* (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ -31853699/125000000 (+ (* -3275911/10000000 (fabs x)) -1))) (/ 1 (exp (* x x))))) (* (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ -31853699/125000000 (+ (* -3275911/10000000 (fabs x)) -1))) (/ 1 (exp (* x x)))) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ -31853699/125000000 (+ (* -3275911/10000000 (fabs x)) -1))) (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* -3275911/10000000 (fabs x)) -1) -1 (/ -31853699/125000000 (+ (* -3275911/10000000 (fabs x)) -1)) -31853699/125000000 (/ 1 (exp (* x x))) (/ (- 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 3)) (+ (* (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1)))) 1)) (- 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 3)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 3) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (exp (* x x)) (+ (* (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) (* (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* 3275911/10000000 (fabs x)) 1) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1)) (/ (/ (- 1 (pow (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 2) 3)) (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 3))) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 1)) 1)) (/ (- 1 (pow (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 2) 3)) (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 3))) (- 1 (pow (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 2) 3)) (pow (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 2) 3) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 2) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1)) 2 (+ 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 3)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 3))
184.0ms
im
@-inf
((/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (* (/ (atan2 im re) 1) (/ 1 (log base))) (/ (atan2 im re) 1) (atan2 im re) im re 1 (/ 1 (log base)) (log base) base (* (atan2 im re) (/ (log base) (* (log base) (log base)))) (/ (log base) (* (log base) (log base))) (* (log base) (log base)) (/ (* (atan2 im re) (log base)) (log (pow base (log base)))) (* (atan2 im re) (log base)) (log (pow base (log base))) (pow base (log base)) (* (* (log base) (atan2 im re)) (/ (pow (log base) 4) (pow (log base) 6))) (* (log base) (atan2 im re)) (/ (pow (log base) 4) (pow (log base) 6)) (pow (log base) 4) 4 (pow (log base) 6) 6 (/ (/ (* (pow (atan2 im re) 2) (* (log base) (log base))) (+ (* (log base) (atan2 im re)) 0)) (* (log base) (log base))) (/ (* (pow (atan2 im re) 2) (* (log base) (log base))) (+ (* (log base) (atan2 im re)) 0)) (* (pow (atan2 im re) 2) (* (log base) (log base))) (pow (atan2 im re) 2) 2 (+ (* (log base) (atan2 im re)) 0) 0)
150.0ms
y.re
@0
((* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (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))) (+ (* x.re x.re) (* x.im x.im)) (* x.re x.re) x.re (* x.im x.im) x.im y.re (* (atan2 x.im x.re) y.im) (atan2 x.im x.re) y.im (cos (+ (* (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 (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))
140.0ms
base
@0
((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log base) (log base))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) re im (log base) base (* (atan2 im re) 0) 0 (* (log base) (log base)) (/ (+ (* (* (log base) (log (sqrt (+ (* im im) (* re re))))) (* (log base) (log base))) (* (* (log base) (log base)) 0)) (pow (log base) 4)) (neg (/ (neg (log (neg re))) (log base))) (/ (neg (log (neg re))) (log base)) (neg (log (neg re))) (log (neg re)) (neg re) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log re) (log base)) (log re) (+ (* (log base) (log base)) (* 0 0)) (* 0 0) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (exp (* (log (log base)) 2))) (exp (* (log (log base)) 2)) (* (log (log base)) 2) (log (log base)) 2 (* (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (pow (log base) 6)) (pow (log base) 4)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (pow (log base) 6)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (neg (log base)) (neg (log (neg im)))) (neg (log base)) (neg (log (neg im))) (log (neg im)) (neg im) (pow (log base) 6) 6 (pow (log base) 4) 4)
128.0ms
x
@0
((/ (- 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 3)) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 1)) 1)) (- 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 3)) 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 3) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1) (fabs x) x 3275911/10000000 1453152027/1000000000 -1421413741/1000000000 -8890523/31250000 31853699/125000000 (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (exp (* x x)) (* x x) 3 (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 1)) 1) (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 1) (- 1 (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))))) (- 1 (* (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ -31853699/125000000 (+ (* -3275911/10000000 (fabs x)) -1))) (exp (neg (* (fabs x) (fabs x)))))) (* (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ -31853699/125000000 (+ (* -3275911/10000000 (fabs x)) -1))) (exp (neg (* (fabs x) (fabs x))))) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (/ -31853699/125000000 (+ (* -3275911/10000000 (fabs x)) -1))) (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 -1 (/ -31853699/125000000 (+ (* -3275911/10000000 (fabs x)) -1)) -31853699/125000000 (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1 (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))) (+ -8890523/31250000 (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000)))) (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x))) (* 10731592879921/100000000000000 (* x x)) 10731592879921/100000000000000 (- 1 (* (fabs x) 3275911/10000000)) (* (fabs x) 3275911/10000000) (/ (- 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2)) (+ (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 1)) (- 1 (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2)) (pow (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) 2)

preprocess11.8s (6.4%)

Memory
-163.4MiB live, 11 758.4MiB allocated; 3.7s collecting garbage
Stop Event
49×node-limit
8×saturated
Compiler

Compiled 47 372 to 31 564 computations (33.4% saved)

regimes9.0s (4.9%)

Memory
207.1MiB live, 13 077.0MiB allocated; 2.3s collecting garbage
Counts
6 200 → 732
Calls

132 calls:

529.0ms
x
435.0ms
im
422.0ms
re
388.0ms
beta
303.0ms
x.re
Compiler

Compiled 11 847 to 9 313 computations (21.4% saved)

prune5.0s (2.7%)

Memory
-136.2MiB live, 7 316.6MiB allocated; 2.3s collecting garbage
Counts
56 148 → 2 634
Compiler

Compiled 166 451 to 115 094 computations (30.9% saved)

analyze3.3s (1.8%)

Memory
70.2MiB live, 3 020.6MiB allocated; 2.7s 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)

bsearch3.2s (1.8%)

Memory
77.1MiB live, 3 938.0MiB allocated; 1.0s collecting garbage
Algorithm
191×binary-search
163×left-value
Stop Event
182×narrow-enough
9×predicate-same
Samples
1.5s11 759×0valid
507.0ms1 224×1valid
100.0ms232×2valid
12.0ms49×3valid
Compiler

Compiled 83 188 to 69 280 computations (16.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult!: 507.0ms (32.5% of total)
ival-hypot: 292.0ms (18.7% of total)
ival-log: 160.0ms (10.3% of total)
ival-exp: 87.0ms (5.6% of total)
ival-atan2: 87.0ms (5.6% of total)
ival-add!: 79.0ms (5.1% of total)
ival-sin: 66.0ms (4.2% of total)
ival-asin: 61.0ms (3.9% of total)
adjust: 54.0ms (3.5% of total)
ival-sub!: 47.0ms (3% of total)
ival-sqrt: 43.0ms (2.8% of total)
ival-div!: 38.0ms (2.4% of total)
ival-cos: 33.0ms (2.1% of total)
ival-fabs: 3.0ms (0.2% of total)
ival-copysign: 1.0ms (0.1% of total)
ival-neg: 1.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

start3.0ms (0%)

Memory
5.6MiB live, 5.5MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...