FastMath test5

Time bar (total: 2.4min)

analyze0.0ms (0%)

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

Compiled 21 to 11 computations (47.6% saved)

sample846.0ms (0.6%)

Memory
-12.1MiB live, 1 255.8MiB allocated
Samples
599.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 388.0ms
ival-mult: 380.0ms (98% of total)
ival-true: 5.0ms (1.3% of total)
ival-assert: 3.0ms (0.8% of total)
Bogosity

preprocess36.0ms (0%)

Memory
12.8MiB live, 51.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
-17.8MiB live, 307.4MiB 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
36.0ms512×0valid
Compiler

Compiled 222 to 40 computations (82% saved)

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

eval0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

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

Compiled 20 to 9 computations (55% saved)

simplify7.0ms (0%)

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

localize56.0ms (0%)

Memory
6.9MiB live, 46.6MiB 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 (*.f64 d1 (*.f64 d1 d1)) d1)
✓accuracy99.9%
(*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1)
✓accuracy99.9%
(*.f64 d1 (*.f64 d1 d1))
Samples
17.0ms256×0valid
Compiler

Compiled 91 to 11 computations (87.9% saved)

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

series21.0ms (0%)

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

21 calls:

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

rewrite56.0ms (0%)

Memory
20.0MiB live, 57.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
0985
017105
13563
27835
318921
496421
529977
0112577
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
7 → 14
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 (*.f64 d1 (*.f64 d1 d1)) 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
#s(literal 1 binary64)
d1

simplify6.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
015252
118252
018252
Stop Event
1×iter limit
1×saturated
Counts
84 → 84
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 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)
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 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))

eval12.0ms (0%)

Memory
-13.6MiB live, 23.8MiB allocated
Compiler

Compiled 963 to 66 computations (93.1% saved)

prune7.0ms (0%)

Memory
21.2MiB live, 21.2MiB allocated
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New90898
Fresh000
Picked011
Done000
Total90999
Accuracy
100.0%
Counts
99 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(pow.f64 d1 #s(literal 10 binary64))
✓99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
▶86.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
84.6%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
▶82.6%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
73.8%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
▶66.9%
(*.f64 (*.f64 d1 d1) d1)
50.3%
(*.f64 d1 d1)
▶5.6%
d1
Compiler

Compiled 152 to 73 computations (52% saved)

simplify16.0ms (0%)

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

Found 11 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 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)
✓cost-diff0
(*.f64 d1 d1)
✓cost-diff0
(*.f64 (*.f64 d1 d1) d1)
✓cost-diff0
(pow.f64 d1 #s(literal 10 binary64))
Rules
56×lower-*.f32
38×lower-*.f64
26×associate-*r*
20×lift-*.f64
18×lower-pow.f32
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
013108
02480
14158
26150
37348
47948
07948
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(pow.f64 d1 #s(literal 10 binary64))
d1
#s(literal 10 binary64)
d1
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 d1)
d1
(*.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)
(*.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
(pow.f64 d1 #s(literal 10 binary64))
d1
#s(literal 10 binary64)
d1
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)
d1
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))
(*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1))
(*.f64 d1 (*.f64 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)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))))
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))
d1
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))
(*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1))
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1))))
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)

localize49.0ms (0%)

Memory
25.7MiB live, 99.0MiB allocated
Localize:

Found 11 expressions of interest:

NewMetricScoreProgram
✓accuracy99.9%
(*.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)
✓accuracy99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
✓accuracy99.9%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓accuracy99.9%
(*.f64 d1 (*.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%
(pow.f64 d1 #s(literal 10 binary64))
Samples
30.0ms256×0valid
Compiler

Compiled 110 to 15 computations (86.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.0ms
ival-mult: 15.0ms (80% of total)
ival-pow: 3.0ms (16% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series3.0ms (0%)

Memory
7.1MiB live, 7.1MiB allocated
Counts
11 → 132
Calls
Call 1
Inputs
#<alt (pow.f64 d1 #s(literal 10 binary64))>
#<alt (*.f64 (*.f64 d1 d1) d1)>
#<alt (*.f64 d1 d1)>
#<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))>
#<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))>
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 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 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 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)>
#<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)>
Calls

33 calls:

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

rewrite82.0ms (0.1%)

Memory
5.9MiB live, 122.8MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
1 092×lower-pow.f64
1 092×lower-pow.f32
800×unpow-prod-down
546×pow-exp
542×lower-*.f64
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01391
02433
15033
210133
327033
4126311
5550611
6552711
7558411
8578311
9659011
0805011
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
11 → 22
Calls
Call 1
Inputs
(pow.f64 d1 #s(literal 10 binary64))
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 d1)
(*.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))
(*.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))
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
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1

simplify10.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
017396
120396
222396
324396
024396
Stop Event
1×iter limit
1×saturated
Counts
132 → 132
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 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 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 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)
(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)
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 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 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 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))
(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))

eval19.0ms (0%)

Memory
7.1MiB live, 44.8MiB allocated
Compiler

Compiled 1 595 to 65 computations (95.9% saved)

prune31.0ms (0%)

Memory
-21.8MiB live, 25.7MiB allocated
Pruning

11 alts after pruning (5 fresh and 6 done)

PrunedKeptTotal
New2082210
Fresh033
Picked055
Done011
Total20811219
Accuracy
100.0%
Counts
219 → 11
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(pow.f64 d1 #s(literal 10 binary64))
✓99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓86.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
▶84.6%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)) d1)
▶84.6%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
✓82.6%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
▶78.7%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) d1)) d1)
▶73.8%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓66.9%
(*.f64 (*.f64 d1 d1) d1)
▶50.3%
(*.f64 d1 d1)
✓5.6%
d1
Compiler

Compiled 160 to 77 computations (51.9% saved)

simplify6.0ms (0%)

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

Found 16 expressions of interest:

NewMetricScoreProgram
✓cost-diff0
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
✓cost-diff0
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)
✓cost-diff0
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1))
✓cost-diff0
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)) d1)
✓cost-diff0
(*.f64 d1 d1)
✓cost-diff0
(*.f64 (*.f64 d1 d1) d1)
✓cost-diff0
(*.f64 d1 (*.f64 (*.f64 d1 d1) d1))
✓cost-diff0
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) d1)) d1)
✓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) (*.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
42×lower-*.f32
28×lift-*.f64
24×lower-*.f64
22×associate-*r*
14×associate-*l*
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
015138
029110
14388
25266
36462
46862
06862
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 d1 d1)
d1
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 d1))
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 d1 d1) d1))
d1
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1))
d1
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)
(*.f64 (*.f64 (*.f64 d1 d1) 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 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)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) d1)) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 d1 (*.f64 (*.f64 d1 d1) d1))
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
d1
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1))))
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1))
(*.f64 (*.f64 d1 (*.f64 d1 d1)) (*.f64 d1 (*.f64 d1 d1)))
d1
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)
(*.f64 (*.f64 d1 d1) (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 (*.f64 d1 d1) d1) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)

localize57.0ms (0%)

Memory
7.6MiB live, 120.7MiB allocated
Localize:

Found 16 expressions of interest:

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

Compiled 140 to 17 computations (87.9% saved)

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

series2.0ms (0%)

Memory
6.2MiB live, 6.2MiB allocated
Counts
14 → 168
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 d1 d1)>
#<alt (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)>
#<alt (*.f64 d1 (*.f64 d1 d1))>
#<alt (*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) d1)) d1)>
#<alt (*.f64 d1 (*.f64 (*.f64 d1 d1) d1))>
#<alt (*.f64 (*.f64 d1 d1) d1)>
#<alt (*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)) d1)>
#<alt (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1))>
#<alt (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)>
#<alt (*.f64 (*.f64 (*.f64 d1 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 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 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)>
#<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)>
#<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)>
Calls

42 calls:

TimeVariablePointExpression
0.0ms
d1
@0
(* (* 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)
0.0ms
d1
@-inf
(* (* d1 (* (* (* d1 d1) (* d1 d1)) d1)) d1)
0.0ms
d1
@inf
(* (* d1 d1) (* d1 d1))

rewrite124.0ms (0.1%)

Memory
-0.9MiB live, 182.0MiB allocated
Algorithm
1×batch-egg-rewrite
Rules
2 246×lower-*.f64
2 246×lower-*.f32
1 202×prod-exp
1 170×associate-*r*
916×associate-*l*
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
015116
029154
14698
27942
317642
475114
5478014
6479414
7485114
8514114
9757914
0819514
Stop Event
1×iter limit
1×node limit
1×iter limit
Counts
14 → 28
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 d1 d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 d1 d1) d1))
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)) d1)
(*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1))
(*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)
(*.f64 (*.f64 (*.f64 d1 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
#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

simplify10.0ms (0%)

Memory
28.6MiB live, 28.6MiB 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
013504
116504
218504
320504
020504
Stop Event
1×iter limit
1×saturated
Counts
168 → 168
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 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 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)
(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)
(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)
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 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 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))
(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))
(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))

eval24.0ms (0%)

Memory
-8.2MiB live, 68.6MiB allocated
Compiler

Compiled 1 953 to 58 computations (97% saved)

prune8.0ms (0%)

Memory
-16.1MiB live, 22.7MiB allocated
Pruning

11 alts after pruning (0 fresh and 11 done)

PrunedKeptTotal
New2800280
Fresh000
Picked055
Done066
Total28011291
Accuracy
100.0%
Counts
291 → 11
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(pow.f64 d1 #s(literal 10 binary64))
✓99.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
✓86.9%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) (*.f64 d1 d1)) d1)) d1)
✓84.6%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) d1)) d1)
✓84.6%
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
✓82.6%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
✓78.7%
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) d1)) d1)
✓73.8%
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
✓66.9%
(*.f64 (*.f64 d1 d1) d1)
✓50.3%
(*.f64 d1 d1)
✓5.6%
d1
Compiler

Compiled 210 to 81 computations (61.4% saved)

regimes8.0ms (0%)

Memory
22.1MiB live, 22.1MiB allocated
Counts
11 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 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) 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)
(pow.f64 d1 #s(literal 10 binary64))
Outputs
(pow.f64 d1 #s(literal 10 binary64))
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
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)

regimes11.0ms (0%)

Memory
-19.5MiB live, 21.5MiB allocated
Counts
10 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 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) 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:

6.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
4.0ms
d1
Results
AccuracySegmentsBranch
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
20.9MiB live, 20.9MiB 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 (*.f64 d1 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) 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
86.9%1d1
86.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
-21.4MiB live, 17.4MiB 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 (*.f64 d1 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) d1) d1)) d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 d1 d1) (*.f64 d1 d1)) d1)) d1)
Calls

2 calls:

3.0ms
d1
3.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
84.6%1d1
84.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)

regimes5.0ms (0%)

Memory
15.6MiB live, 15.6MiB allocated
Counts
6 → 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 (*.f64 d1 d1) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
Outputs
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 (*.f64 d1 d1)) 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
82.6%1d1
82.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)

regimes5.0ms (0%)

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

2 calls:

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

regimes5.0ms (0%)

Memory
-26.2MiB live, 12.6MiB 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
73.8%1d1
73.8%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
10.2MiB live, 10.2MiB allocated
Counts
3 → 1
Calls
Call 1
Inputs
d1
(*.f64 d1 d1)
(*.f64 (*.f64 d1 d1) d1)
Outputs
(*.f64 (*.f64 d1 d1) d1)
Calls

2 calls:

2.0ms
d1
1.0ms
(*.f64 (*.f64 d1 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 d1 (*.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)
Results
AccuracySegmentsBranch
66.9%1d1
66.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)

regimes3.0ms (0%)

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

regimes3.0ms (0%)

Memory
-30.4MiB 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.6%1d1
5.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)

simplify6.0ms (0%)

Memory
17.2MiB live, 17.2MiB allocated
Algorithm
1×egg-herbie
Rules
32×*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02486
13986
Stop Event
1×saturated
Calls
Call 1
Inputs
(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 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 (*.f64 d1 d1) d1)) d1)
(*.f64 (*.f64 d1 (*.f64 d1 d1)) d1)
(*.f64 (*.f64 d1 d1) d1)
(*.f64 d1 d1)
d1
Outputs
(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 (*.f64 d1 (*.f64 d1 d1)) d1)) d1)
(*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 (*.f64 d1 d1)))))
(*.f64 (*.f64 d1 (*.f64 (*.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 (*.f64 d1 d1) d1)
(*.f64 d1 (*.f64 d1 d1))
(*.f64 d1 d1)
d1

soundness2.4min (98.8%)

Memory
-207.7MiB live, 1 227.0MiB allocated
Rules
1 092×lower-pow.f64
1 092×lower-pow.f32
1 074×pow-exp
800×unpow-prod-down
546×pow-exp
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0985
017105
13563
27835
318921
496421
529977
0112577
01391
02433
15033
210133
327033
4126311
5550611
6552711
7558411
8578311
9659011
0805011
015252
118252
018252
Stop Event
1×done
1×iter limit
1×saturated
1×iter limit
1×node limit
1×iter limit
1×iter limit
1×node limit
1×iter limit
Compiler

Compiled 91 to 23 computations (74.7% saved)

preprocess65.0ms (0%)

Memory
12.7MiB live, 264.5MiB allocated
Remove

(abs d1)

Compiler

Compiled 286 to 112 computations (60.8% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...