FastMath test5

Time bar (total: 1.8min)

analyze0.0ms (0%)

Memory
0.4MiB live, 0.4MiB 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)

sample859.0ms (0.8%)

Memory
24.9MiB live, 1 404.8MiB allocated
Samples
614.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 431.0ms
ival-mult: 422.0ms (97.9% of total)
ival-true: 6.0ms (1.4% of total)
ival-assert: 3.0ms (0.7% of total)
Bogosity

preprocess53.0ms (0.1%)

Memory
-14.4MiB live, 63.3MiB 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)

explain143.0ms (0.1%)

Memory
-10.1MiB live, 298.0MiB 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
46.0ms512×0valid
Compiler

Compiled 222 to 40 computations (82% saved)

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

eval0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory
2.1MiB live, 2.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)

simplify9.0ms (0%)

Memory
-20.1MiB live, 18.9MiB 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
-6.6MiB live, 76.4MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
✓accuracy99.9%
(*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1))
✓accuracy99.9%
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 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 (100.8% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series5.0ms (0%)

Memory
15.2MiB live, 15.2MiB 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)
1.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))
0.0ms
d1
@0
(* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1))
0.0ms
d1
@inf
(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1)

simplify5.0ms (0%)

Memory
10.1MiB live, 10.1MiB 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))

rewrite55.0ms (0.1%)

Memory
-5.0MiB live, 72.1MiB 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

eval9.0ms (0%)

Memory
-16.7MiB live, 21.9MiB allocated
Compiler

Compiled 857 to 54 computations (93.7% saved)

prune7.0ms (0%)

Memory
20.0MiB live, 20.0MiB 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.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
88.3%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
▶77.3%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
▶67.7%
(*.f64 (*.f64 d1 d1) d1)
▶49.6%
(*.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.5%
d1
Compiler

Compiled 130 to 61 computations (53.1% saved)

simplify12.0ms (0%)

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

Found 8 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-diff0
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
✓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
01658
02160
13650
26642
38634
49734
510034
010034
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)))
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (*.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)

localize40.0ms (0%)

Memory
20.4MiB live, 98.3MiB allocated
Localize:

Found 8 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))
✓accuracy100.0%
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (pow.f64 d1 #s(literal 10 binary64)))
Samples
27.0ms256×0valid
Compiler

Compiled 56 to 14 computations (75% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.0ms
ival-mult: 13.0ms (77.7% of total)
ival-pow: 4.0ms (23.9% 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.4MiB live, 3.4MiB allocated
Counts
6 → 72
Calls
Call 1
Inputs
#<alt (pow.f64 d1 #s(literal 10 binary64))>
#<alt #s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (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 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

18 calls:

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

simplify7.0ms (0%)

Memory
-27.5MiB live, 10.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
09216
112216
214216
316216
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 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 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))

rewrite66.0ms (0.1%)

Memory
27.0MiB live, 106.2MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
844×unpow-prod-down
768×lower-pow.f64
768×lower-pow.f32
572×pow-exp
542×pow-to-exp
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01646
02134
14528
210122
327722
412868
561228
661438
762028
864038
972368
080468
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
6 → 11
Calls
Call 1
Inputs
(pow.f64 d1 #s(literal 10 binary64))
#s(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) (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(approx (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) #s(literal 1 binary64))
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1

eval10.0ms (0%)

Memory
-13.9MiB live, 24.7MiB allocated
Compiler

Compiled 575 to 13 computations (97.7% saved)

prune5.0ms (0%)

Memory
13.5MiB live, 13.5MiB allocated
Pruning

8 alts after pruning (2 fresh and 6 done)

PrunedKeptTotal
New1110111
Fresh022
Picked055
Done011
Total1118119
Accuracy
100.0%
Counts
119 → 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.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶88.3%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
✓77.3%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓67.7%
(*.f64 (*.f64 d1 d1) d1)
✓49.6%
(*.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.5%
d1
Compiler

Compiled 75 to 35 computations (53.3% saved)

simplify8.0ms (0%)

Memory
-25.1MiB live, 13.9MiB 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)

localize47.0ms (0%)

Memory
4.1MiB live, 86.8MiB allocated
Localize:

Found 8 expressions of interest:

NewMetricScoreProgram
✓accuracy100.0%
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1))
✓accuracy99.9%
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)
✓accuracy99.9%
(*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1))
✓accuracy99.9%
(*.f64 (*.f64 d1 d1) d1)
✓accuracy100.0%
(*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 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.8%
(*.f64 (*.f64 d1 d1) (*.f64 d1 d1))
Samples
29.0ms256×0valid
Compiler

Compiled 103 to 13 computations (87.4% saved)

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

series3.0ms (0%)

Memory
7.2MiB live, 7.2MiB 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)) d1))
0.0ms
d1
@0
(* (* (* d1 d1) (* d1 d1)) d1)
0.0ms
d1
@-inf
(* (* (* d1 d1) (* d1 d1)) d1)
0.0ms
d1
@inf
(* (* (* d1 d1) (* d1 d1)) d1)
0.0ms
d1
@inf
(* d1 (* (* (* d1 d1) (* d1 d1)) d1))

simplify6.0ms (0%)

Memory
12.5MiB live, 12.5MiB 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))

rewrite80.0ms (0.1%)

Memory
-7.2MiB live, 110.4MiB 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

eval12.0ms (0%)

Memory
-9.9MiB live, 28.7MiB allocated
Compiler

Compiled 951 to 43 computations (95.5% saved)

prune5.0ms (0%)

Memory
14.2MiB live, 14.2MiB 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.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓88.3%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
▶84.4%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
✓77.3%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓67.7%
(*.f64 (*.f64 d1 d1) d1)
✓49.6%
(*.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.5%
d1
Compiler

Compiled 87 to 41 computations (52.9% saved)

simplify5.0ms (0%)

Memory
9.6MiB live, 9.6MiB 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)

localize28.0ms (0%)

Memory
-7.4MiB live, 64.1MiB allocated
Localize:

Found 4 expressions of interest:

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

Compiled 38 to 8 computations (78.9% saved)

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

series1.0ms (0%)

Memory
1.8MiB live, 1.7MiB 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)
0.0ms
d1
@-inf
(* d1 (* (* d1 (* d1 d1)) d1))

simplify4.0ms (0%)

Memory
9.4MiB live, 9.4MiB 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))

rewrite327.0ms (0.3%)

Memory
12.0MiB live, 812.0MiB 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
-4.8MiB live, 109.8MiB allocated
Compiler

Compiled 5 897 to 1 008 computations (82.9% saved)

prune44.0ms (0%)

Memory
-2.9MiB live, 120.7MiB allocated
Pruning

11 alts after pruning (2 fresh and 9 done)

PrunedKeptTotal
New3712373
Fresh000
Picked011
Done088
Total37111382
Accuracy
100.0%
Counts
382 → 11
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.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓88.3%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
✓84.4%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
84.4%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
84.4%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
✓77.3%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓67.7%
(*.f64 (*.f64 d1 d1) d1)
✓49.6%
(*.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.5%
d1
Compiler

Compiled 212 to 75 computations (64.6% saved)

regimes31.0ms (0%)

Memory
-24.9MiB live, 14.6MiB 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 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 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:

28.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)

regimes7.0ms (0%)

Memory
14.0MiB live, 14.0MiB 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 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 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)

regimes7.0ms (0%)

Memory
15.2MiB live, 15.2MiB 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 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 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.9%1d1
89.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)

regimes20.0ms (0%)

Memory
-24.9MiB live, 14.2MiB allocated
Counts
8 → 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 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 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:

17.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
88.3%1d1
88.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)

regimes6.0ms (0%)

Memory
12.4MiB live, 12.4MiB allocated
Counts
7 → 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 (*.f64 d1 d1) (*.f64 d1 d1))) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
Calls

2 calls:

3.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
84.4%1d1
84.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)

regimes4.0ms (0%)

Memory
11.0MiB live, 11.0MiB 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
77.3%1d1
77.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)

regimes4.0ms (0%)

Memory
9.7MiB live, 9.7MiB 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
67.7%1d1
67.7%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
-30.7MiB live, 9.5MiB allocated
Counts
2 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
Outputs
(*.f64 d1 d1)
Calls

2 calls:

6.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
2.0ms
d1
Results
AccuracySegmentsBranch
49.6%1d1
49.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)

regimes3.0ms (0%)

Memory
8.6MiB live, 8.6MiB 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.5%1d1
5.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)

simplify7.0ms (0%)

Memory
19.8MiB live, 19.8MiB 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

soundness1.7min (98%)

Memory
-37.3MiB live, 489.6MiB 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
01193
02181
14645
28827
321727
410079
557989
658119
758599
860849
976779
080759
0976
01790
13554
27830
318918
496418
529976
0112576
0632
01124
12118
24312
310412
443412
5238312
0874112
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 106 to 30 computations (71.7% saved)

preprocess147.0ms (0.1%)

Memory
26.8MiB live, 145.4MiB allocated
Remove

(abs d1)

Compiler

Compiled 266 to 100 computations (62.4% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...