Herbie run

Date:Thursday, July 25th, 2024
Commit:2a1d9f8a on ir-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024207
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 1.8hr)

simplify22.9min (20.8%)

Memory
-603.4MiB live, 1 569 844.2MiB allocated
Algorithm
4 414×egg-herbie
Rules
30 686 218×lower-fma.f32
30 679 852×lower-fma.f64
12 543 908×lower-*.f32
12 526 918×lower-*.f64
7 035 764×lower-+.f32
Stop Event
5 730×iter limit
2 630×node limit
1 868×saturated
3×unsound
Counts
560 784 → 550 569

sample18.3min (16.6%)

Memory
5 363.3MiB live, 1 267 159.4MiB allocated
Samples
7.0min3 903 436×0valid
2.4min418 232×1valid
1.2min136 467×2valid
1.2min30 928×5exit
51.4s318 415×0invalid
15.3s15 875×3valid
7.6s49 954×0exit
7.1s25 645×1invalid
5.9s24 338×1exit
1.1s540×4exit
650.0ms747×4valid
561.0ms130×3exit
485.0ms1 407×2invalid
387.0ms1 206×2exit
Precisions
Click to see histograms. Total time spent on operations: 10.2min
ival-mult: 1.9min (19.2% of total)
ival-div: 57.8s (9.5% of total)
ival-sin: 49.8s (8.2% of total)
ival-add: 46.5s (7.6% of total)
ival-pow: 45.0s (7.4% of total)
ival-sub: 44.4s (7.3% of total)
ival-cos: 32.9s (5.4% of total)
const: 31.0s (5.1% of total)
adjust: 25.6s (4.2% of total)
ival-log: 22.7s (3.7% of total)
ival-tan: 22.0s (3.6% of total)
ival-exp: 19.4s (3.2% of total)
ival-sqrt: 17.8s (2.9% of total)
ival-<=: 14.5s (2.4% of total)
ival-pow2: 11.7s (1.9% of total)
ival-fabs: 5.6s (0.9% of total)
ival-neg: 5.1s (0.8% of total)
ival-acos: 5.0s (0.8% of total)
ival-hypot: 4.4s (0.7% of total)
exact: 3.8s (0.6% of total)
ival-<: 2.9s (0.5% of total)
ival-true: 2.9s (0.5% of total)
ival-and: 2.7s (0.4% of total)
ival-pi: 2.4s (0.4% of total)
ival-assert: 2.1s (0.3% of total)
ival-expm1: 1.8s (0.3% of total)
ival-asin: 1.6s (0.3% of total)
ival-atan2: 1.5s (0.2% of total)
ival-log1p: 1.3s (0.2% of total)
ival-sinh: 1.2s (0.2% of total)
ival-atan: 1.1s (0.2% of total)
ival->: 933.0ms (0.2% of total)
ival-fmod: 920.0ms (0.2% of total)
ival-floor: 745.0ms (0.1% of total)
ival-fmax: 545.0ms (0.1% of total)
ival-cbrt: 541.0ms (0.1% of total)
ival-fmin: 497.0ms (0.1% of total)
ival-==: 359.0ms (0.1% of total)
ival-if: 322.0ms (0.1% of total)
ival-cosh: 310.0ms (0.1% of total)
ival-log2: 303.0ms (0% of total)
ival->=: 297.0ms (0% of total)
ival-asinh: 280.0ms (0% of total)
ival-atanh: 257.0ms (0% of total)
ival-acosh: 227.0ms (0% of total)
ival-tanh: 85.0ms (0% of total)
ival-or: 38.0ms (0% of total)
Bogosity

rewrite17.1min (15.5%)

Memory
3 539.6MiB live, 1 007 139.4MiB allocated
Algorithm
1 938×batch-egg-rewrite
Rules
10 070 668×lower-fma.f32
10 064 354×lower-fma.f64
7 948 764×lower-*.f32
7 932 210×lower-*.f64
6 371 210×lower-/.f32
Stop Event
3 980×iter limit
1 845×node limit
110×saturated
36×unsound
Counts
23 674 → 1 263 525

soundness14.3min (13%)

Memory
-458.8MiB live, 406 662.1MiB allocated
Rules
19 627 842×lower-fma.f32
19 624 636×lower-fma.f64
10 759 258×lower-*.f32
10 749 386×lower-*.f64
5 488 772×lower-/.f32
Stop Event
3 500×iter limit
2 265×node limit
354×fuel
185×done
36×saturated
18×unsound
Compiler

Compiled 344 405 to 166 963 computations (51.5% saved)

eval10.1min (9.2%)

Memory
11 025.9MiB live, 625 008.1MiB allocated
Compiler

Compiled 108 030 907 to 4 987 368 computations (95.4% saved)

prune7.2min (6.5%)

Memory
-11 005.9MiB live, 612 208.9MiB allocated
Counts
2 213 135 → 41 476
Compiler

Compiled 2 195 782 to 1 023 291 computations (53.4% saved)

localize5.0min (4.5%)

Memory
-1 630.7MiB live, 394 811.2MiB allocated
Samples
1.8min409 186×0valid
35.8s42 504×1valid
28.1s19 872×2valid
7.7s1 840×5exit
7.3s16 552×0invalid
7.1s3 248×3valid
1.1s384×4valid
1.1s510×1invalid
586.0ms86×4exit
473.0ms1 545×0exit
134.0ms9×3exit
119.0ms211×1exit
95.0ms166×2exit
24.0ms14×2invalid
4.0ms1×3invalid
Compiler

Compiled 463 623 to 51 143 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2min
ival-mult: 39.7s (29.6% of total)
ival-div: 19.0s (14.1% of total)
ival-add: 15.5s (11.5% of total)
ival-cos: 8.7s (6.5% of total)
adjust: 8.0s (6% of total)
ival-sin: 7.9s (5.9% of total)
const: 7.5s (5.6% of total)
ival-sub: 5.2s (3.9% of total)
ival-sqrt: 3.9s (2.9% of total)
ival-pow: 2.6s (1.9% of total)
ival-log: 2.6s (1.9% of total)
ival-neg: 2.0s (1.5% of total)
ival-tan: 2.0s (1.5% of total)
ival-pow2: 1.8s (1.4% of total)
ival-exp: 1.6s (1.2% of total)
exact: 660.0ms (0.5% of total)
ival-asin: 578.0ms (0.4% of total)
ival-log1p: 539.0ms (0.4% of total)
ival-acos: 527.0ms (0.4% of total)
ival-hypot: 505.0ms (0.4% of total)
ival-atan2: 498.0ms (0.4% of total)
ival-true: 413.0ms (0.3% of total)
ival-atan: 353.0ms (0.3% of total)
ival-cbrt: 320.0ms (0.2% of total)
ival-fabs: 305.0ms (0.2% of total)
ival-fmod: 273.0ms (0.2% of total)
ival-pi: 236.0ms (0.2% of total)
ival-if: 225.0ms (0.2% of total)
ival-assert: 214.0ms (0.2% of total)
ival-fmax: 121.0ms (0.1% of total)
ival-cosh: 98.0ms (0.1% of total)
ival-expm1: 86.0ms (0.1% of total)
ival-log2: 85.0ms (0.1% of total)
ival-floor: 83.0ms (0.1% of total)
ival-copysign: 78.0ms (0.1% of total)
ival-sinh: 74.0ms (0.1% of total)
ival-tanh: 38.0ms (0% of total)
ival-e: 26.0ms (0% of total)
ival->=: 20.0ms (0% of total)
ival->: 16.0ms (0% of total)
ival-<: 7.0ms (0% of total)

regimes4.6min (4.2%)

Memory
177.1MiB live, 374 426.6MiB allocated
Counts
133 706 → 9 673
Calls

1 214 calls:

29.9s
x
13.5s
y
10.8s
z
7.8s
t
7.7s
a
Compiler

Compiled 199 908 to 131 972 computations (34% saved)

preprocess3.0min (2.7%)

Memory
283.0MiB live, 199 534.4MiB allocated
Algorithm
542×egg-herbie
Rules
2 120 258×lower-fma.f32
2 120 256×lower-fma.f64
556 378×lower-*.f32
554 402×lower-*.f64
388 484×unsub-neg
Stop Event
1 080×iter limit
743×saturated
345×node limit
Compiler

Compiled 405 966 to 124 854 computations (69.2% saved)

explain2.0min (1.8%)

Memory
-2 046.4MiB live, 166 789.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation899865
sqrt.f64#foflow-rescue52940
log.f64#fsensitivity34923
cos.f64#fsensitivity32377
+.f64#fcancellation2983133
sin.f64#fsensitivity19355
/.f64#fo/n19180
/.f64#fo/o17310
-.f64#fnan-rescue11940
log.f32#fsensitivity109482
*.f64#fn*o10900
/.f64#fu/u10620
sqrt.f64#fuflow-rescue9760
/.f64#fn/o9470
+.f64#fnan-rescue7670
/.f64#fu/n6510
sqrt.f32#foflow-rescue5610
acos.f64#fsensitivity5271
*.f64#fn*u4760
tan.f64#fsensitivity4041
pow.f64#fsensitivity40347
-.f32#fcancellation38734
/.f64#fn/u3170
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2170
exp.f64#fsensitivity21241
cos.f64#foflow-rescue2010
*.f64#fu*o1990
cos.f32#fsensitivity17511
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation16924
/.f32#fo/n1620
pow.f64#foflow-rescue1610
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1311
*.f64#fo*u1200
log.f64#foflow-rescue1060
cbrt.f64#foflow-rescue890
log.f64#fuflow-rescue860
pow.f64#fuflow-rescue630
exp.f32#fsensitivity4617
sin.f64#foflow-rescue370
tan.f64#foflow-rescue360
cbrt.f64#fuflow-rescue300
/.f32#fu/n280
/.f32#fo/o240
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue140
↳(*.f32 sinTheta_O sinTheta_O)underflow300
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow14
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow150
↳(*.f32 eta eta)underflow14
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o30
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow9
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow9
*.f32#fn*u20
+.f32(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))cancellation10
Confusion
Predicted +Predicted -
+303141189
-5848101401
Precision
0.8382832807919915
Recall
0.9622575627717995
Confusion?
Predicted +Predicted MaybePredicted -
+30314251938
-5848438100963
Precision?
0.8294211826002008
Recall?
0.9702250579309907
Freqs
test
numberfreq
0102590
130333
24770
3607
4288
599
633
723
85
94
Total Confusion?
Predicted +Predicted MaybePredicted -
+34011
-100190
Precision?
0.9715099715099715
Recall?
0.9970760233918129
Samples
28.0s234 784×0valid
10.5s30 120×1valid
7.1s11 044×2valid
1.3s1 304×3valid
91.0ms88×5exit
59.0ms60×4valid
13.0ms104×1exit
Compiler

Compiled 106 318 to 25 502 computations (76% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.8s
ival-mult: 7.1s (23% of total)
ival-div: 3.1s (10.1% of total)
ival-sin: 2.7s (8.9% of total)
ival-add: 2.6s (8.4% of total)
ival-sub: 2.4s (7.7% of total)
ival-cos: 1.9s (6.1% of total)
ival-log: 1.8s (5.9% of total)
adjust: 1.7s (5.4% of total)
ival-tan: 1.5s (4.8% of total)
ival-exp: 1.1s (3.4% of total)
ival-pow2: 915.0ms (3% of total)
ival-sqrt: 826.0ms (2.7% of total)
const: 621.0ms (2% of total)
ival-pow: 539.0ms (1.8% of total)
ival-hypot: 318.0ms (1% of total)
ival-neg: 297.0ms (1% of total)
ival-true: 242.0ms (0.8% of total)
exact: 191.0ms (0.6% of total)
ival-fabs: 168.0ms (0.5% of total)
ival-assert: 118.0ms (0.4% of total)
ival-atan2: 111.0ms (0.4% of total)
ival-pi: 108.0ms (0.4% of total)
ival-asin: 95.0ms (0.3% of total)
ival-log1p: 76.0ms (0.2% of total)
ival-acos: 75.0ms (0.2% of total)
ival-floor: 65.0ms (0.2% of total)
ival-atan: 63.0ms (0.2% of total)
ival-sinh: 47.0ms (0.2% of total)
ival-cbrt: 39.0ms (0.1% of total)
ival-expm1: 30.0ms (0.1% of total)
ival-fmod: 27.0ms (0.1% of total)
ival-if: 23.0ms (0.1% of total)
ival-fmax: 16.0ms (0.1% of total)
ival-log2: 14.0ms (0% of total)
ival-copysign: 13.0ms (0% of total)
ival-cosh: 13.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival-tanh: 6.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

series1.7min (1.6%)

Memory
838.1MiB live, 124 275.8MiB allocated
Counts
23 700 → 561 240
Calls

104577 calls:

TimeVariablePointExpression
4.6s
x
@-inf
(neg (/ (pow (* 2 (asin (sqrt (+ (* x -1/2) 1/2)))) 2) (+ (* 2 (asin (sqrt (+ (* x -1/2) 1/2)))) (* (PI) 1/2))))
3.6s
x
@0
(/ (- (pow (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))))) 1) -2) (pow (/ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) 3) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))))) 1)) 2)) (+ (/ 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))))) 1)) (/ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) 3) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))))) 1))))
786.0ms
x
@0
(- (pow (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))))) 1) -2) (pow (/ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) 3) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))))) 1)) 2))
663.0ms
x
@0
(/ (- (* 1 (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))))) 1)) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))))) 1) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) 3))) (* (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))))) 1) (+ (* (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))) (+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (exp (* x x)))))) 1)))
350.0ms
lambda2
@0
(+ (pow (sin (/ (- phi1 phi2) 2)) 2) (* (* (* (cos phi1) (cos phi2)) (sin (/ (- lambda1 lambda2) 2))) (sin (/ (- lambda1 lambda2) 2))))

bsearch1.5min (1.3%)

Memory
569.0MiB live, 114 516.4MiB allocated
Algorithm
2 684×binary-search
2 249×left-value
Stop Event
2 611×narrow-enough
68×predicate-same
5×predicate-failed
Samples
41.4s295 708×0valid
12.5s27 925×1valid
3.2s4 710×2valid
2.6s19 907×0invalid
432.0ms403×3valid
95.0ms311×1exit
48.0ms220×1invalid
28.0ms348×0exit
8.0ms22×4valid
4.0ms13×2invalid
Compiler

Compiled 684 522 to 485 505 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 43.6s
ival-mult: 12.7s (29.1% of total)
ival-sub: 5.3s (12.1% of total)
ival-cos: 4.0s (9.2% of total)
ival-div: 3.9s (9% of total)
ival-sin: 3.9s (9% of total)
ival-add: 3.3s (7.5% of total)
ival-pow: 1.7s (3.9% of total)
ival-pow2: 1.7s (3.9% of total)
ival-log: 1.3s (2.9% of total)
adjust: 1.3s (2.9% of total)
const: 896.0ms (2.1% of total)
ival-sqrt: 593.0ms (1.4% of total)
ival-exp: 487.0ms (1.1% of total)
ival-hypot: 406.0ms (0.9% of total)
ival-tan: 389.0ms (0.9% of total)
ival-neg: 311.0ms (0.7% of total)
ival-atan2: 260.0ms (0.6% of total)
ival-true: 257.0ms (0.6% of total)
ival-acos: 206.0ms (0.5% of total)
exact: 185.0ms (0.4% of total)
ival-assert: 139.0ms (0.3% of total)
ival-fmod: 112.0ms (0.3% of total)
ival-atan: 76.0ms (0.2% of total)
ival-pi: 58.0ms (0.1% of total)
ival-asin: 32.0ms (0.1% of total)
ival-cosh: 24.0ms (0.1% of total)
ival-fabs: 20.0ms (0% of total)
ival-if: 16.0ms (0% of total)
ival->=: 12.0ms (0% of total)
ival-tanh: 12.0ms (0% of total)
ival-cbrt: 12.0ms (0% of total)
ival-expm1: 7.0ms (0% of total)
ival-log1p: 6.0ms (0% of total)
ival-sinh: 5.0ms (0% of total)

analyze1.3min (1.2%)

Memory
-56.3MiB live, 105 293.0MiB allocated
Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.8%33.6%50.8%15.6%0%0%0%1
45.9%38.4%45.3%15.6%0%0.8%0%2
54.5%44.5%37.2%15.6%0%2.8%0%3
61.4%49.5%31.1%15.6%0%3.8%0%4
67.7%54.3%25.9%15.6%0%4.3%0%5
71.6%57.1%22.7%15.6%0%4.7%0%6
75.5%59.8%19.4%15.6%0%5.2%0%7
77.5%61.1%17.7%15.6%0%5.6%0%8
80.1%62.9%15.6%15.6%0%5.9%0%9
81.7%63.9%14.3%15.6%0%6.2%0%10
83.9%65.5%12.6%15.6%0%6.4%0%11
85%66.2%11.6%15.6%0%6.6%0%12
Compiler

Compiled 12 518 to 7 841 computations (37.4% saved)

end1.1min (1%)

Memory
21.3MiB live, 32 779.8MiB allocated

Profiling

Loading profile data...