forward-xy-y

Time bar (total: 2.5min)

start0.0ms (0.0%)

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

analyze1.9s (1.2%)

Memory
-4.9MiB live, 154.1MiB allocated; 21ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.7%0.3%0.0%0.0%0.0%0
0.0%0.0%99.7%0.3%0.0%0.0%0.0%1
0.0%0.0%99.7%0.3%0.0%0.0%0.0%2
0.0%0.0%99.7%0.3%0.0%0.0%0.0%3
0.0%0.0%99.7%0.3%0.0%0.0%0.0%4
0.0%0.0%99.7%0.3%0.0%0.0%0.0%5
50.0%49.9%49.9%0.3%0.0%0.0%0.0%6
75.0%74.8%24.9%0.3%0.0%0.0%0.0%7
75.0%74.8%24.9%0.3%0.0%0.0%0.0%8
75.0%74.8%24.9%0.3%0.0%0.0%0.0%9
75.0%74.8%24.9%0.3%0.0%0.0%0.0%10
75.0%74.8%24.9%0.3%0.0%0.0%0.0%11
87.5%87.2%12.5%0.3%0.0%0.0%0.0%12
Compiler

Compiled 26 to 19 computations (26.9% saved)

sample16.6s (11.1%)

Memory
57.7MiB live, 2 017.4MiB allocated; 491ms collecting garbage
Samples
13.2s8 255×0valid
13.0ms1×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.6s
ival-sin: 3.9s (51.0% of total, 534.6 MiB)
ival-mult!: 2.1s (27.3% of total, 248.6 MiB)
ival-add!: 695.0ms (9.2% of total, 121.3 MiB)
ival-div!: 505.0ms (6.7% of total, 101.7 MiB)
ival-hypot!: 406.0ms (5.4% of total, 23.3 MiB)
adjust: 39.0ms (0.5% of total, 3.4 MiB)
Bogosity

preprocess434.0ms (0.3%)

Memory
-6.6MiB live, 22.1MiB allocated; 8ms collecting garbage
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0167685
1849673
22912673
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶69.9%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
Symmetry

(abs s)

Compiler

Compiled 48 to 40 computations (16.7% saved)

sample0.0ms (0.0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs
series4.6s (3.1%)
Memory
34.5MiB live, 277.5MiB allocated; 146ms collecting garbage
Counts
20 → 163
Calls
Call 1
Inputs
%2 = (sin.f64 lamdp)
%3 = (*.f64 c1 %2)
%6 = (*.f64 #s(literal 3 binary64) lamdp)
%7 = (sin.f64 %6)
%8 = (*.f64 c3 %7)
%11 = (*.f64 xj xj)
%13 = (*.f64 s s)
%14 = (+.f64 %11 %13)
%15 = (sqrt.f64 %14)
%16 = (/.f64 xj %15)
%17 = (*.f64 tanph %16)
%18 = (+.f64 %8 %17)
c1
lamdp
%2
%3
c3
#s(literal 3 binary64)
%6
%7
%8
tanph
xj
%11
s
%13
%14
%15
%16
%17
%18
(+.f64 %3 %18)
Outputs
%5 = (sin lamdp)
%9 = (pow.f64 lamdp #s(literal 2 binary64))
%31 = (* c1 %5)
%34 = (*.f64 c1 %9)
%54 = (* 3 lamdp)
%56 = (*.f64 #s(literal 3 binary64) lamdp)
%58 = (sin %54)
%82 = (* c3 %58)
%83 = (*.f64 c3 lamdp)
%86 = (*.f64 c3 %9)
%87 = (*.f64 #s(literal 3 binary64) c3)
%88 = (fma.f64 #s(literal -9/2 binary64) %86 %87)
%94 = (fma.f64 #s(literal 3 binary64) c3 (*.f64 %9 (fma.f64 #s(literal -9/2 binary64) c3 (*.f64 #s(literal 81/40 binary64) %86))))
%97 = (*.f64 #s(literal 81/40 binary64) c3)
%109 = (* s s)
%110 = (+ (* xj xj) %109)
%111 = (sqrt %110)
%112 = (/ xj %111)
%113 = (* tanph %112)
%114 = (+ %82 %113)
%115 = (*.f64 tanph xj)
%116 = (pow.f64 s #s(literal 2 binary64))
%117 = (pow.f64 xj #s(literal 2 binary64))
%118 = (+.f64 %116 %117)
%119 = (sqrt.f64 %118)
%120 = (/.f64 %115 %119)
%128 = (+ %31 %114)
%148 = (sin.f64 lamdp)
%150 = (*.f64 c1 %148)
%152 = (sin.f64 %56)
%154 = (*.f64 c3 %152)
%156 = (fma.f64 c3 %152 %120)
%176 = (fma.f64 c1 %148 %120)
%179 = (/.f64 %115 (*.f64 c3 %119))
%200 = (fma.f64 c1 %148 %154)
%202 = (/.f64 xj %119)
%203 = (/.f64 %154 tanph)
%227 = (sqrt.f64 %117)
%235 = (pow.f64 %227 #s(literal 3 binary64))
%238 = (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) %227))
%245 = (pow.f64 %227 #s(literal 5 binary64))
%256 = (/.f64 xj %227)
%264 = (/.f64 xj %245)
%266 = (fma.f64 #s(literal -1/4 binary64) %264 (*.f64 #s(literal -1/8 binary64) %264))
%270 = (*.f64 #s(literal 1/2 binary64) (/.f64 xj %235))
%274 = (pow.f64 %227 #s(literal 2 binary64))
%277 = (pow.f64 %227 #s(literal 7 binary64))
%288 = (/.f64 %115 %227)
%291 = (/.f64 (*.f64 %116 %115) %235)
%294 = (/.f64 %115 %245)
%296 = (fma.f64 #s(literal -1/4 binary64) %294 (*.f64 #s(literal -1/8 binary64) %294))
%300 = (*.f64 #s(literal 1/2 binary64) (/.f64 %115 %235))
%302 = (fma.f64 %116 (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 %116 %296)) %300) %288)
%313 = (fma.f64 %116 (-.f64 (*.f64 %116 (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 %116 (fma.f64 #s(literal -1/2 binary64) (/.f64 %296 %274) (*.f64 #s(literal 1/8 binary64) (/.f64 %115 %277))))) %296)) %300) %288)
%315 = (fma.f64 c3 %152 %288)
%319 = (fma.f64 c3 %152 %302)
%321 = (fma.f64 c3 %152 %313)
%323 = (fma.f64 c1 %148 %315)
%331 = (/.f64 %117 %116)
%335 = (*.f64 #s(literal 1/2 binary64) %331)
%337 = (*.f64 s (+.f64 #s(literal 1 binary64) %335))
%340 = (pow.f64 xj #s(literal 4 binary64))
%341 = (pow.f64 s #s(literal 4 binary64))
%342 = (/.f64 %340 %341)
%345 = (*.f64 s (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1/8 binary64) %342 %335)))
%348 = (pow.f64 xj #s(literal 6 binary64))
%349 = (pow.f64 s #s(literal 6 binary64))
%354 = (*.f64 s (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1/8 binary64) %342 (fma.f64 #s(literal 1/16 binary64) (/.f64 %348 %349) %335))))
%356 = (/.f64 xj s)
%358 = (pow.f64 xj #s(literal 3 binary64))
%359 = (/.f64 %358 %116)
%362 = (/.f64 (+.f64 xj (*.f64 #s(literal -1/2 binary64) %359)) s)
%364 = (pow.f64 xj #s(literal 5 binary64))
%366 = (fma.f64 #s(literal -1/4 binary64) %364 (*.f64 #s(literal -1/8 binary64) %364))
%370 = (*.f64 #s(literal 1/2 binary64) %359)
%372 = (/.f64 (-.f64 (+.f64 xj (*.f64 #s(literal -1 binary64) (/.f64 %366 %341))) %370) s)
%375 = (pow.f64 xj #s(literal 7 binary64))
%381 = (/.f64 %364 %341)
%385 = (/.f64 (-.f64 (+.f64 xj (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1/2 binary64) (*.f64 %117 %366) (*.f64 #s(literal 1/8 binary64) %375)) %349))) (fma.f64 #s(literal -1/4 binary64) %381 (fma.f64 #s(literal -1/8 binary64) %381 %370))) s)
%387 = (/.f64 %115 s)
%389 = (*.f64 tanph %358)
%390 = (/.f64 %389 %116)
%392 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %390 %115) s)
%394 = (*.f64 tanph %364)
%396 = (fma.f64 #s(literal -1/4 binary64) %394 (*.f64 #s(literal -1/8 binary64) %394))
%399 = (*.f64 #s(literal 1/2 binary64) %390)
%401 = (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 %396 %341) %115) %399) s)
%409 = (/.f64 %394 %341)
%413 = (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1/2 binary64) (*.f64 %117 %396) (*.f64 #s(literal 1/8 binary64) (*.f64 tanph %375))) %349) %115) (fma.f64 #s(literal -1/4 binary64) %409 (fma.f64 #s(literal -1/8 binary64) %409 %399))) s)
%415 = (fma.f64 c3 %152 %387)
%418 = (/.f64 %389 (pow.f64 s #s(literal 3 binary64)))
%422 = (/.f64 %396 (pow.f64 s #s(literal 5 binary64)))
%424 = (*.f64 #s(literal 1/2 binary64) %418)
%427 = (fma.f64 c1 %148 %415)
%471 = (sqrt.f64 %116)
%477 = (pow.f64 %471 #s(literal 3 binary64))
%478 = (/.f64 %117 %477)
%479 = (/.f64 #s(literal 1 binary64) %471)
%480 = (*.f64 #s(literal 1/2 binary64) %479)
%485 = (pow.f64 %471 #s(literal 5 binary64))
%486 = (/.f64 %117 %485)
%488 = (/.f64 #s(literal 1 binary64) %477)
%502 = (*.f64 #s(literal 1/2 binary64) %488)
%508 = (pow.f64 %471 #s(literal 7 binary64))
%518 = (/.f64 %115 %471)
%522 = (/.f64 tanph %471)
%524 = (*.f64 xj (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 tanph %117) %477) %522))
%526 = (/.f64 tanph %485)
%528 = (fma.f64 #s(literal -1/4 binary64) %526 (*.f64 #s(literal -1/8 binary64) %526))
%532 = (*.f64 #s(literal 1/2 binary64) (/.f64 tanph %477))
%535 = (*.f64 xj (fma.f64 %117 (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 %117 %528)) %532) %522))
%550 = (fma.f64 c3 %152 %518)
%552 = (fma.f64 c3 %152 %524)
%554 = (fma.f64 c3 %152 %535)
%562 = (/.f64 %116 %117)
%566 = (*.f64 #s(literal 1/2 binary64) %562)
%568 = (*.f64 xj (+.f64 #s(literal 1 binary64) %566))
%570 = (/.f64 %341 %340)
%571 = (fma.f64 #s(literal -1/8 binary64) %570 %566)
%573 = (*.f64 xj (+.f64 #s(literal 1 binary64) %571))
%579 = (*.f64 xj (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1/8 binary64) %570 (fma.f64 #s(literal 1/16 binary64) (/.f64 %349 %348) %566))))
%583 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) %562))
%586 = (fma.f64 #s(literal -1/4 binary64) %341 (*.f64 #s(literal -1/8 binary64) %341))
%602 = (/.f64 (*.f64 %116 tanph) %117)
%606 = (*.f64 %341 tanph)
%608 = (fma.f64 #s(literal -1/4 binary64) %606 (*.f64 #s(literal -1/8 binary64) %606))
%609 = (/.f64 %608 %340)
%612 = (*.f64 #s(literal 1/2 binary64) %602)
%615 = (*.f64 %116 %608)
%616 = (*.f64 %349 tanph)
%619 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %615 (*.f64 #s(literal 1/8 binary64) %616)) %348)
%622 = (/.f64 %606 %340)
%624 = (fma.f64 #s(literal -1/4 binary64) %622 (fma.f64 #s(literal -1/8 binary64) %622 %612))
%666 = (fma.f64 #s(literal 1/8 binary64) %341 (*.f64 #s(literal 1/4 binary64) %341))
%688 = (/.f64 %615 %348)
%689 = (/.f64 %616 %348)
%698 = (fma.f64 #s(literal 1/2 binary64) %602 %154)
%713 = (fma.f64 #s(literal 1/2 binary64) %602 %200)
(approx c1 #s(literal 0 binary64))
(approx lamdp lamdp)
(approx %5 (*.f64 lamdp (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/6 binary64) %9))))
(approx %5 (*.f64 lamdp (+.f64 #s(literal 1 binary64) (*.f64 %9 (-.f64 (*.f64 #s(literal 1/120 binary64) %9) #s(literal 1/6 binary64))))))
(approx %5 (*.f64 lamdp (+.f64 #s(literal 1 binary64) (*.f64 %9 (-.f64 (*.f64 %9 (+.f64 #s(literal 1/120 binary64) (*.f64 #s(literal -1/5040 binary64) %9))) #s(literal 1/6 binary64))))))
(approx %31 (*.f64 c1 lamdp))
(approx %31 (*.f64 lamdp (+.f64 c1 (*.f64 #s(literal -1/6 binary64) %34))))
(approx %31 (*.f64 lamdp (+.f64 c1 (*.f64 %9 (fma.f64 #s(literal -1/6 binary64) c1 (*.f64 #s(literal 1/120 binary64) %34))))))
(approx %31 (*.f64 lamdp (+.f64 c1 (*.f64 %9 (fma.f64 #s(literal -1/6 binary64) c1 (*.f64 %9 (fma.f64 #s(literal -1/5040 binary64) %34 (*.f64 #s(literal 1/120 binary64) c1))))))))
(approx %54 %56)
(approx %58 (*.f64 lamdp (+.f64 #s(literal 3 binary64) (*.f64 #s(literal -9/2 binary64) %9))))
(approx %58 (*.f64 lamdp (+.f64 #s(literal 3 binary64) (*.f64 %9 (-.f64 (*.f64 #s(literal 81/40 binary64) %9) #s(literal 9/2 binary64))))))
(approx %58 (*.f64 lamdp (+.f64 #s(literal 3 binary64) (*.f64 %9 (-.f64 (*.f64 %9 (+.f64 #s(literal 81/40 binary64) (*.f64 #s(literal -243/560 binary64) %9))) #s(literal 9/2 binary64))))))
(approx %82 (*.f64 #s(literal 3 binary64) %83))
(approx %82 (*.f64 lamdp %88))
(approx %82 (*.f64 lamdp %94))
(approx %82 (*.f64 lamdp (fma.f64 #s(literal 3 binary64) c3 (*.f64 %9 (fma.f64 #s(literal -9/2 binary64) c3 (*.f64 %9 (fma.f64 #s(literal -243/560 binary64) %86 %97)))))))
(approx %114 %120)
(approx %114 (fma.f64 #s(literal 3 binary64) %83 %120))
(approx %114 (fma.f64 lamdp %88 %120))
(approx %114 (fma.f64 lamdp %94 %120))
(approx %128 (fma.f64 lamdp (+.f64 c1 %87) %120))
(approx %128 (fma.f64 lamdp (+.f64 c1 (fma.f64 #s(literal 3 binary64) c3 (*.f64 %9 (fma.f64 #s(literal -9/2 binary64) c3 (*.f64 #s(literal -1/6 binary64) c1))))) %120))
(approx %128 (fma.f64 lamdp (+.f64 c1 (fma.f64 #s(literal 3 binary64) c3 (*.f64 %9 (fma.f64 #s(literal -9/2 binary64) c3 (fma.f64 #s(literal -1/6 binary64) c1 (*.f64 %9 (fma.f64 #s(literal 1/120 binary64) c1 %97))))))) %120))
(approx %5 %148)
(approx %31 %150)
(approx %58 %152)
(approx %82 %154)
(approx %114 %156)
(approx %128 (fma.f64 c1 %148 %156))
(approx c1 c1)
(approx %128 (*.f64 c1 (+.f64 %148 (+.f64 (/.f64 %154 c1) (/.f64 %115 (*.f64 c1 %119))))))
(approx %128 (*.f64 #s(literal -1 binary64) (*.f64 c1 (fma.f64 #s(literal -1 binary64) %148 (*.f64 #s(literal -1 binary64) (/.f64 %156 c1))))))
(approx c3 c3)
(approx %128 %176)
(approx %114 (*.f64 c3 (+.f64 %152 %179)))
(approx %128 (*.f64 c3 (+.f64 %152 (+.f64 (/.f64 %150 c3) %179))))
(approx %114 (*.f64 #s(literal -1 binary64) (*.f64 c3 (fma.f64 #s(literal -1 binary64) %152 (*.f64 #s(literal -1 binary64) %179)))))
(approx %128 (*.f64 #s(literal -1 binary64) (*.f64 c3 (fma.f64 #s(literal -1 binary64) %152 (*.f64 #s(literal -1 binary64) (/.f64 %176 c3))))))
(approx tanph tanph)
(approx %128 %200)
(approx %114 (*.f64 tanph (+.f64 %202 %203)))
(approx %128 (*.f64 tanph (+.f64 %202 (+.f64 (/.f64 %150 tanph) %203))))
(approx %114 (*.f64 #s(literal -1 binary64) (*.f64 tanph (fma.f64 #s(literal -1 binary64) %202 (*.f64 #s(literal -1 binary64) %203)))))
(approx %128 (*.f64 #s(literal -1 binary64) (*.f64 tanph (fma.f64 #s(literal -1 binary64) %202 (*.f64 #s(literal -1 binary64) (/.f64 %200 tanph))))))
(approx s s)
(approx %109 %116)
(approx %110 %117)
(approx %110 %118)
(approx %111 %227)
(approx %111 (+.f64 %227 (*.f64 #s(literal 1/2 binary64) (/.f64 %116 %227))))
(approx %111 (+.f64 %227 (*.f64 %116 (fma.f64 #s(literal -1/8 binary64) (/.f64 %116 %235) %238))))
(approx %111 (+.f64 %227 (*.f64 %116 (fma.f64 %116 (-.f64 (*.f64 #s(literal 1/16 binary64) (/.f64 %116 %245)) (*.f64 #s(literal 1/8 binary64) (/.f64 #s(literal 1 binary64) %235))) %238))))
(approx %112 %256)
(approx %112 (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 %116 xj) %235) %256))
(approx %112 (fma.f64 %116 (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 %116 %266)) %270) %256))
(approx %112 (fma.f64 %116 (-.f64 (*.f64 %116 (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 %116 (fma.f64 #s(literal -1/2 binary64) (/.f64 %266 %274) (*.f64 #s(literal 1/8 binary64) (/.f64 xj %277))))) %266)) %270) %256))
(approx %113 %288)
(approx %113 (fma.f64 #s(literal -1/2 binary64) %291 %288))
(approx %113 %302)
(approx %113 %313)
(approx %114 %315)
(approx %114 (fma.f64 #s(literal -1/2 binary64) %291 %315))
(approx %114 %319)
(approx %114 %321)
(approx %128 %323)
(approx %128 (fma.f64 #s(literal -1/2 binary64) %291 %323))
(approx %128 (fma.f64 c1 %148 %319))
(approx %128 (fma.f64 c1 %148 %321))
(approx %110 (*.f64 %116 (+.f64 #s(literal 1 binary64) %331)))
(approx %111 %337)
(approx %111 %345)
(approx %111 %354)
(approx %112 %356)
(approx %112 %362)
(approx %112 %372)
(approx %112 %385)
(approx %113 %387)
(approx %113 %392)
(approx %113 %401)
(approx %113 %413)
(approx %114 %415)
(approx %114 (fma.f64 #s(literal -1/2 binary64) %418 %415))
(approx %114 (-.f64 (fma.f64 #s(literal -1 binary64) %422 %415) %424))
(approx %128 %427)
(approx %128 (fma.f64 #s(literal -1/2 binary64) %418 %427))
(approx %128 (-.f64 (fma.f64 #s(literal -1 binary64) %422 %427) %424))
(approx %111 (*.f64 #s(literal -1 binary64) s))
(approx %111 (*.f64 #s(literal -1 binary64) %337))
(approx %111 (*.f64 #s(literal -1 binary64) %345))
(approx %111 (*.f64 #s(literal -1 binary64) %354))
(approx %112 (*.f64 #s(literal -1 binary64) %356))
(approx %112 (*.f64 #s(literal -1 binary64) %362))
(approx %112 (*.f64 #s(literal -1 binary64) %372))
(approx %112 (*.f64 #s(literal -1 binary64) %385))
(approx %113 (*.f64 #s(literal -1 binary64) %387))
(approx %113 (*.f64 #s(literal -1 binary64) %392))
(approx %113 (*.f64 #s(literal -1 binary64) %401))
(approx %113 (*.f64 #s(literal -1 binary64) %413))
(approx %114 (fma.f64 #s(literal -1 binary64) %387 %154))
(approx %114 (fma.f64 #s(literal -1 binary64) %392 %154))
(approx %114 (fma.f64 #s(literal -1 binary64) %401 %154))
(approx %128 (fma.f64 #s(literal -1 binary64) %387 %200))
(approx %128 (fma.f64 #s(literal -1 binary64) %392 %200))
(approx %128 (fma.f64 #s(literal -1 binary64) %401 %200))
(approx xj xj)
(approx %111 %471)
(approx %111 (+.f64 %471 (*.f64 #s(literal 1/2 binary64) (/.f64 %117 %471))))
(approx %111 (+.f64 %471 (*.f64 %117 (fma.f64 #s(literal -1/8 binary64) %478 %480))))
(approx %111 (+.f64 %471 (*.f64 %117 (fma.f64 %117 (-.f64 (*.f64 #s(literal 1/16 binary64) %486) (*.f64 #s(literal 1/8 binary64) %488)) %480))))
(approx %112 (/.f64 xj %471))
(approx %112 (*.f64 xj (fma.f64 #s(literal -1/2 binary64) %478 %479)))
(approx %112 (*.f64 xj (fma.f64 %117 (-.f64 (*.f64 #s(literal 3/8 binary64) %486) %502) %479)))
(approx %112 (*.f64 xj (fma.f64 %117 (-.f64 (*.f64 %117 (fma.f64 #s(literal -5/16 binary64) (/.f64 %117 %508) (*.f64 #s(literal 3/8 binary64) (/.f64 #s(literal 1 binary64) %485)))) %502) %479)))
(approx %113 %518)
(approx %113 %524)
(approx %113 %535)
(approx %113 (*.f64 xj (fma.f64 %117 (-.f64 (*.f64 %117 (-.f64 (*.f64 #s(literal -1 binary64) (*.f64 %117 (fma.f64 #s(literal -1/2 binary64) (/.f64 %528 (pow.f64 %471 #s(literal 2 binary64))) (*.f64 #s(literal 1/8 binary64) (/.f64 tanph %508))))) %528)) %532) %522)))
(approx %114 %550)
(approx %114 %552)
(approx %114 %554)
(approx %128 (fma.f64 c1 %148 %550))
(approx %128 (fma.f64 c1 %148 %552))
(approx %128 (fma.f64 c1 %148 %554))
(approx %110 (*.f64 %117 (+.f64 #s(literal 1 binary64) %562)))
(approx %111 %568)
(approx %111 %573)
(approx %111 %579)
(approx %112 #s(literal 1 binary64))
(approx %112 %583)
(approx %112 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 %586 %340))) %566))
(approx %112 (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1/2 binary64) (*.f64 %116 %586) (*.f64 #s(literal 1/8 binary64) %349)) %348))) (fma.f64 #s(literal -1/4 binary64) %570 %571)))
(approx %113 (+.f64 tanph (*.f64 #s(literal -1/2 binary64) %602)))
(approx %113 (-.f64 (+.f64 tanph (*.f64 #s(literal -1 binary64) %609)) %612))
(approx %113 (-.f64 (+.f64 tanph (*.f64 #s(literal -1 binary64) %619)) %624))
(approx %114 (+.f64 tanph %154))
(approx %114 (+.f64 tanph (fma.f64 #s(literal -1/2 binary64) %602 %154)))
(approx %114 (-.f64 (+.f64 tanph (fma.f64 #s(literal -1 binary64) %609 %154)) %612))
(approx %114 (-.f64 (+.f64 tanph (fma.f64 #s(literal -1 binary64) %619 %154)) %624))
(approx %128 (+.f64 tanph %200))
(approx %128 (+.f64 tanph (fma.f64 #s(literal -1/2 binary64) %602 %200)))
(approx %128 (-.f64 (+.f64 tanph (fma.f64 #s(literal -1 binary64) %609 %200)) %612))
(approx %128 (-.f64 (+.f64 tanph (fma.f64 #s(literal -1 binary64) %619 %200)) %624))
(approx %111 (*.f64 #s(literal -1 binary64) xj))
(approx %111 (*.f64 #s(literal -1 binary64) %568))
(approx %111 (*.f64 #s(literal -1 binary64) %573))
(approx %111 (*.f64 #s(literal -1 binary64) %579))
(approx %112 #s(literal -1 binary64))
(approx %112 (-.f64 %566 #s(literal 1 binary64)))
(approx %112 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %666 %340)) %583))
(approx %112 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1/2 binary64) (*.f64 %116 %666) (*.f64 #s(literal -1/8 binary64) %349)) %348)) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1/2 binary64) %562 (fma.f64 #s(literal 1/8 binary64) %570 (*.f64 #s(literal 1/4 binary64) %570))))))
(approx %113 (*.f64 #s(literal -1 binary64) tanph))
(approx %113 (fma.f64 #s(literal -1 binary64) tanph %612))
(approx %113 (fma.f64 #s(literal -1 binary64) tanph %624))
(approx %113 (fma.f64 #s(literal -1 binary64) tanph (fma.f64 #s(literal -1/2 binary64) %688 (fma.f64 #s(literal -1/4 binary64) %622 (fma.f64 #s(literal -1/8 binary64) %622 (fma.f64 #s(literal 1/8 binary64) %689 %612))))))
(approx %114 (fma.f64 #s(literal -1 binary64) tanph %154))
(approx %114 (fma.f64 #s(literal -1 binary64) tanph %698))
(approx %114 (fma.f64 #s(literal -1 binary64) tanph (fma.f64 #s(literal -1/4 binary64) %622 (fma.f64 #s(literal -1/8 binary64) %622 %698))))
(approx %114 (fma.f64 #s(literal -1 binary64) tanph (fma.f64 #s(literal -1/2 binary64) %688 (fma.f64 #s(literal -1/4 binary64) %622 (fma.f64 #s(literal -1/8 binary64) %622 (fma.f64 #s(literal 1/8 binary64) %689 %698))))))
(approx %128 (fma.f64 #s(literal -1 binary64) tanph %200))
(approx %128 (fma.f64 #s(literal -1 binary64) tanph %713))
(approx %128 (fma.f64 #s(literal -1 binary64) tanph (fma.f64 #s(literal -1/4 binary64) %622 (fma.f64 #s(literal -1/8 binary64) %622 %713))))
(approx %128 (fma.f64 #s(literal -1 binary64) tanph (fma.f64 #s(literal -1/2 binary64) %688 (fma.f64 #s(literal -1/4 binary64) %622 (fma.f64 #s(literal -1/8 binary64) %622 (fma.f64 #s(literal 1/8 binary64) %689 %713))))))
Calls
18 calls:
TimeVariablePoint
433.0ms
xj
0
27.0ms
xj
inf
25.0ms
s
0
24.0ms
lamdp
0
23.0ms
xj
-inf
rewrite4.9s (3.2%)
Memory
5.7MiB live, 345.2MiB allocated; 180ms collecting garbage
Counts
20 → 2 461
Calls
Call 1
Inputs
%2 = (sin.f64 lamdp)
%3 = (*.f64 c1 %2)
%6 = (*.f64 #s(literal 3 binary64) lamdp)
%7 = (sin.f64 %6)
%8 = (*.f64 c3 %7)
%11 = (*.f64 xj xj)
%13 = (*.f64 s s)
%14 = (+.f64 %11 %13)
%15 = (sqrt.f64 %14)
%16 = (/.f64 xj %15)
%17 = (*.f64 tanph %16)
%18 = (+.f64 %8 %17)
c1
lamdp
%2
%3
c3
#s(literal 3 binary64)
%6
%7
%8
tanph
xj
%11
s
%13
%14
%15
%16
%17
%18
(+.f64 %3 %18)
Outputs
%1 = (neg.f64 c1)
%23 = (fabs.f64 #s(literal 3 binary64))
%24 = (neg.f64 #s(literal 3 binary64))
%25 = (sqrt.f64 #s(literal 3 binary64))
%26 = (PI.f64 )
%27 = (+.f64 #s(literal 3 binary64) %26)
%28 = (+.f64 %26 #s(literal 3 binary64))
%29 = (-.f64 #s(literal 3 binary64) %26)
%30 = (-.f64 %26 #s(literal 3 binary64))
%31 = (+.f64 #s(literal 3 binary64) #s(literal 3 binary64))
%32 = (copysign.f64 #s(literal 3 binary64) #s(literal 3 binary64))
%33 = (-.f64 #s(literal 3 binary64) #s(literal 3 binary64))
%34 = (*.f64 #s(literal 3 binary64) %26)
%35 = (*.f64 %26 #s(literal 3 binary64))
%36 = (*.f64 #s(literal 3 binary64) #s(literal 3 binary64))
%37 = (neg.f64 %26)
%38 = (+.f64 #s(literal 3 binary64) %37)
%39 = (+.f64 %37 #s(literal 3 binary64))
%40 = (-.f64 #s(literal 3 binary64) %37)
%41 = (-.f64 %37 #s(literal 3 binary64))
%43 = (fabs.f64 s)
%44 = (+.f64 #s(literal 3 binary64) %43)
%45 = (+.f64 %43 #s(literal 3 binary64))
%46 = (-.f64 #s(literal 3 binary64) %43)
%47 = (-.f64 %43 #s(literal 3 binary64))
%48 = (/.f64 %26 #s(literal 3 binary64))
%49 = (/.f64 #s(literal 3 binary64) #s(literal 3 binary64))
%50 = (*.f64 %37 #s(literal 3 binary64))
%51 = (neg.f64 %37)
%52 = (+.f64 #s(literal 3 binary64) %51)
%53 = (/.f64 %37 #s(literal 3 binary64))
%54 = (fma.f64 #s(literal 3 binary64) %26 %26)
%55 = (fma.f64 %26 #s(literal 3 binary64) %26)
%56 = (fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) %26)
%57 = (fma.f64 #s(literal 3 binary64) %26 #s(literal 3 binary64))
%58 = (fma.f64 %26 #s(literal 3 binary64) #s(literal 3 binary64))
%59 = (fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) #s(literal 3 binary64))
%60 = (fma.f64 s s #s(literal 3 binary64))
%61 = (+.f64 %26 %26)
%62 = (+.f64 #s(literal 3 binary64) %61)
%63 = (/.f64 %51 #s(literal 3 binary64))
%64 = (fma.f64 #s(literal 3 binary64) %26 %37)
%65 = (fma.f64 %26 #s(literal 3 binary64) %37)
%66 = (fma.f64 %37 #s(literal 3 binary64) %26)
%67 = (fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) %37)
%68 = (fma.f64 #s(literal 3 binary64) %26 %43)
%69 = (fma.f64 %26 #s(literal 3 binary64) %43)
%70 = (fma.f64 %37 #s(literal 3 binary64) #s(literal 3 binary64))
%71 = (fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) %43)
%72 = (fma.f64 #s(literal 3 binary64) %43 #s(literal 3 binary64))
%73 = (fma.f64 s %43 #s(literal 3 binary64))
%74 = (neg.f64 s)
%75 = (fma.f64 s %74 #s(literal 3 binary64))
%76 = (fma.f64 %43 #s(literal 3 binary64) #s(literal 3 binary64))
%77 = (fma.f64 %43 s #s(literal 3 binary64))
%78 = (fma.f64 %74 s #s(literal 3 binary64))
%80 = (-.f64 #s(literal 3 binary64) (-.f64 %37 %26))
%81 = (*.f64 %43 #s(literal 3 binary64))
%82 = (+.f64 #s(literal 3 binary64) %81)
%83 = (+.f64 %81 #s(literal 3 binary64))
%84 = (-.f64 #s(literal 3 binary64) %81)
%85 = (-.f64 %81 #s(literal 3 binary64))
%86 = (fma.f64 #s(literal 3 binary64) %26 %51)
%87 = (fma.f64 %26 #s(literal 3 binary64) %51)
%88 = (fma.f64 %37 #s(literal 3 binary64) %37)
%89 = (fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) %51)
%90 = (fma.f64 %37 #s(literal 3 binary64) %43)
%91 = (fma.f64 %43 %43 #s(literal 3 binary64))
%92 = (fma.f64 %43 %74 #s(literal 3 binary64))
%93 = (fma.f64 %74 %43 #s(literal 3 binary64))
%94 = (fma.f64 %74 %74 #s(literal 3 binary64))
%95 = (expm1.f64 #s(literal 3 binary64))
%96 = (fma.f64 #s(literal 3 binary64) %26 %61)
%97 = (fma.f64 %26 #s(literal 3 binary64) %61)
%99 = (/.f64 #s(literal 3 binary64) (/.f64 #s(literal 3 binary64) %26))
%100 = (fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) %61)
%101 = (fma.f64 %37 #s(literal 3 binary64) %51)
%102 = (tanh.f64 #s(literal 3 binary64))
%103 = (*.f64 s #s(literal 3 binary64))
%104 = (fma.f64 s %103 #s(literal 3 binary64))
%105 = (*.f64 #s(literal 3 binary64) s)
%106 = (fma.f64 %105 s #s(literal 3 binary64))
%107 = (+.f64 #s(literal 3 binary64) s)
%108 = (-.f64 #s(literal 3 binary64) s)
%109 = (*.f64 %107 %108)
%110 = (+.f64 s #s(literal 3 binary64))
%111 = (-.f64 s #s(literal 3 binary64))
%112 = (*.f64 %110 %111)
%113 = (fma.f64 %37 #s(literal 3 binary64) %61)
%115 = (/.f64 #s(literal 3 binary64) (/.f64 #s(literal 3 binary64) %37))
%116 = (fma.f64 #s(literal 3 binary64) %26 %81)
%117 = (fma.f64 %26 #s(literal 3 binary64) %81)
%118 = (fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) %81)
%119 = (fma.f64 #s(literal 3 binary64) %81 #s(literal 3 binary64))
%120 = (fma.f64 s %81 #s(literal 3 binary64))
%121 = (fma.f64 %43 %103 #s(literal 3 binary64))
%122 = (fma.f64 %105 %43 #s(literal 3 binary64))
%123 = (fma.f64 %81 #s(literal 3 binary64) #s(literal 3 binary64))
%124 = (fma.f64 %81 s #s(literal 3 binary64))
%125 = (fma.f64 %37 #s(literal 3 binary64) %81)
%126 = (fma.f64 %43 %81 #s(literal 3 binary64))
%127 = (*.f64 %74 #s(literal 3 binary64))
%128 = (fma.f64 %43 %127 #s(literal 3 binary64))
%129 = (fma.f64 %74 %81 #s(literal 3 binary64))
%130 = (fma.f64 %74 %127 #s(literal 3 binary64))
%131 = (fma.f64 %81 %43 #s(literal 3 binary64))
%132 = (fma.f64 %81 %74 #s(literal 3 binary64))
%133 = (*.f64 #s(literal 3 binary64) %74)
%134 = (fma.f64 %133 %43 #s(literal 3 binary64))
%135 = (fma.f64 %133 %74 #s(literal 3 binary64))
%137 = (+.f64 (-.f64 %43 %81) #s(literal 3 binary64))
%138 = (fma.f64 %107 %108 %26)
%139 = (fma.f64 %110 %111 %26)
%140 = (+.f64 #s(literal 3 binary64) %74)
%141 = (-.f64 #s(literal 3 binary64) %74)
%142 = (*.f64 %140 %141)
%143 = (+.f64 %74 #s(literal 3 binary64))
%144 = (-.f64 %74 #s(literal 3 binary64))
%145 = (*.f64 %143 %144)
%146 = (fma.f64 %107 %108 #s(literal 3 binary64))
%147 = (fma.f64 %110 %111 #s(literal 3 binary64))
%150 = (/.f64 (+.f64 #s(literal 3 binary64) (*.f64 #s(literal 3 binary64) %37)) #s(literal 3 binary64))
%151 = (exp.f64 #s(literal 3 binary64))
%152 = (fma.f64 %105 %105 #s(literal 3 binary64))
%153 = (fma.f64 %103 %103 #s(literal 3 binary64))
%154 = (fma.f64 %107 %108 %37)
%155 = (fma.f64 %110 %111 %37)
%156 = (fma.f64 %107 %108 %43)
%157 = (fma.f64 %110 %111 %43)
%158 = (fma.f64 %107 %108 %51)
%159 = (fma.f64 %110 %111 %51)
%160 = (fma.f64 %140 %141 %26)
%161 = (fma.f64 %143 %144 %26)
%162 = (fma.f64 %140 %141 #s(literal 3 binary64))
%163 = (fma.f64 %143 %144 #s(literal 3 binary64))
%164 = (fma.f64 %107 %108 %61)
%165 = (fma.f64 %110 %111 %61)
%166 = (fma.f64 %81 %81 #s(literal 3 binary64))
%167 = (fma.f64 %127 %127 #s(literal 3 binary64))
%168 = (fma.f64 %133 %133 #s(literal 3 binary64))
%169 = (cosh.f64 #s(literal 3 binary64))
%170 = (fma.f64 %140 %141 %37)
%171 = (fma.f64 %143 %144 %37)
%172 = (fma.f64 %140 %141 %43)
%173 = (fma.f64 %143 %144 %43)
%174 = (sinh.f64 #s(literal 3 binary64))
%175 = (fma.f64 %140 %141 %51)
%176 = (fma.f64 %143 %144 %51)
%177 = (fma.f64 %107 %108 %81)
%178 = (fma.f64 %110 %111 %81)
%179 = (hypot.f64 #s(literal 3 binary64) #s(literal 3 binary64))
%180 = (hypot.f64 #s(literal 3 binary64) s)
%181 = (hypot.f64 s #s(literal 3 binary64))
%182 = (fma.f64 %140 %141 %61)
%183 = (fma.f64 %143 %144 %61)
%184 = (hypot.f64 #s(literal 3 binary64) %43)
%185 = (hypot.f64 #s(literal 3 binary64) %74)
%186 = (hypot.f64 %43 #s(literal 3 binary64))
%187 = (hypot.f64 %74 #s(literal 3 binary64))
%188 = (fma.f64 %140 %141 %81)
%189 = (fma.f64 %143 %144 %81)
%190 = (atanh.f64 #s(literal 3 binary64))
%191 = (cosh.f64 %190)
%192 = (asinh.f64 #s(literal 3 binary64))
%193 = (tanh.f64 %192)
%194 = (pow.f64 #s(literal 3 binary64) #s(literal 3 binary64))
%195 = (sinh.f64 %190)
%196 = (hypot.f64 #s(literal 3 binary64) %105)
%197 = (hypot.f64 #s(literal 3 binary64) %103)
%198 = (hypot.f64 %105 #s(literal 3 binary64))
%199 = (hypot.f64 %103 #s(literal 3 binary64))
%200 = (hypot.f64 #s(literal 3 binary64) %81)
%201 = (hypot.f64 #s(literal 3 binary64) %127)
%202 = (hypot.f64 #s(literal 3 binary64) %133)
%203 = (hypot.f64 %81 #s(literal 3 binary64))
%204 = (hypot.f64 %127 #s(literal 3 binary64))
%205 = (hypot.f64 %133 #s(literal 3 binary64))
%206 = (cosh.f64 %192)
%207 = (cos.f64 %26)
%208 = (sin.f64 %26)
%209 = (cos.f64 #s(literal 3 binary64))
%210 = (sin.f64 #s(literal 3 binary64))
%212 = (cos.f64 (fabs.f64 %26))
%213 = (cos.f64 %37)
%214 = (asin.f64 #s(literal 3 binary64))
%215 = (cos.f64 %214)
%217 = (sin.f64 (acos.f64 #s(literal 3 binary64)))
%220 = (-.f64 #s(literal 3 binary64) (*.f64 #s(literal 3 binary64) (sin.f64 %37)))
%221 = (tan.f64 %214)
%222 = (atan.f64 #s(literal 3 binary64))
%223 = (cos.f64 %222)
%224 = (sin.f64 %222)
%226 = (*.f64 c1 #s(literal 3 binary64))
%233 = (/.f64 c1 #s(literal 3 binary64))
%246 = (neg.f64 c3)
%249 = (*.f64 c3 #s(literal 3 binary64))
%288 = (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64))
%341 = (fma.f64 #s(literal 3 binary64) c1 #s(literal 3 binary64))
%343 = (fma.f64 #s(literal 3 binary64) c3 c1)
%344 = (fma.f64 #s(literal 3 binary64) %343 #s(literal 3 binary64))
%347 = (fma.f64 #s(literal 3 binary64) c1 %249)
%354 = (-.f64 %249 c1)
%356 = (-.f64 c1 %249)
%358 = (+.f64 c1 %249)
%368 = (fma.f64 #s(literal 3 binary64) c3 %1)
%373 = (-.f64 %249 %1)
c1
(neg.f64 %1)
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
(*.f64 #s(literal 3 binary64) c1)
%226
(*.f64 #s(literal 3 binary64) %1)
(*.f64 %1 #s(literal 3 binary64))
(neg.f64 %226)
(*.f64 #s(literal 3 binary64) %226)
(*.f64 %226 #s(literal 3 binary64))
(/.f64 %226 #s(literal 3 binary64))
(*.f64 %233 #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) c1 %226)
(fma.f64 c1 #s(literal 3 binary64) %226)
(+.f64 %226 %226)
(fma.f64 #s(literal 3 binary64) %1 %226)
(fma.f64 %1 #s(literal 3 binary64) %226)
(/.f64 #s(literal 3 binary64) (/.f64 #s(literal 3 binary64) %226))
(fma.f64 #s(literal 3 binary64) %226 %226)
(fma.f64 %226 #s(literal 3 binary64) %226)
(fma.f64 %233 #s(literal 3 binary64) %226)
c3
(neg.f64 %246)
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
(*.f64 #s(literal 3 binary64) c3)
%249
(/.f64 c3 #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) %246)
(*.f64 %246 #s(literal 3 binary64))
(neg.f64 %249)
(/.f64 %246 #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) %249)
(*.f64 %249 #s(literal 3 binary64))
(/.f64 %249 #s(literal 3 binary64))
(/.f64 #s(literal 3 binary64) (/.f64 #s(literal 3 binary64) c3))
(fma.f64 #s(literal 3 binary64) c3 %249)
(fma.f64 c3 #s(literal 3 binary64) %249)
(+.f64 %249 %249)
(-.f64 %249 %249)
(fma.f64 #s(literal 3 binary64) %246 %249)
(fma.f64 %246 #s(literal 3 binary64) %249)
(/.f64 #s(literal 3 binary64) (/.f64 #s(literal 3 binary64) %249))
(fma.f64 #s(literal 3 binary64) %249 %249)
(fma.f64 %249 #s(literal 3 binary64) %249)
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
s
(neg.f64 %74)
%43
(fabs.f64 %43)
(fabs.f64 %74)
(neg.f64 %43)
(sqrt.f64 %43)
(*.f64 s s)
(*.f64 s %43)
(*.f64 s %74)
(*.f64 %43 s)
(*.f64 %74 s)
(/.f64 #s(literal 3 binary64) %43)
(*.f64 %43 %43)
(*.f64 %43 %74)
(*.f64 %74 %43)
(*.f64 %74 %74)
(pow.f64 s #s(literal 3 binary64))
(pow.f64 %43 #s(literal 3 binary64))
(pow.f64 %74 #s(literal 3 binary64))
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
#s(literal 0 binary64)
#s(literal 1 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)
#s(literal 2 binary64)
#s(literal 1/2 binary64)
#s(literal -1 binary64)
#s(literal -4 binary64)
#s(literal -1/2 binary64)
#s(literal -3 binary64)
#s(literal -2 binary64)
#s(literal 8 binary64)
#s(literal 3/2 binary64)
#s(literal 1/4 binary64)
#s(literal 1/8 binary64)
#s(literal -1/4 binary64)
#s(literal -1/8 binary64)
lamdp
tanph
xj
%23
%24
%25
%27
%28
%29
%30
%31
%32
%33
%34
%35
%36
%38
%39
%40
%41
%44
%45
%46
%47
%48
%49
%50
%52
%53
%54
%55
%56
%57
%58
%59
%60
%62
%63
%64
%65
%66
%67
%68
%69
%70
%71
%72
%73
%75
%76
%77
%78
%80
%82
%83
%84
%85
%86
%87
%88
%89
%90
%91
%92
%93
%94
%95
%96
%97
%99
%100
%101
%102
%104
%106
%109
%112
%113
%115
%116
%117
%118
%119
%120
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%132
%134
%135
%137
%138
%139
%142
%145
%146
%147
%150
%151
%152
%153
%154
%155
%156
%157
%158
%159
%160
%161
%162
%163
%164
%165
%166
%167
%168
%169
%170
%171
%172
%173
%174
%175
%176
%177
%178
%179
%180
%181
%182
%183
%184
%185
%186
%187
%188
%189
%191
%193
%194
%195
%196
%197
%198
%199
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%212
%213
%215
%217
%220
%221
%223
%224
%288
(fma.f64 c3 #s(literal 3 binary64) #s(literal 3 binary64))
(+.f64 #s(literal 3 binary64) %249)
(+.f64 %249 #s(literal 3 binary64))
(-.f64 #s(literal 3 binary64) %249)
(-.f64 %249 #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) %246 #s(literal 3 binary64))
(fma.f64 %246 #s(literal 3 binary64) #s(literal 3 binary64))
(neg.f64 %288)
(+.f64 #s(literal 3 binary64) %288)
(+.f64 %288 #s(literal 3 binary64))
(-.f64 %288 #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) %26 %249)
(fma.f64 %26 #s(literal 3 binary64) %249)
(fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) %249)
(fma.f64 #s(literal 3 binary64) %249 #s(literal 3 binary64))
(fma.f64 %249 #s(literal 3 binary64) #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) %288)
(*.f64 %288 #s(literal 3 binary64))
(/.f64 %288 #s(literal 3 binary64))
(fma.f64 %37 #s(literal 3 binary64) %249)
(fma.f64 #s(literal 3 binary64) %26 %288)
(fma.f64 %26 #s(literal 3 binary64) %288)
(fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) %288)
(fma.f64 #s(literal 3 binary64) c3 %288)
(fma.f64 #s(literal 3 binary64) %288 #s(literal 3 binary64))
(fma.f64 c3 #s(literal 3 binary64) %288)
(fma.f64 %288 #s(literal 3 binary64) #s(literal 3 binary64))
(+.f64 %249 %288)
(+.f64 %288 %249)
(-.f64 %249 %288)
(-.f64 %288 %249)
(fma.f64 %37 #s(literal 3 binary64) %288)
(fma.f64 #s(literal 3 binary64) %246 %288)
(fma.f64 %246 #s(literal 3 binary64) %288)
(/.f64 #s(literal 3 binary64) (/.f64 #s(literal 3 binary64) %288))
(+.f64 %288 %288)
(fma.f64 #s(literal 3 binary64) %249 %288)
(fma.f64 #s(literal 3 binary64) %288 %249)
(fma.f64 %249 #s(literal 3 binary64) %288)
(fma.f64 %288 #s(literal 3 binary64) %249)
(fma.f64 %107 %108 %249)
(fma.f64 %110 %111 %249)
(fma.f64 #s(literal 3 binary64) %288 %288)
(fma.f64 %288 #s(literal 3 binary64) %288)
(fma.f64 %140 %141 %249)
(fma.f64 %143 %144 %249)
(fma.f64 %107 %108 %288)
(fma.f64 %110 %111 %288)
(fma.f64 %140 %141 %288)
(fma.f64 %143 %144 %288)
(fma.f64 #s(literal 3 binary64) c1 %288)
(fma.f64 #s(literal 3 binary64) c3 %341)
%344
(fma.f64 c1 #s(literal 3 binary64) %288)
(fma.f64 c3 #s(literal 3 binary64) %341)
(+.f64 #s(literal 3 binary64) %347)
(+.f64 %226 %288)
(+.f64 %249 %341)
(+.f64 %288 %226)
(+.f64 %341 %249)
(+.f64 %347 #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) %354 #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) %356 #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) %358 #s(literal 3 binary64))
(-.f64 #s(literal 3 binary64) %347)
(-.f64 %226 %288)
(-.f64 %249 %341)
(-.f64 %288 %226)
(-.f64 %341 %249)
(-.f64 %347 #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) %1 %288)
(fma.f64 #s(literal 3 binary64) %246 %341)
(fma.f64 #s(literal 3 binary64) %368 #s(literal 3 binary64))
(fma.f64 %1 #s(literal 3 binary64) %288)
(fma.f64 %246 #s(literal 3 binary64) %341)
(neg.f64 %344)
(fma.f64 #s(literal 3 binary64) %373 #s(literal 3 binary64))
(+.f64 #s(literal 3 binary64) %344)
(+.f64 %344 #s(literal 3 binary64))
(-.f64 %344 #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) %26 %347)
(fma.f64 %26 #s(literal 3 binary64) %347)
(fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) %347)
(fma.f64 #s(literal 3 binary64) %226 %288)
(fma.f64 #s(literal 3 binary64) %249 %341)
(fma.f64 #s(literal 3 binary64) %288 %226)
(fma.f64 #s(literal 3 binary64) %341 %249)
(fma.f64 #s(literal 3 binary64) %347 #s(literal 3 binary64))
(fma.f64 %226 #s(literal 3 binary64) %288)
(fma.f64 %249 #s(literal 3 binary64) %341)
(fma.f64 %288 #s(literal 3 binary64) %226)
(fma.f64 %341 #s(literal 3 binary64) %249)
(fma.f64 %347 #s(literal 3 binary64) #s(literal 3 binary64))
(*.f64 #s(literal 3 binary64) %344)
(*.f64 %344 #s(literal 3 binary64))
(/.f64 %344 #s(literal 3 binary64))
(fma.f64 %233 #s(literal 3 binary64) %288)
(fma.f64 %37 #s(literal 3 binary64) %347)
(fma.f64 #s(literal 3 binary64) %26 %344)
(fma.f64 %26 #s(literal 3 binary64) %344)
(fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) %344)
(fma.f64 #s(literal 3 binary64) c3 %344)
(fma.f64 #s(literal 3 binary64) %344 #s(literal 3 binary64))
(fma.f64 #s(literal 3 binary64) %343 %288)
(fma.f64 c3 #s(literal 3 binary64) %344)
(fma.f64 %344 #s(literal 3 binary64) #s(literal 3 binary64))
(+.f64 %249 %344)
(+.f64 %288 %347)
(+.f64 %344 %249)
(+.f64 %347 %288)
(fma.f64 #s(literal 3 binary64) %354 %288)
(fma.f64 #s(literal 3 binary64) %356 %288)
(fma.f64 #s(literal 3 binary64) %358 %288)
(-.f64 %249 %344)
(-.f64 %288 %347)
(-.f64 %344 %249)
(-.f64 %347 %288)
(fma.f64 %37 #s(literal 3 binary64) %344)
(fma.f64 #s(literal 3 binary64) %246 %344)
(fma.f64 #s(literal 3 binary64) %368 %288)
(fma.f64 %246 #s(literal 3 binary64) %344)
(fma.f64 #s(literal 3 binary64) %373 %288)
(/.f64 #s(literal 3 binary64) (/.f64 #s(literal 3 binary64) %344))
(fma.f64 #s(literal 3 binary64) %249 %344)
(fma.f64 #s(literal 3 binary64) %288 %347)
(fma.f64 #s(literal 3 binary64) %344 %249)
(fma.f64 #s(literal 3 binary64) %347 %288)
(fma.f64 %249 #s(literal 3 binary64) %344)
(fma.f64 %288 #s(literal 3 binary64) %347)
(fma.f64 %344 #s(literal 3 binary64) %249)
(fma.f64 %347 #s(literal 3 binary64) %288)
(fma.f64 %107 %108 %347)
(fma.f64 %110 %111 %347)
(fma.f64 %140 %141 %347)
(fma.f64 %143 %144 %347)
(fma.f64 %107 %108 %344)
(fma.f64 %110 %111 %344)
(fma.f64 %140 %141 %344)
(fma.f64 %143 %144 %344)
(+.f64 %344 %344)
(fma.f64 #s(literal 3 binary64) %344 %344)
(fma.f64 %344 #s(literal 3 binary64) %344)
reconstruct132.0ms (0.1%)
Memory
-10.1MiB live, 20.5MiB allocated; 3ms collecting garbage
eval5.5s (3.7%)
Memory
-152.5MiB live, 405.5MiB allocated; 784ms collecting garbage
Compiler
Compiled 67 824 to 10 819 computations (84.0% saved)
prune2.0s (1.4%)
Memory
0.9MiB live, 382.7MiB allocated; 60ms collecting garbage
Pruning
150 alts after pruning (150 fresh and 0 done)
PrunedKeptTotal
New2 4631502 613
Fresh000
Picked101
Done000
Total2 4641502 614
Accuracy
91.0%
Counts
2 614 → 150
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶5.0%
%4 = (fma.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 c1) #s(literal 3 binary64))
(fma.f64 %4 #s(literal 3 binary64) %4)
▶5.1%
(fma.f64 (fma.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 c1) #s(literal 3 binary64)) #s(literal 3 binary64) (*.f64 c3 #s(literal 3 binary64)))
▶5.6%
(fma.f64 (/.f64 c1 #s(literal 3 binary64)) #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64)))
▶4.2%
(fma.f64 (+.f64 s #s(literal 3 binary64)) (-.f64 s #s(literal 3 binary64)) (fma.f64 #s(literal 3 binary64) c1 (*.f64 c3 #s(literal 3 binary64))))
▶4.3%
(fma.f64 (+.f64 #s(literal 3 binary64) s) (-.f64 #s(literal 3 binary64) s) (fma.f64 #s(literal 3 binary64) c1 (*.f64 c3 #s(literal 3 binary64))))
▶5.2%
(fma.f64 (*.f64 c1 #s(literal 3 binary64)) #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64)))
▶5.2%
(fma.f64 (neg.f64 (PI.f64 )) #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c1 (*.f64 c3 #s(literal 3 binary64))))
▶5.1%
(fma.f64 (neg.f64 c3) #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c1 #s(literal 3 binary64)))
▶5.2%
(fma.f64 (PI.f64 ) #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 c1) #s(literal 3 binary64)))
▶5.3%
(fma.f64 (PI.f64 ) #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c1 (*.f64 c3 #s(literal 3 binary64))))
▶5.3%
(fma.f64 c3 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c1 #s(literal 3 binary64)))
▶5.3%
(fma.f64 c1 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64)))
▶5.3%
(fma.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 (neg.f64 c1)) #s(literal 3 binary64))
▶5.2%
(fma.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 c1) #s(literal 3 binary64))
▶5.3%
(fma.f64 #s(literal 3 binary64) (-.f64 (*.f64 c3 #s(literal 3 binary64)) c1) #s(literal 3 binary64))
▶5.0%
(fma.f64 #s(literal 3 binary64) (-.f64 c1 (*.f64 c3 #s(literal 3 binary64))) #s(literal 3 binary64))
▶5.6%
(/.f64 (fma.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 c1) #s(literal 3 binary64)) #s(literal 3 binary64))
▶5.3%
(-.f64 (fma.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 c1) #s(literal 3 binary64)) #s(literal 3 binary64))
▶4.3%
(-.f64 (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64)) (fma.f64 #s(literal 3 binary64) c1 (*.f64 c3 #s(literal 3 binary64))))
▶4.1%
(-.f64 (fma.f64 #s(literal 3 binary64) c1 (*.f64 c3 #s(literal 3 binary64))) (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64)))
▶5.2%
(-.f64 (fma.f64 #s(literal 3 binary64) c1 (*.f64 c3 #s(literal 3 binary64))) #s(literal 3 binary64))
▶5.3%
(-.f64 (*.f64 c3 #s(literal 3 binary64)) (fma.f64 #s(literal 3 binary64) c1 #s(literal 3 binary64)))
▶5.0%
(-.f64 (*.f64 c1 #s(literal 3 binary64)) (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64)))
▶5.2%
(-.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c1 (*.f64 c3 #s(literal 3 binary64))))
▶5.2%
(+.f64 (fma.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 c1) #s(literal 3 binary64)) #s(literal 3 binary64))
▶30.3%
(+.f64 (*.f64 c1 (fma.f64 (*.f64 (fabs.f64 s) #s(literal 3 binary64)) #s(literal 3 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶36.1%
%2 = (neg.f64 (PI.f64 ))
(+.f64 (*.f64 c1 (fma.f64 %2 #s(literal 3 binary64) %2)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶30.3%
(+.f64 (*.f64 c1 (fma.f64 (fabs.f64 s) #s(literal 3 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶36.1%
%1 = (PI.f64 )
(+.f64 (*.f64 c1 (fma.f64 %1 #s(literal 3 binary64) %1)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶36.0%
(+.f64 (*.f64 c1 (pow.f64 #s(literal 3 binary64) #s(literal 3 binary64))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶30.3%
(+.f64 (*.f64 c1 (-.f64 (fabs.f64 s) #s(literal 3 binary64))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶30.2%
(+.f64 (*.f64 c1 (-.f64 #s(literal 3 binary64) (*.f64 (fabs.f64 s) #s(literal 3 binary64)))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶30.3%
(+.f64 (*.f64 c1 (-.f64 #s(literal 3 binary64) (fabs.f64 s))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶36.1%
(+.f64 (*.f64 c1 (*.f64 (PI.f64 ) #s(literal 3 binary64))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶16.7%
%4 = (fma.f64 (fabs.f64 s) #s(literal 3 binary64) #s(literal 3 binary64))
(+.f64 (*.f64 c1 (sin.f64 %4)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) %4))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶16.4%
%3 = (-.f64 (PI.f64 ) #s(literal 3 binary64))
(+.f64 (*.f64 c1 (sin.f64 %3)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) %3))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶16.4%
%5 = (-.f64 #s(literal 3 binary64) (*.f64 (fabs.f64 s) #s(literal 3 binary64)))
(+.f64 (*.f64 c1 (sin.f64 %5)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) %5))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶16.8%
%2 = (*.f64 #s(literal 3 binary64) #s(literal 3 binary64))
(+.f64 (*.f64 c1 (sin.f64 %2)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) %2))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶16.5%
%2 = (sqrt.f64 #s(literal 3 binary64))
(+.f64 (*.f64 c1 (sin.f64 %2)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) %2))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶16.7%
%2 = (expm1.f64 #s(literal 3 binary64))
(+.f64 (*.f64 c1 (sin.f64 %2)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) %2))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶16.7%
%3 = (cos.f64 (atan.f64 #s(literal 3 binary64)))
(+.f64 (*.f64 c1 (sin.f64 %3)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) %3))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶26.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (fma.f64 (neg.f64 (PI.f64 )) #s(literal 3 binary64) (*.f64 c3 #s(literal 3 binary64))))
▶26.4%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (fma.f64 (neg.f64 c3) #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64))))
▶26.8%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (fma.f64 (PI.f64 ) #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64))))
▶26.8%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (fma.f64 c3 #s(literal 3 binary64) #s(literal 3 binary64)))
▶27.4%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (/.f64 (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64)) #s(literal 3 binary64)))
▶27.2%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (-.f64 (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64)) (*.f64 c3 #s(literal 3 binary64))))
▶30.0%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (-.f64 (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64)) #s(literal 3 binary64)))
▶27.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (-.f64 (*.f64 c3 #s(literal 3 binary64)) (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64))))
▶26.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (-.f64 (*.f64 c3 #s(literal 3 binary64)) #s(literal 3 binary64)))
▶26.5%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (-.f64 #s(literal 3 binary64) (*.f64 c3 #s(literal 3 binary64))))
▶41.1%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (/.f64 (neg.f64 c3) #s(literal 3 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.4%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (/.f64 c3 #s(literal 3 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶40.9%
%5 = (PI.f64 )
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (fma.f64 %5 #s(literal 3 binary64) %5)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶40.8%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (pow.f64 #s(literal 3 binary64) #s(literal 3 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶32.5%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (-.f64 (fabs.f64 s) #s(literal 3 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (-.f64 (PI.f64 ) #s(literal 3 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶32.4%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (-.f64 #s(literal 3 binary64) (*.f64 (fabs.f64 s) #s(literal 3 binary64)))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶32.5%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (-.f64 #s(literal 3 binary64) (fabs.f64 s))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.0%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (-.f64 #s(literal 3 binary64) (PI.f64 ))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.0%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (*.f64 (PI.f64 ) #s(literal 3 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (tanh.f64 (asinh.f64 #s(literal 3 binary64)))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.8%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (tanh.f64 #s(literal 3 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (/.f64 (neg.f64 (PI.f64 )) #s(literal 3 binary64)))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.4%
%5 = (PI.f64 )
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (fma.f64 %5 #s(literal 3 binary64) (neg.f64 %5)) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.4%
%5 = (PI.f64 )
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (fma.f64 %5 #s(literal 3 binary64) %5) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶51.8%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) (PI.f64 )) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶50.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (/.f64 (+.f64 #s(literal 3 binary64) (*.f64 #s(literal 3 binary64) (neg.f64 (PI.f64 )))) #s(literal 3 binary64)) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.6%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (/.f64 (PI.f64 ) #s(literal 3 binary64)) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶50.4%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (-.f64 #s(literal 3 binary64) (PI.f64 )) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.5%
%6 = (PI.f64 )
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (+.f64 #s(literal 3 binary64) (+.f64 %6 %6)) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶50.1%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (*.f64 (neg.f64 (PI.f64 )) #s(literal 3 binary64)) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (tanh.f64 #s(literal 3 binary64)) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.4%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (sin.f64 #s(literal 3 binary64)) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.2%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶53.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (cosh.f64 (asinh.f64 #s(literal 3 binary64))) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.0%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 (cos.f64 (atan.f64 #s(literal 3 binary64))) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶29.1%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (fma.f64 (fabs.f64 s) #s(literal 3 binary64) #s(literal 3 binary64))))
▶28.9%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (-.f64 (fabs.f64 s) #s(literal 3 binary64))))
▶45.0%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (fma.f64 #s(literal 3 binary64) #s(literal 3 binary64) #s(literal 3 binary64)))))
▶40.2%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (approx (sqrt (+ (* xj xj) (* s s))) (*.f64 #s(literal -1 binary64) s))))))
▶39.5%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj lamdp))))
▶54.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (approx (/ xj (sqrt (+ (* xj xj) (* s s)))) (/.f64 xj s)))))
▶40.6%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph tanph)))
▶45.1%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph #s(literal 1/8 binary64))))
▶45.0%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph #s(literal -1/8 binary64))))
▶36.6%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) xj))
▶36.2%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) lamdp))
▶41.2%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) #s(literal 8 binary64)))
▶41.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) #s(literal 1/8 binary64)))
▶41.2%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) #s(literal -1/8 binary64)))
▶41.5%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) #s(literal 3 binary64)))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.0%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 1/4 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 1/8 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶50.2%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal -1/8 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶50.8%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal -1/4 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶49.8%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal -3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (tanh.f64 (asinh.f64 #s(literal 3 binary64))))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (sqrt.f64 #s(literal 3 binary64)))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.4%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 (expm1.f64 #s(literal 3 binary64)))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶43.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 tanph)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.8%
%2 = (sin.f64 lamdp)
(+.f64 (*.f64 c1 %2) (+.f64 (*.f64 c3 %2) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 #s(literal 8 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.2%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 #s(literal 4 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.8%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 #s(literal 3/2 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.5%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 #s(literal 1/2 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 #s(literal 1/8 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.0%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 #s(literal -1/4 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.1%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 #s(literal -1/2 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.2%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 #s(literal -1 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.2%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 #s(literal -2 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (sin.f64 #s(literal -4 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶40.9%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (expm1.f64 #s(literal 3 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶40.9%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (exp.f64 #s(literal 3 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 (cos.f64 #s(literal 3 binary64))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶38.1%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 xj) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶32.5%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 tanph) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 lamdp) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.0%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 #s(literal 8 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.7%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 #s(literal 1 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.5%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 #s(literal 1/2 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.4%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 #s(literal 1/4 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 #s(literal 1/8 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶40.9%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 #s(literal -1/8 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.0%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 #s(literal -1/4 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.1%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 #s(literal -1/2 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶41.3%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (*.f64 c3 #s(literal -1 binary64)) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶52.5%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (+.f64 (approx (* c3 (sin (* 3 lamdp))) (*.f64 #s(literal 3 binary64) (*.f64 c3 lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶26.5%
(+.f64 (*.f64 c1 (sin.f64 lamdp)) (neg.f64 (fma.f64 #s(literal 3 binary64) c3 #s(literal 3 binary64))))
▶16.5%
(+.f64 (*.f64 c1 (sin.f64 #s(literal 8 binary64))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) #s(literal 8 binary64)))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶16.6%
(+.f64 (*.f64 c1 (sin.f64 #s(literal 3/2 binary64))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) #s(literal 3/2 binary64)))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶16.7%
(+.f64 (*.f64 c1 (sin.f64 #s(literal 1/4 binary64))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) #s(literal 1/4 binary64)))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶36.0%
(+.f64 (*.f64 c1 (expm1.f64 #s(literal 3 binary64))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶36.0%
(+.f64 (*.f64 c1 (exp.f64 #s(literal 3 binary64))) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶34.6%
(+.f64 (*.f64 c1 xj) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶31.7%
(+.f64 (*.f64 c1 tanph) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶36.2%
(+.f64 (*.f64 c1 #s(literal 8 binary64)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶43.3%
(+.f64 (*.f64 c1 #s(literal 0 binary64)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶36.5%
(+.f64 (*.f64 c1 #s(literal -1/8 binary64)) (+.f64 (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))) (*.f64 tanph (/.f64 xj (sqrt.f64 (+.f64 (*.f64 xj xj) (*.f64 s s)))))))
▶5.1%
(*.f64 (fma.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 c1) #s(literal 3 binary64)) #s(literal 3 binary64))
▶5.0%
(neg.f64 (fma.f64 #s(literal 3 binary64) (fma.f64 #s(literal 3 binary64) c3 c1) #s(literal 3 binary64)))
▶40.0%
(approx (+ (* c1 (sin lamdp)) (+ (* c3 (sin (* 3 lamdp))) (* tanph (/ xj (sqrt (+ (* xj xj) (* s s))))))) (fma.f64 lamdp (+.f64 c1 (*.f64 #s(literal 3 binary64) c3)) (/.f64 (*.f64 tanph xj) (sqrt.f64 (+.f64 (pow.f64 s #s(literal 2 binary64)) (pow.f64 xj #s(literal 2 binary64)))))))
▶41.8%
(approx (+ (* c1 (sin lamdp)) (+ (* c3 (sin (* 3 lamdp))) (* tanph (/ xj (sqrt (+ (* xj xj) (* s s))))))) (fma.f64 c1 (sin.f64 lamdp) (fma.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)) (/.f64 (*.f64 tanph xj) (sqrt.f64 (pow.f64 xj #s(literal 2 binary64)))))))
▶51.9%
(approx (+ (* c1 (sin lamdp)) (+ (* c3 (sin (* 3 lamdp))) (* tanph (/ xj (sqrt (+ (* xj xj) (* s s))))))) (fma.f64 c1 (sin.f64 lamdp) (fma.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)) (/.f64 (*.f64 tanph xj) s))))
▶34.0%
%29 = (sqrt.f64 (pow.f64 s #s(literal 2 binary64)))
(approx (+ (* c1 (sin lamdp)) (+ (* c3 (sin (* 3 lamdp))) (* tanph (/ xj (sqrt (+ (* xj xj) (* s s))))))) (fma.f64 c1 (sin.f64 lamdp) (fma.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)) (*.f64 xj (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 tanph (pow.f64 xj #s(literal 2 binary64))) (pow.f64 %29 #s(literal 3 binary64))) (/.f64 tanph %29))))))
▶51.6%
(approx (+ (* c1 (sin lamdp)) (+ (* c3 (sin (* 3 lamdp))) (* tanph (/ xj (sqrt (+ (* xj xj) (* s s))))))) (fma.f64 c1 (sin.f64 lamdp) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)))))
▶40.3%
(approx (+ (* c1 (sin lamdp)) (+ (* c3 (sin (* 3 lamdp))) (* tanph (/ xj (sqrt (+ (* xj xj) (* s s))))))) (fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 tanph xj) s) (fma.f64 c1 (sin.f64 lamdp) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))))))
▶54.6%
(approx (+ (* c1 (sin lamdp)) (+ (* c3 (sin (* 3 lamdp))) (* tanph (/ xj (sqrt (+ (* xj xj) (* s s))))))) (fma.f64 #s(literal -1 binary64) tanph (fma.f64 c1 (sin.f64 lamdp) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))))))
▶56.1%
(approx (+ (* c1 (sin lamdp)) (+ (* c3 (sin (* 3 lamdp))) (* tanph (/ xj (sqrt (+ (* xj xj) (* s s))))))) (+.f64 tanph (fma.f64 c1 (sin.f64 lamdp) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp))))))
▶31.9%
(approx (+ (* c1 (sin lamdp)) (+ (* c3 (sin (* 3 lamdp))) (* tanph (/ xj (sqrt (+ (* xj xj) (* s s))))))) (+.f64 tanph (fma.f64 #s(literal -1/2 binary64) (/.f64 (*.f64 (pow.f64 s #s(literal 2 binary64)) tanph) (pow.f64 xj #s(literal 2 binary64))) (fma.f64 c1 (sin.f64 lamdp) (*.f64 c3 (sin.f64 (*.f64 #s(literal 3 binary64) lamdp)))))))
Compiler
Compiled 2 895 to 548 computations (81.1% saved)
sample309.0ms (0.2%)
Memory
-24.3MiB live, 8.7MiB allocated; 14ms collecting garbage
Calls
Call 1
Inputs
%1 = (sqrt 3)
%2 = (PI )
%4 = (- %2 3)
%5 = (* %2 3)
%6 = (* 3 3)
%7 = (neg %2)
%9 = (* %7 3)
%10 = (/ %7 3)
%14 = (+ %2 %2)
%18 = (exp 3)
%20 = (- %18 1)
%22 = (* 3 %7)
%23 = (+ 3 %22)
%25 = (asinh 3)
%26 = (tanh %25)
%31 = (atan 3)
%32 = (cos %31)
%48 = (* 3 8)
%52 = (* 3 3/2)
%56 = (* 3 1/4)
%63 = (* 3 %1)
%66 = (* 3 %4)
%68 = (* 3 %6)
%72 = (* 3 %20)
%76 = (* 3 %32)
%1
%2
(- 3 %2)
%4
%5
%6
%7
(/ %2 3)
%9
%10
(+ %5 %2)
(+ %6 %2)
(+ %6 3)
%14
(+ 3 %14)
(+ %5 %7)
(+ %9 %7)
%20
(tanh 3)
%22
%23
(/ %23 3)
%18
%25
%26
(pow 3 3)
(cosh %25)
(cos 3)
(sin 3)
%31
%32
(sin %6)
(sin 4)
(sin 1/2)
(sin -1)
(sin -4)
(sin -1/2)
(sin -2)
(sin 8)
%48
(sin %48)
(sin 3/2)
%52
(sin %52)
(sin 1/4)
%56
(sin %56)
(sin 1/8)
(sin -1/4)
(sin %1)
%63
(sin %63)
(sin %4)
%66
(sin %66)
%68
(sin %68)
(sin %10)
(sin %20)
%72
(sin %72)
(sin %26)
(sin %32)
%76
(sin %76)
Outputs
#s(literal 3900231685776981/2251799813685248 binary64)
#s(literal 884279719003555/281474976710656 binary64)
#s(literal -1275353243890785/9007199254740992 binary64)
#s(literal 1275353243890785/9007199254740992 binary64)
#s(literal 2652839157010665/281474976710656 binary64)
#s(literal 9 binary64)
#s(literal -884279719003555/281474976710656 binary64)
#s(literal 2358079250676147/2251799813685248 binary64)
#s(literal -2652839157010665/281474976710656 binary64)
#s(literal -2358079250676147/2251799813685248 binary64)
#s(literal 884279719003555/70368744177664 binary64)
#s(literal 3417554509399459/281474976710656 binary64)
#s(literal 12 binary64)
#s(literal 884279719003555/140737488355328 binary64)
#s(literal 1306492184069539/140737488355328 binary64)
#s(literal 884279719003555/140737488355328 binary64)
#s(literal -884279719003555/70368744177664 binary64)
#s(literal 2686050530482307/140737488355328 binary64)
#s(literal 35010376702475/35184372088832 binary64)
#s(literal -2652839157010665/281474976710656 binary64)
#s(literal -1808414226878697/281474976710656 binary64)
#s(literal -602804742292899/281474976710656 binary64)
#s(literal 2826788018837635/140737488355328 binary64)
#s(literal 4094777398095367/2251799813685248 binary64)
#s(literal 4272489747592907/4503599627370496 binary64)
#s(literal 27 binary64)
#s(literal 7120816245988179/2251799813685248 binary64)
#s(literal -4458529838789353/4503599627370496 binary64)
#s(literal 5084384125703515/36028797018963968 binary64)
#s(literal 175787564848171/140737488355328 binary64)
#s(literal 5696652996790543/18014398509481984 binary64)
#s(literal 7424066626269073/18014398509481984 binary64)
#s(literal -3408335435861847/4503599627370496 binary64)
#s(literal 539785169252447/1125899906842624 binary64)
#s(literal -3789648413623927/4503599627370496 binary64)
#s(literal 3408335435861847/4503599627370496 binary64)
#s(literal -539785169252447/1125899906842624 binary64)
#s(literal -4095111552621091/4503599627370496 binary64)
#s(literal 8911346861657979/9007199254740992 binary64)
#s(literal 24 binary64)
#s(literal -8156724747375631/9007199254740992 binary64)
#s(literal 8984636099947915/9007199254740992 binary64)
#s(literal 9/2 binary64)
#s(literal -68787566775937/70368744177664 binary64)
#s(literal 8913667029669239/36028797018963968 binary64)
#s(literal 3/4 binary64)
#s(literal 6139656131284749/9007199254740992 binary64)
#s(literal 4491880662529819/36028797018963968 binary64)
#s(literal -8913667029669239/36028797018963968 binary64)
#s(literal 1111293207645827/1125899906842624 binary64)
#s(literal 45705840067699/8796093022208 binary64)
#s(literal -7973630040864169/9007199254740992 binary64)
#s(literal 5084384125703515/36028797018963968 binary64)
#s(literal 7652119463344711/18014398509481984 binary64)
#s(literal 7424066626269073/18014398509481984 binary64)
#s(literal 27 binary64)
#s(literal 538391784348579/562949953421312 binary64)
#s(literal -3900231685776981/4503599627370496 binary64)
#s(literal 8423421467804411/36028797018963968 binary64)
#s(literal 8058151591446921/140737488355328 binary64)
#s(literal 5857133495184783/9007199254740992 binary64)
#s(literal 7319690536200243/9007199254740992 binary64)
#s(literal 5602182372540559/18014398509481984 binary64)
#s(literal 4272489747592907/4503599627370496 binary64)
#s(literal 7319690536200243/9007199254740992 binary64)
Samples
0.0ms1×0valid
Compiler
Compiled 239 to 79 computations (66.9% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)
series1.9min (75.7%)
Memory
109.7MiB live, 4 736.5MiB allocated; 1.5s collecting garbage
Calls
18 calls:
TimeVariablePoint
808.0ms
lamdp
0
746.0ms
c3
0
608.0ms
lamdp
inf
468.0ms
c1
0
419.0ms
s
-inf
end0.0ms (0.0%)
Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Profiling
Loading profile data...