FastMath test5

Time bar (total: 2.2min)

analyze0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 21 to 11 computations (47.6% saved)

sample1.2s (0.9%)

Memory
-21.1MiB live, 1 725.2MiB allocated
Samples
901.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 406.0ms
ival-mult: 399.0ms (98.2% of total)
ival-true: 5.0ms (1.2% of total)
ival-assert: 3.0ms (0.7% of total)
Bogosity

preprocess39.0ms (0%)

Memory
8.3MiB live, 46.9MiB allocated
Algorithm
1×egg-herbie
Rules
336×associate-*r*
144×associate-*l*
128×distribute-lft-neg-in
120×unsub-neg
98×distribute-lft-neg-out
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01139
15427
223417
37439
48757
59497
69507
79507
89507
0919
01715
13311
2637
3833
4953
5983
0983
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))))
Symmetry

(abs d1)

explain186.0ms (0.1%)

Memory
-14.4MiB live, 240.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
00-0-(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
00-0-(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
00-0-(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
00-0-(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
00-0-d1
00-0-(*.f64 d1 (*.f64 d1 d1))
00-0-(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1))
00-0-(*.f64 d1 d1)
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
40.0ms512×0valid
Compiler

Compiled 222 to 40 computations (82% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.0ms
ival-mult: 27.0ms (97.9% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 20 to 9 computations (55% saved)

simplify7.0ms (0%)

Memory
14.6MiB live, 14.6MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
✓cost-diff0
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
✓cost-diff0
(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
✓cost-diff0
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1))
✓cost-diff0
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Rules
90×lower-*.f32
74×lower-*.f64
42×associate-*r*
32×associate-*l*
24×lower-pow.f64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0989
01767
13349
26333
38325
49525
59825
09825
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1))
d1
(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))))
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))))
d1
(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))))
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
(*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))))
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)

localize37.0ms (0%)

Memory
-7.9MiB live, 69.1MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
✓accuracy99.9%
(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
✓accuracy99.9%
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
✓accuracy99.9%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓accuracy99.9%
(*.f64 d1 (*.f64 d1 d1))
Samples
24.0ms256×0valid
Compiler

Compiled 91 to 11 computations (87.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.0ms
ival-mult: 18.0ms (99.1% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series9.0ms (0%)

Memory
-21.7MiB live, 17.0MiB allocated
Counts
6 → 72
Calls
Call 1
Inputs
#<alt (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)>
#<alt (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1))>
#<alt (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)>
#<alt (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))>
#<alt (*.f64 d1 (*.f64 d1 d1))>
#<alt (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)>
Outputs
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 9)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
Calls

18 calls:

TimeVariablePointExpression
1.0ms
d1
@0
(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.0ms
d1
@0
(* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
0.0ms
d1
@0
(* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))
0.0ms
d1
@inf
(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)
0.0ms
d1
@-inf
(* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1))

simplify5.0ms (0%)

Memory
13.9MiB live, 13.9MiB allocated
Algorithm
1×egg-herbie
Rules
12×lower-pow.f64
12×lower-pow.f32
6×lower-*.f64
6×lower-*.f32
2×cube-mult
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
013216
116216
016216
Stop Event
1×iter limit
1×saturated
Counts
72 → 72
Calls
Call 1
Inputs
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 9)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
Outputs
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 9)
(pow.f64 d1 #s(literal 9 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))

rewrite60.0ms (0%)

Memory
8.9MiB live, 91.4MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
1 074×pow-exp
470×flip3-+
430×pow-prod-down
420×pow-to-exp
350×frac-2neg
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0976
01790
13554
27830
318918
496418
529976
0112576
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
6 → 12
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1))
(*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
(*.f64 d1 (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
Outputs
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1

eval11.0ms (0%)

Memory
-15.7MiB live, 23.3MiB allocated
Compiler

Compiled 785 to 54 computations (93.1% saved)

prune6.0ms (0%)

Memory
20.1MiB live, 20.1MiB allocated
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New77784
Fresh000
Picked011
Done000
Total77885
Accuracy
100.0%
Counts
85 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
89.3%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
87.4%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
▶78.2%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
▶71.6%
(*.f64 (*.f64 d1 d1) d1)
▶58.5%
(*.f64 d1 d1)
▶100.0%
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
▶5.8%
d1
Compiler

Compiled 128 to 61 computations (52.3% saved)

simplify9.0ms (0%)

Memory
-22.7MiB live, 16.3MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 7 expressions of interest:

NewMetricScoreProgram
✓cost-diff0
(*.f64 d1 d1)
✓cost-diff0
(*.f64 d1 (*.f64 d1 d1))
✓cost-diff0
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓cost-diff0
(*.f64 d1 d1)
✓cost-diff0
(*.f64 (*.f64 d1 d1) d1)
✓cost-diff0
(*.f64 d1 d1)
✓cost-diff3584
(pow.f64 d1 #s(literal 10 binary64))
Rules
90×lower-*.f32
82×lower-*.f64
42×associate-*r*
32×associate-*l*
24×lower-pow.f32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01654
02156
13646
26638
38630
49730
510030
010030
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
(pow.f64 d1 #s(literal 10 binary64))
d1
#s(literal 10 binary64)
d1
(*.f64 d1 d1)
d1
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 d1)
d1
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 d1))
d1
(*.f64 d1 d1)
Outputs
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 d1)))
(pow.f64 d1 #s(literal 10 binary64))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 d1)))
d1
#s(literal 10 binary64)
d1
(*.f64 d1 d1)
d1
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)
d1
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 d1 (*.f64 d1 d1))
d1
(*.f64 d1 d1)

localize43.0ms (0%)

Memory
9.3MiB live, 90.7MiB allocated
Localize:

Found 7 expressions of interest:

NewMetricScoreProgram
✓accuracy100.0%
(*.f64 d1 d1)
✓accuracy99.9%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓accuracy99.9%
(*.f64 d1 (*.f64 d1 d1))
✓accuracy100.0%
(*.f64 d1 d1)
✓accuracy99.9%
(*.f64 (*.f64 d1 d1) d1)
✓accuracy100.0%
(*.f64 d1 d1)
✓accuracy100.0%
(pow.f64 d1 #s(literal 10 binary64))
Samples
28.0ms256×0valid
Compiler

Compiled 56 to 14 computations (75% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.0ms
ival-mult: 17.0ms (84% of total)
ival-pow: 3.0ms (14.8% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series1.0ms (0%)

Memory
3.0MiB live, 3.0MiB allocated
Counts
5 → 60
Calls
Call 1
Inputs
#<alt (pow.f64 d1 #s(literal 10 binary64))>
#<alt (*.f64 d1 d1)>
#<alt (*.f64 (*.f64 d1 d1) d1)>
#<alt (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)>
#<alt (*.f64 d1 (*.f64 d1 d1))>
Outputs
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 10)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
Calls

15 calls:

TimeVariablePointExpression
0.0ms
d1
@0
(* d1 d1)
0.0ms
d1
@inf
(* d1 d1)
0.0ms
d1
@inf
(pow d1 10)
0.0ms
d1
@0
(pow d1 10)
0.0ms
d1
@-inf
(* d1 d1)

simplify5.0ms (0%)

Memory
11.5MiB live, 11.5MiB allocated
Algorithm
1×egg-herbie
Rules
8×lower-pow.f64
8×lower-pow.f32
6×lower-*.f64
6×lower-*.f32
2×cube-mult
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09180
112180
214180
316180
016180
Stop Event
1×iter limit
1×saturated
Counts
60 → 60
Calls
Call 1
Inputs
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 10)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
Outputs
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 10)
(pow.f64 d1 #s(literal 10 binary64))
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))

rewrite42.0ms (0%)

Memory
0.2MiB live, 39.0MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
1 262×pow-exp
798×frac-add
712×frac-times
628×frac-sub
546×unpow-prod-down
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0723
01215
12415
25415
313215
43985
523975
0102205
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
5 → 10
Calls
Call 1
Inputs
(pow.f64 d1 #s(literal 10 binary64))
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 d1))
Outputs
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1

eval11.0ms (0%)

Memory
-16.7MiB live, 21.8MiB allocated
Compiler

Compiled 389 to 11 computations (97.2% saved)

prune4.0ms (0%)

Memory
12.1MiB live, 12.1MiB allocated
Pruning

8 alts after pruning (2 fresh and 6 done)

PrunedKeptTotal
New84084
Fresh022
Picked055
Done011
Total84892
Accuracy
100.0%
Counts
92 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
▶89.3%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶87.4%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
✓78.2%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓71.6%
(*.f64 (*.f64 d1 d1) d1)
✓58.5%
(*.f64 d1 d1)
✓100.0%
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
✓5.8%
d1
Compiler

Compiled 74 to 35 computations (52.7% saved)

simplify6.0ms (0%)

Memory
13.0MiB live, 13.0MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 8 expressions of interest:

NewMetricScoreProgram
✓cost-diff0
(*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1))
✓cost-diff0
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)
✓cost-diff0
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1))
✓cost-diff0
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓cost-diff0
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
✓cost-diff0
(*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)
✓cost-diff0
(*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1))
✓cost-diff0
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
Rules
56×lower-*.f32
36×lower-*.f64
20×lift-*.f64
20×associate-*l*
18×associate-*r*
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
011101
021101
14173
25147
36335
47535
57735
07735
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1))
d1
(*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1))
d1
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1))
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1))))
(*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
d1
(*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 d1 d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 d1) (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1))))
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1))
(*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1))))
d1
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1))
(*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)

localize45.0ms (0%)

Memory
-25.1MiB live, 59.6MiB allocated
Localize:

Found 8 expressions of interest:

NewMetricScoreProgram
✓accuracy99.9%
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)
✓accuracy99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓accuracy99.9%
(*.f64 (*.f64 d1 d1) d1)
✓accuracy99.9%
(*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1))
✓accuracy100.0%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
✓accuracy99.9%
(*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1))
✓accuracy99.9%
(*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)
✓accuracy99.8%
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Samples
28.0ms256×0valid
Compiler

Compiled 103 to 13 computations (87.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.0ms
ival-mult: 17.0ms (101% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series3.0ms (0%)

Memory
4.3MiB live, 4.3MiB allocated
Counts
9 → 108
Calls
Call 1
Inputs
#<alt (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)>
#<alt (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1))>
#<alt (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)>
#<alt (*.f64 (*.f64 d1 d1) (*.f64 d1 d1))>
#<alt (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)>
#<alt (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1))>
#<alt (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)>
#<alt (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1))>
#<alt (*.f64 (*.f64 d1 d1) d1)>
Outputs
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 8)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 7)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
Calls

27 calls:

TimeVariablePointExpression
0.0ms
d1
@0
(* (* (* d1 d1) (* d1 d1)) d1)
0.0ms
d1
@0
(* d1 (* (* (* d1 d1) (* d1 d1)) d1))
0.0ms
d1
@-inf
(* (* (* d1 d1) (* d1 d1)) d1)
0.0ms
d1
@inf
(* d1 (* (* (* d1 d1) (* d1 d1)) d1))
0.0ms
d1
@inf
(* (* (* d1 d1) (* d1 d1)) d1)

simplify6.0ms (0%)

Memory
7.2MiB live, 7.2MiB allocated
Algorithm
1×egg-herbie
Rules
12×lower-pow.f64
12×lower-pow.f32
6×lower-*.f64
6×lower-*.f32
2×cube-mult
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
013324
116324
016324
Stop Event
1×iter limit
1×saturated
Counts
108 → 108
Calls
Call 1
Inputs
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 8)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 7)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
Outputs
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 8)
(pow.f64 d1 #s(literal 8 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 7)
(pow.f64 d1 #s(literal 7 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))

rewrite93.0ms (0.1%)

Memory
-3.6MiB live, 71.6MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
1 426×prod-exp
1 212×lower-*.f64
1 212×lower-*.f32
1 060×associate-*r*
816×unpow-prod-down
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01193
02181
14645
28827
321727
410079
557989
658119
758599
860849
976779
080759
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
9 → 18
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1))
(*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1))
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1))
(*.f64 (*.f64 d1 d1) d1)
Outputs
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1

eval16.0ms (0%)

Memory
-17.3MiB live, 26.6MiB allocated
Compiler

Compiled 843 to 43 computations (94.9% saved)

prune5.0ms (0%)

Memory
12.1MiB live, 12.1MiB allocated
Pruning

9 alts after pruning (1 fresh and 8 done)

PrunedKeptTotal
New1251126
Fresh000
Picked022
Done066
Total1259134
Accuracy
100.0%
Counts
134 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓89.3%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓87.4%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
▶84.5%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
✓78.2%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓71.6%
(*.f64 (*.f64 d1 d1) d1)
✓58.5%
(*.f64 d1 d1)
✓100.0%
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
✓5.8%
d1
Compiler

Compiled 86 to 41 computations (52.3% saved)

simplify5.0ms (0%)

Memory
9.0MiB live, 9.0MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
✓cost-diff0
(*.f64 d1 (*.f64 d1 d1))
✓cost-diff0
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓cost-diff0
(*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1))
✓cost-diff0
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
Rules
30×lower-*.f32
20×lower-*.f64
10×lower-pow.f64
10×associate-*r*
10×lift-*.f64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0636
01128
11922
22818
33516
44016
04016
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1))
d1
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 d1))))
(*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1))
(*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 d1)))
d1
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)

localize23.0ms (0%)

Memory
2.3MiB live, 40.1MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
✓accuracy99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
✓accuracy99.9%
(*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1))
✓accuracy99.9%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓accuracy99.9%
(*.f64 d1 (*.f64 d1 d1))
Samples
15.0ms256×0valid
Compiler

Compiled 38 to 8 computations (78.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-mult: 7.0ms (99.4% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series1.0ms (0%)

Memory
1.6MiB live, 1.6MiB allocated
Counts
4 → 48
Calls
Call 1
Inputs
#<alt (*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)>
#<alt (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1))>
#<alt (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)>
#<alt (*.f64 d1 (*.f64 d1 d1))>
Outputs
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 6)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 5)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
Calls

12 calls:

TimeVariablePointExpression
0.0ms
d1
@0
(* (* d1 (* (* d1 (* d1 d1)) d1)) d1)
0.0ms
d1
@inf
(* (* d1 (* (* d1 (* d1 d1)) d1)) d1)
0.0ms
d1
@-inf
(* (* d1 (* (* d1 (* d1 d1)) d1)) d1)
0.0ms
d1
@-inf
(* d1 (* (* d1 (* d1 d1)) d1))
0.0ms
d1
@0
(* d1 (* (* d1 (* d1 d1)) d1))

simplify4.0ms (0%)

Memory
7.9MiB live, 7.9MiB allocated
Algorithm
1×egg-herbie
Rules
8×lower-pow.f64
8×lower-pow.f32
6×lower-*.f64
6×lower-*.f32
2×cube-mult
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
09144
112144
012144
Stop Event
1×iter limit
1×saturated
Counts
48 → 48
Calls
Call 1
Inputs
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 6)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 5)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
Outputs
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 6)
(pow.f64 d1 #s(literal 6 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 5)
(pow.f64 d1 #s(literal 5 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))
(pow d1 3)
(*.f64 d1 (*.f64 d1 d1))

rewrite381.0ms (0.3%)

Memory
-3.8MiB live, 589.5MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
5 046×lower-*.f32
5 036×lower-*.f64
3 470×lower-fma.f64
3 470×lower-fma.f32
2 108×lower-/.f64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0632
01124
12118
24312
310412
443412
5238312
0874112
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
4 → 325
Calls
Call 1
Inputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 d1))
Outputs
(exp.f64 (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(exp.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 3/4 binary64)) #s(literal 4 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 3/2 binary64)))
(exp.f64 (fma.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 7/2 binary64))))
(exp.f64 (fma.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 7/2 binary64) (*.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 3/8 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 8 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 12 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))))
(exp.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 3/4 binary64)) #s(literal 4 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 3/2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (fma.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 7/2 binary64))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (fma.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 7/2 binary64) (*.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))) #s(literal 1 binary64)))
(/.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 d1 #s(literal 6 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 3 binary64))
(pow.f64 (*.f64 d1 (*.f64 d1 d1)) #s(literal 2 binary64))
(pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) #s(literal 3/2 binary64))
(pow.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))) #s(literal 1 binary64))
(pow.f64 (*.f64 d1 (sqrt.f64 d1)) #s(literal 4 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) #s(literal 8 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 12 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 3/8 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 4 binary64)))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 16 binary64))
(pow.f64 (sqrt.f64 (sqrt.f64 d1)) #s(literal 24 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 3/4 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (E.f64) (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 (exp.f64 #s(literal 3/2 binary64)) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 3/4 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 3/2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 3 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))) #s(literal 3/4 binary64))
(pow.f64 (*.f64 (E.f64) (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64)))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (E.f64) (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64)))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 4 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (exp.f64 #s(literal 4 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (E.f64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (E.f64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (exp.f64 #s(literal 6 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))))
(*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))) d1)
(*.f64 (*.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))))
(*.f64 (*.f64 d1 (sqrt.f64 d1)) (pow.f64 (pow.f64 d1 #s(literal 9/8 binary64)) #s(literal 4 binary64)))
(*.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))))
(*.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1)))))))
(*.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1)))))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) #s(literal 3/2 binary64)))
(*.f64 (sqrt.f64 (sqrt.f64 d1)) (*.f64 (sqrt.f64 (sqrt.f64 d1)) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))))))
(*.f64 (sqrt.f64 (sqrt.f64 d1)) (pow.f64 (*.f64 (sqrt.f64 (sqrt.f64 d1)) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))))) #s(literal 1 binary64)))
(*.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) (*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))))
(*.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))))
(*.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))))
(*.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) #s(literal 1 binary64)))
(*.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))) (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1)))))) (sqrt.f64 d1))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))) (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))) (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 1 binary64)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))) (*.f64 d1 (sqrt.f64 d1)))
(*.f64 (pow.f64 d1 #s(literal 39/8 binary64)) (pow.f64 d1 #s(literal 9/8 binary64)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))) (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (pow.f64 d1 #s(literal 9/8 binary64)) (pow.f64 d1 #s(literal 39/8 binary64)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (*.f64 (sqrt.f64 (sqrt.f64 d1)) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))))) (sqrt.f64 (sqrt.f64 d1)))
(*.f64 (*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))) (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (neg.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(*.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))))
(*.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (*.f64 (neg.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 3/2 binary64)) (pow.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 3/2 binary64)) (pow.f64 (pow.f64 d1 #s(literal 29/8 binary64)) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 3/2 binary64)) (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 1 binary64)) (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 1 binary64)) (pow.f64 (*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 1 binary64)) (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) #s(literal 3/2 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 3/2 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 9/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 39/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))) #s(literal 1 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) #s(literal 1 binary64)) (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 29/8 binary64)) #s(literal 3/2 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))) #s(literal 1 binary64)) (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (pow.f64 (*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))) #s(literal 1 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 39/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 9/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 (sqrt.f64 (sqrt.f64 d1)) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))))) #s(literal 1 binary64)) (sqrt.f64 (sqrt.f64 d1)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 9/8 binary64)) #s(literal 4 binary64)) (*.f64 d1 (sqrt.f64 d1)))
(exp.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 5 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 5/2 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 2 binary64)))
(exp.f64 (fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 3/4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 7/2 binary64))))
(exp.f64 (fma.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(exp.f64 (fma.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 7/2 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 3/4 binary64))))
(exp.f64 (*.f64 (log.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 10 binary64)))
(exp.f64 (*.f64 (log.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64)))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))))
(exp.f64 (*.f64 (log.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64)))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))))
(exp.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 5 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 5/2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (*.f64 (*.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 2 binary64)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 3/4 binary64) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 7/2 binary64))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (fma.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))) #s(literal 1 binary64)))
(exp.f64 (*.f64 (fma.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 7/2 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 3/4 binary64))) #s(literal 1 binary64)))
(exp.f64 (*.f64 #s(literal 2 binary64) (*.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(/.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(/.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(/.f64 (exp.f64 (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal -1 binary64)))) (exp.f64 (/.f64 (*.f64 (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal -1 binary64)))))
(/.f64 (exp.f64 (/.f64 (*.f64 (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))) (exp.f64 (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))))
(pow.f64 d1 #s(literal 5 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 5/2 binary64))
(pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) #s(literal 5/4 binary64))
(pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 10 binary64))
(pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 5/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 1 binary64)))
(pow.f64 (sqrt.f64 (sqrt.f64 d1)) #s(literal 20 binary64))
(pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 4 binary64))
(pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (E.f64) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 5 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 5/2 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) #s(literal 1 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) #s(literal 1 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (*.f64 (E.f64) (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (E.f64) (exp.f64 #s(literal 4 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (E.f64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (exp.f64 #s(literal 4 binary64)) (E.f64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (exp.f64 #s(literal 5 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (exp.f64 (*.f64 (fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 5 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))))))
(pow.f64 (exp.f64 (*.f64 (fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 5 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal -1 binary64)) (*.f64 (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))))
(pow.f64 (exp.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 5 binary64)) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal -1 binary64))))
(pow.f64 (exp.f64 (*.f64 (*.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 5 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))))
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))
(*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1)))))
(*.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))))
(*.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))) #s(literal 1 binary64)))
(*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))))
(*.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) (*.f64 d1 (sqrt.f64 d1)))
(*.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 d1 #s(literal 37/8 binary64)))
(*.f64 (sqrt.f64 (sqrt.f64 d1)) (*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))))
(*.f64 (sqrt.f64 (sqrt.f64 d1)) (pow.f64 (*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))) #s(literal 1 binary64)))
(*.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))))
(*.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))
(*.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))))
(*.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 1 binary64)))
(*.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))) (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))) (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))) (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 1 binary64)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))) (sqrt.f64 d1))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (pow.f64 d1 #s(literal 37/8 binary64)) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))) (sqrt.f64 (sqrt.f64 d1)))
(*.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (neg.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(*.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))))
(*.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (*.f64 (neg.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (neg.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(*.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))))
(*.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 (neg.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))) (pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 3 binary64))) (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(*.f64 (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))) (pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (exp.f64 #s(literal 2 binary64))) (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 1 binary64)) (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 37/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 1 binary64)) (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 1 binary64)) (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))
(*.f64 (pow.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) #s(literal 5/2 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 5/2 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 5/2 binary64)) (pow.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) #s(literal 5/2 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 d1)) #s(literal 5/2 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 5/2 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 5/2 binary64)) (pow.f64 (sqrt.f64 (sqrt.f64 d1)) #s(literal 5/2 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))) #s(literal 1 binary64)) (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) #s(literal 1 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 37/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))) #s(literal 1 binary64)) (sqrt.f64 (sqrt.f64 d1)))
(exp.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 8 binary64)))
(exp.f64 (*.f64 (log.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 4 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))))
(/.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(/.f64 (pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(/.f64 (exp.f64 (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 0 binary64))) (exp.f64 (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 0 binary64))))
(pow.f64 d1 #s(literal 4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) #s(literal 1 binary64))
(pow.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) #s(literal 0 binary64)))
(pow.f64 (sqrt.f64 d1) #s(literal 8 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (sqrt.f64 (sqrt.f64 d1)) #s(literal 16 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (E.f64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (pow.f64 (exp.f64 #s(literal 4 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 (pow.f64 (exp.f64 #s(literal 4 binary64)) #s(literal 1 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 4 binary64)) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (*.f64 (E.f64) (exp.f64 #s(literal 3 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (exp.f64 #s(literal 3 binary64)) (E.f64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (exp.f64 (*.f64 (fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 0 binary64)) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (/.f64 #s(literal 1 binary64) (fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 0 binary64))))
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))))
(*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1)))))
(*.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (*.f64 d1 (sqrt.f64 d1)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
(*.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 d1 #s(literal 29/8 binary64)))
(*.f64 (sqrt.f64 (sqrt.f64 d1)) (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))))
(*.f64 (sqrt.f64 (sqrt.f64 d1)) (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) #s(literal 1 binary64)))
(*.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))))
(*.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))
(*.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 1 binary64)))
(*.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))) (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) (sqrt.f64 (sqrt.f64 d1)))
(*.f64 (pow.f64 d1 #s(literal 29/8 binary64)) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (neg.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(*.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))))
(*.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 (neg.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))) #s(literal 2 binary64))))
(*.f64 (pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (exp.f64 #s(literal 4 binary64)) (neg.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(*.f64 (pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))))
(*.f64 (pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 (neg.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 1 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 29/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 1 binary64)) (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 1 binary64)) (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 29/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) #s(literal 1 binary64)) (sqrt.f64 (sqrt.f64 d1)))
(exp.f64 (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(exp.f64 (*.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)) #s(literal 3/4 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 3/8 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) #s(literal 4 binary64)))
(/.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 3/2 binary64))
(pow.f64 (*.f64 d1 (*.f64 d1 d1)) #s(literal 1 binary64))
(pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) #s(literal 3/4 binary64))
(pow.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))) #s(literal 1/2 binary64))
(pow.f64 (*.f64 d1 (sqrt.f64 d1)) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) #s(literal 4 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 6 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 3/4 binary64)))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (+.f64 (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 2 binary64)) (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 2 binary64))))
(pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 8 binary64))
(pow.f64 (sqrt.f64 (sqrt.f64 d1)) #s(literal 12 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 3/8 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (*.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 2 binary64)) (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(pow.f64 (E.f64) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (exp.f64 #s(literal 3/2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (*.f64 #s(literal 3/8 binary64) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))))
(pow.f64 (exp.f64 (*.f64 #s(literal 3 binary64) (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 3/2 binary64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 3/4 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1/2 binary64)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(pow.f64 (*.f64 (E.f64) (exp.f64 #s(literal 2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (E.f64)) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(pow.f64 (*.f64 (exp.f64 #s(literal 3/2 binary64)) (exp.f64 #s(literal 3/2 binary64))) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))
(*.f64 d1 (*.f64 d1 d1))
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1)))
(*.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (sqrt.f64 d1) (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1))
(*.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 d1 #s(literal 21/8 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 3/2 binary64)))
(*.f64 (sqrt.f64 (sqrt.f64 d1)) (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))))
(*.f64 (sqrt.f64 (sqrt.f64 d1)) (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 1 binary64)))
(*.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))
(*.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))))
(*.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) (sqrt.f64 (sqrt.f64 d1)))
(*.f64 (pow.f64 d1 #s(literal 9/8 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 d1 #s(literal 9/8 binary64)) (pow.f64 d1 #s(literal 15/8 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/16 binary64)) (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) #s(literal 3/4 binary64)))
(*.f64 (exp.f64 (*.f64 #s(literal 3 binary64) (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) (exp.f64 (*.f64 #s(literal 3 binary64) (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 2 binary64)))))
(*.f64 (pow.f64 d1 #s(literal 21/8 binary64)) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (exp.f64 #s(literal 3 binary64)) (neg.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))))))
(*.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 #s(literal -2 binary64) (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)))))
(*.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 #s(literal 3/4 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))) (pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 (neg.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64))) #s(literal 2 binary64))))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 3/8 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 9/8 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 1 binary64)) (sqrt.f64 (sqrt.f64 d1)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 21/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 1 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 1 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 1 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) #s(literal 3/4 binary64)) (pow.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))) #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 21/8 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (exp.f64 (*.f64 #s(literal 3 binary64) (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) #s(literal 1 binary64)) (pow.f64 (exp.f64 (*.f64 #s(literal 3 binary64) (/.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 0 binary64) #s(literal 0 binary64))) #s(literal 1/2 binary64)) #s(literal 2 binary64)))) #s(literal 1 binary64)))
(*.f64 (pow.f64 d1 #s(literal 15/8 binary64)) (pow.f64 d1 #s(literal 9/8 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1)))) #s(literal 3/4 binary64)) (pow.f64 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))) #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 3/4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 29/8 binary64)) #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 29/8 binary64)) #s(literal 3/4 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/8 binary64)) #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))))) #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 3/16 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 3/4 binary64)) (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1))))) #s(literal 3/4 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (sqrt.f64 d1))) #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 3/4 binary64)) (pow.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (*.f64 (*.f64 d1 d1) (sqrt.f64 (sqrt.f64 d1))) #s(literal 3/4 binary64)) (pow.f64 (*.f64 d1 (sqrt.f64 (*.f64 d1 (sqrt.f64 d1)))) #s(literal 3/4 binary64)))

eval38.0ms (0%)

Memory
-15.2MiB live, 97.4MiB allocated
Compiler

Compiled 5 849 to 1 008 computations (82.8% saved)

prune45.0ms (0%)

Memory
24.1MiB live, 106.1MiB allocated
Pruning

13 alts after pruning (4 fresh and 9 done)

PrunedKeptTotal
New3694373
Fresh000
Picked011
Done088
Total36913382
Accuracy
100.0%
Counts
382 → 13
Alt Table
Click to see full alt table
StatusAccuracyProgram
84.5%
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 d1)) d1)
✓99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓89.3%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓87.4%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
✓84.5%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
84.5%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
84.5%
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 d1))
84.5%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
✓78.2%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓71.6%
(*.f64 (*.f64 d1 d1) d1)
✓58.5%
(*.f64 d1 d1)
✓100.0%
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
✓5.8%
d1
Compiler

Compiled 256 to 89 computations (65.2% saved)

regimes11.0ms (0%)

Memory
-21.3MiB live, 17.3MiB allocated
Counts
13 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
Outputs
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
Calls

2 calls:

7.0ms
d1
3.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
100.0%1d1
100.0%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes8.0ms (0%)

Memory
13.1MiB live, 13.1MiB allocated
Counts
12 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Calls

2 calls:

4.0ms
d1
3.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
99.9%1d1
99.9%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes8.0ms (0%)

Memory
15.1MiB live, 15.1MiB allocated
Counts
11 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
Calls

2 calls:

4.0ms
d1
3.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
89.3%1d1
89.3%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes9.0ms (0%)

Memory
-23.3MiB live, 15.5MiB allocated
Counts
10 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
Calls

2 calls:

4.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
4.0ms
d1
Results
AccuracySegmentsBranch
87.4%1d1
87.4%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes7.0ms (0%)

Memory
13.7MiB live, 13.7MiB allocated
Counts
9 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))) (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 d1)) d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
Calls

2 calls:

3.0ms
d1
3.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
84.5%1d1
84.5%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes4.0ms (0%)

Memory
8.4MiB live, 8.4MiB allocated
Counts
4 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
Calls

2 calls:

2.0ms
d1
2.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
78.2%1d1
78.2%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes4.0ms (0%)

Memory
7.2MiB live, 7.2MiB allocated
Counts
3 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
Outputs
(*.f64 (*.f64 d1 d1) d1)
Calls

2 calls:

2.0ms
d1
1.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
71.6%1d1
71.6%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes25.0ms (0%)

Memory
-35.8MiB live, 6.3MiB allocated
Counts
2 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
Outputs
(*.f64 d1 d1)
Calls

2 calls:

24.0ms
d1
1.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
58.5%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
58.5%1d1
Compiler

Compiled 22 to 10 computations (54.5% saved)

regimes3.0ms (0%)

Memory
5.4MiB live, 5.4MiB allocated
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
d1
Outputs
d1
Calls

2 calls:

1.0ms
d1
1.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
5.8%1(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
5.8%1d1
Compiler

Compiled 22 to 10 computations (54.5% saved)

simplify6.0ms (0%)

Memory
11.2MiB live, 11.2MiB allocated
Algorithm
1×egg-herbie
Rules
28×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03097
14497
Stop Event
1×saturated
Calls
Call 1
Inputs
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 d1)
d1
Outputs
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))))))
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 d1))))))
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)))))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)
d1

soundness2.2min (98.2%)

Memory
-162.8MiB live, 1 096.1MiB allocated
Rules
5 046×lower-*.f32
5 036×lower-*.f64
3 470×lower-fma.f64
3 470×lower-fma.f32
2 108×lower-/.f64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
013216
116216
016216
0632
01124
12118
24312
310412
443412
5238312
0874112
01193
02181
14645
28827
321727
410079
557989
658119
758599
860849
976779
080759
0976
01790
13554
27830
318918
496418
529976
0112576
Stop Event
1×fuel
1×iter limit
1×node limit
1×iter limit
1×iter limit
1×node limit
1×iter limit
1×iter limit
1×node limit
1×iter limit
1×iter limit
1×saturated
Compiler

Compiled 94 to 27 computations (71.3% saved)

preprocess59.0ms (0%)

Memory
-0.7MiB live, 155.0MiB allocated
Remove

(abs d1)

Compiler

Compiled 252 to 100 computations (60.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...