Metrics for FastMath test5

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

sample782.0ms (71.7%)

Memory

39.2MiB live, 1 114.3MiB allocated; 268ms collecting garbage

Samples

545.0ms

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 351.0ms

ival-mult!: 349.0ms (99.5% of total)

adjust: 1.0ms (0.3% of total)

Bogosity

preprocess87.0ms (8%)

Memory

-10.5MiB live, 34.1MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	86	28
2	319	16
3	951	10
4	1995	10
5	2810	10

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Symmetry

(abs d1)

Compiler

Compiled 20 to 18 computations (10% saved)

rewrite68.0ms (6.2%)

Memory

28.2MiB live, 81.0MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	89
0	17	67
1	41	43
2	116	27
0	742	27

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

9 → 238

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 (pow.f64 d1 #s(literal 8 binary64)) (neg.f64 (fabs.f64 d1))) (neg.f64 (fabs.f64 d1)))
(.f64 (.f64 (pow.f64 d1 #s(literal 8 binary64)) (fabs.f64 d1)) (fabs.f64 d1))
(.f64 (.f64 (pow.f64 d1 #s(literal 8 binary64)) (neg.f64 d1)) (neg.f64 d1))
(.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (neg.f64 (fabs.f64 d1))) (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) (neg.f64 (fabs.f64 d1))))
(.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (fabs.f64 d1)) (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) (fabs.f64 d1)))
(.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (neg.f64 d1)) (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) (neg.f64 d1)))
(.f64 (.f64 (neg.f64 (fabs.f64 d1)) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (.f64 (neg.f64 (fabs.f64 d1)) (.f64 (.f64 (*.f64 d1 d1) d1) d1)))
(.f64 (.f64 (fabs.f64 d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (.f64 (fabs.f64 d1) (.f64 (.f64 (*.f64 d1 d1) d1) d1)))
(.f64 (.f64 (neg.f64 d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (.f64 (neg.f64 d1) (.f64 (.f64 (*.f64 d1 d1) d1) d1)))
(.f64 (neg.f64 (fabs.f64 d1)) (.f64 (neg.f64 (fabs.f64 d1)) (pow.f64 d1 #s(literal 8 binary64))))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1) (.f64 (.f64 (*.f64 d1 d1) d1) d1))
(.f64 (fabs.f64 d1) (.f64 (fabs.f64 d1) (pow.f64 d1 #s(literal 8 binary64))))
(.f64 (neg.f64 d1) (.f64 (neg.f64 d1) (pow.f64 d1 #s(literal 8 binary64))))
(*.f64 (pow.f64 d1 #s(literal 9 binary64)) d1)
(.f64 (pow.f64 d1 #s(literal 8 binary64)) (.f64 d1 d1))
(.f64 (pow.f64 d1 #s(literal 7 binary64)) (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1))
(.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1) d1))
(.f64 (.f64 (*.f64 d1 d1) d1) (pow.f64 d1 #s(literal 7 binary64)))
(.f64 (.f64 d1 d1) (pow.f64 d1 #s(literal 8 binary64)))
(*.f64 d1 (pow.f64 d1 #s(literal 9 binary64)))
(neg.f64 (.f64 (.f64 (neg.f64 d1) d1) (pow.f64 d1 #s(literal 8 binary64))))
(neg.f64 (.f64 (pow.f64 d1 #s(literal 8 binary64)) (.f64 (neg.f64 d1) d1)))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1) (.f64 (fabs.f64 d1) d1)) (fabs.f64 d1))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1) d1) (pow.f64 d1 #s(literal 3/2 binary64))) (pow.f64 d1 #s(literal 3/2 binary64)))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1) (fabs.f64 d1)) (.f64 (fabs.f64 d1) d1))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1) (neg.f64 d1)) (.f64 (neg.f64 d1) d1))
(.f64 (.f64 (pow.f64 d1 #s(literal 7 binary64)) (neg.f64 (fabs.f64 d1))) (neg.f64 (fabs.f64 d1)))
(.f64 (.f64 (pow.f64 d1 #s(literal 7 binary64)) (fabs.f64 d1)) (fabs.f64 d1))
(.f64 (.f64 (pow.f64 d1 #s(literal 7 binary64)) (neg.f64 d1)) (neg.f64 d1))
(.f64 (.f64 (.f64 d1 d1) (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1))) (fabs.f64 d1))
(.f64 (.f64 (.f64 d1 d1) (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1))) (neg.f64 d1))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1) (.f64 (neg.f64 d1) d1)) (neg.f64 d1))
(.f64 (.f64 (.f64 (.f64 d1 d1) d1) (pow.f64 d1 #s(literal 3/2 binary64))) (.f64 (.f64 (*.f64 d1 d1) d1) (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (.f64 (.f64 d1 d1) (fabs.f64 d1)) (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)))
(.f64 (.f64 (.f64 d1 d1) (neg.f64 d1)) (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)))
(.f64 (.f64 (.f64 (fabs.f64 d1) d1) (.f64 d1 d1)) (.f64 (fabs.f64 d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)))
(.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 d1 d1)) (.f64 (neg.f64 d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)))
(.f64 (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (.f64 (fabs.f64 d1) (.f64 d1 d1)))
(.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (.f64 (neg.f64 d1) (.f64 d1 d1)))
(.f64 (neg.f64 (fabs.f64 d1)) (.f64 (neg.f64 (fabs.f64 d1)) (pow.f64 d1 #s(literal 7 binary64))))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1) (.f64 (.f64 d1 d1) d1))
(.f64 (fabs.f64 d1) (.f64 (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (.f64 d1 d1)))
(.f64 (fabs.f64 d1) (.f64 (fabs.f64 d1) (pow.f64 d1 #s(literal 7 binary64))))
(.f64 (neg.f64 d1) (.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (.f64 d1 d1)))
(.f64 (neg.f64 d1) (.f64 (neg.f64 d1) (pow.f64 d1 #s(literal 7 binary64))))
(*.f64 (pow.f64 d1 #s(literal 8 binary64)) d1)
(.f64 (pow.f64 d1 #s(literal 7 binary64)) (.f64 d1 d1))
(.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1))
(.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1))
(.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1))
(.f64 (.f64 d1 d1) (pow.f64 d1 #s(literal 7 binary64)))
(*.f64 d1 (pow.f64 d1 #s(literal 8 binary64)))
(pow.f64 (.f64 (.f64 d1 d1) d1) #s(literal 3 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(neg.f64 (.f64 (.f64 (neg.f64 d1) d1) (pow.f64 d1 #s(literal 7 binary64))))
(neg.f64 (.f64 (pow.f64 d1 #s(literal 7 binary64)) (.f64 (neg.f64 d1) d1)))
d1
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1) d1) (neg.f64 (fabs.f64 d1))) (neg.f64 (fabs.f64 d1)))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) (*.f64 (fabs.f64 d1) d1)) (fabs.f64 d1))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) (pow.f64 d1 #s(literal 3/2 binary64))) (pow.f64 d1 #s(literal 3/2 binary64)))
(.f64 (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (fabs.f64 d1) d1) (*.f64 d1 d1))) (fabs.f64 d1))
(.f64 (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (neg.f64 d1) d1) (*.f64 d1 d1))) (neg.f64 d1))
(.f64 (.f64 d1 (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (*.f64 d1 d1) d1) d1))) (fabs.f64 d1))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1) d1) (fabs.f64 d1)) (fabs.f64 d1))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1) d1) (neg.f64 d1)) (neg.f64 d1))
(.f64 (.f64 d1 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (*.f64 d1 d1) d1) d1))) (neg.f64 d1))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) (*.f64 (neg.f64 d1) d1)) (neg.f64 d1))
(.f64 (.f64 (.f64 (.f64 d1 d1) d1) (neg.f64 (fabs.f64 d1))) (.f64 (.f64 (*.f64 d1 d1) d1) (neg.f64 (fabs.f64 d1))))
(.f64 (.f64 (neg.f64 (fabs.f64 d1)) (.f64 (.f64 d1 d1) d1)) (.f64 (neg.f64 (fabs.f64 d1)) (.f64 (*.f64 d1 d1) d1)))
(.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (*.f64 d1 d1) d1) d1)))
(.f64 (.f64 (.f64 (fabs.f64 d1) d1) (.f64 d1 d1)) (.f64 (.f64 (fabs.f64 d1) d1) (*.f64 d1 d1)))
(.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 d1 d1)) (.f64 (.f64 (neg.f64 d1) d1) (*.f64 d1 d1)))
(.f64 (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (*.f64 (fabs.f64 d1) d1))
(.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (*.f64 (neg.f64 d1) d1))
(.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (*.f64 d1 d1) d1) d1)))
(.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)))
(.f64 (neg.f64 (fabs.f64 d1)) (.f64 (neg.f64 (fabs.f64 d1)) (.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1) d1)))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1) (*.f64 d1 d1))
(.f64 (fabs.f64 d1) (.f64 (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1))
(.f64 (fabs.f64 d1) (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1)))
(.f64 (fabs.f64 d1) (.f64 (fabs.f64 d1) (.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1) d1)))
(.f64 (neg.f64 d1) (.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (*.f64 d1 d1) d1) d1)) d1))
(.f64 (neg.f64 d1) (.f64 (neg.f64 d1) (.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1) d1)))
(.f64 (neg.f64 d1) (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1)))
(*.f64 (pow.f64 d1 #s(literal 7 binary64)) d1)
(.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) (.f64 (*.f64 d1 d1) d1))
(.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 (.f64 (*.f64 d1 d1) d1) d1))
(.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1))
(.f64 (.f64 d1 d1) (.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1) d1))
(*.f64 d1 (pow.f64 d1 #s(literal 7 binary64)))
(pow.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) #s(literal 2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 4 binary64))
(pow.f64 d1 #s(literal 8 binary64))
(neg.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) d1) d1)))
(neg.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1) (*.f64 (neg.f64 d1) d1)))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) (neg.f64 (fabs.f64 d1))) (neg.f64 (fabs.f64 d1)))
(.f64 (.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) (pow.f64 d1 #s(literal 3/2 binary64))) (pow.f64 d1 #s(literal 3/2 binary64)))
(.f64 (.f64 (.f64 d1 d1) (pow.f64 d1 #s(literal 3/2 binary64))) (.f64 (*.f64 d1 d1) (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (.f64 d1 d1)) (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (*.f64 d1 d1)))
(.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (fabs.f64 d1)) (.f64 (fabs.f64 d1) d1))
(.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (neg.f64 d1)) (.f64 (neg.f64 d1) d1))
(.f64 (.f64 (fabs.f64 d1) d1) (.f64 (fabs.f64 d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)))
(.f64 (.f64 (.f64 (fabs.f64 d1) d1) (.f64 d1 d1)) (.f64 (fabs.f64 d1) (.f64 d1 d1)))
(.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 d1 d1)) (.f64 (neg.f64 d1) (.f64 d1 d1)))
(.f64 (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (fabs.f64 d1))
(.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) (neg.f64 d1))
(.f64 (.f64 (neg.f64 d1) d1) (.f64 (neg.f64 d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)))
(.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (.f64 (.f64 (*.f64 d1 d1) d1) d1)))
(.f64 (neg.f64 (fabs.f64 d1)) (.f64 (neg.f64 (fabs.f64 d1)) (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)))
(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1) d1)
(.f64 (fabs.f64 d1) (.f64 (.f64 (fabs.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)))
(.f64 (neg.f64 d1) (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)))
(.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) (.f64 d1 d1))
(.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) (.f64 (.f64 d1 d1) d1))
(.f64 (.f64 (.f64 d1 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1))
(.f64 (.f64 d1 d1) (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1))
(.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) d1))
(pow.f64 d1 #s(literal 7 binary64))
(neg.f64 (.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1)) d1))
(neg.f64 (.f64 d1 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 d1 d1) d1) d1))))
(neg.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)))
(neg.f64 (.f64 (.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1) (.f64 (neg.f64 d1) d1)))
(.f64 (.f64 (.f64 (.f64 d1 d1) d1) (neg.f64 (fabs.f64 d1))) (neg.f64 (fabs.f64 d1)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (neg.f64 (fabs.f64 d1))) (*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (neg.f64 (fabs.f64 d1))))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (fabs.f64 d1)) (*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (fabs.f64 d1)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (neg.f64 d1)) (*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (neg.f64 d1)))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) d1) (*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) d1))
(.f64 (.f64 (neg.f64 (fabs.f64 d1)) (pow.f64 d1 #s(literal 3/2 binary64))) (*.f64 (neg.f64 (fabs.f64 d1)) (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (.f64 (fabs.f64 d1) (pow.f64 d1 #s(literal 3/2 binary64))) (*.f64 (fabs.f64 d1) (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (.f64 (neg.f64 d1) (pow.f64 d1 #s(literal 3/2 binary64))) (*.f64 (neg.f64 d1) (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (.f64 d1 (pow.f64 d1 #s(literal 3/2 binary64))) (*.f64 d1 (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (.f64 (.f64 d1 d1) (fabs.f64 d1)) (.f64 (fabs.f64 d1) d1))
(.f64 (.f64 (.f64 d1 d1) (neg.f64 d1)) (.f64 (neg.f64 d1) d1))
(.f64 (.f64 (*.f64 d1 d1) (pow.f64 d1 #s(literal 3/2 binary64))) (pow.f64 d1 #s(literal 3/2 binary64)))
(*.f64 (pow.f64 d1 #s(literal 5/2 binary64)) (pow.f64 d1 #s(literal 5/2 binary64)))
(.f64 (.f64 (fabs.f64 d1) d1) (.f64 (fabs.f64 d1) (.f64 d1 d1)))
(.f64 (.f64 (.f64 (fabs.f64 d1) d1) (.f64 d1 d1)) (fabs.f64 d1))
(.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 d1 d1)) (neg.f64 d1))
(.f64 (.f64 (neg.f64 d1) d1) (.f64 (neg.f64 d1) (.f64 d1 d1)))
(.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (*.f64 d1 d1)))
(.f64 (neg.f64 (fabs.f64 d1)) (.f64 (neg.f64 (fabs.f64 d1)) (.f64 (.f64 d1 d1) d1)))
(.f64 (fabs.f64 d1) (.f64 (.f64 (fabs.f64 d1) d1) (.f64 d1 d1)))
(.f64 (neg.f64 d1) (.f64 (.f64 (neg.f64 d1) d1) (.f64 d1 d1)))
(.f64 (.f64 (.f64 (.f64 d1 d1) d1) d1) d1)
(.f64 (.f64 (.f64 d1 d1) d1) (.f64 d1 d1))
(.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) d1))
(.f64 d1 (.f64 (.f64 (.f64 d1 d1) d1) d1))
(pow.f64 d1 #s(literal 5 binary64))
(neg.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 (.f64 d1 d1) d1)))
(neg.f64 (.f64 (.f64 (.f64 (neg.f64 d1) d1) (.f64 d1 d1)) d1))
(neg.f64 (.f64 (.f64 (.f64 d1 d1) d1) (.f64 (neg.f64 d1) d1)))
(exp.f64 (fma.f64 (log.f64 d1) #s(literal 3 binary64) (*.f64 (log.f64 d1) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 d1) #s(literal 2 binary64) (*.f64 (log.f64 d1) #s(literal 3 binary64))))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 5 binary64)))
(.f64 (.f64 d1 (*.f64 (fabs.f64 d1) d1)) (fabs.f64 d1))
(.f64 (.f64 d1 (*.f64 (neg.f64 d1) d1)) (neg.f64 d1))
(.f64 (.f64 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1)) (*.f64 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1)))
(.f64 (.f64 (neg.f64 (fabs.f64 d1)) (neg.f64 d1)) (*.f64 (neg.f64 (fabs.f64 d1)) (neg.f64 d1)))
(.f64 (.f64 (neg.f64 (fabs.f64 d1)) d1) (*.f64 (neg.f64 (fabs.f64 d1)) d1))
(.f64 (.f64 (fabs.f64 d1) (neg.f64 (fabs.f64 d1))) (*.f64 (fabs.f64 d1) (neg.f64 (fabs.f64 d1))))
(.f64 (.f64 (neg.f64 d1) (neg.f64 (fabs.f64 d1))) (*.f64 (neg.f64 d1) (neg.f64 (fabs.f64 d1))))
(.f64 (.f64 d1 (neg.f64 (fabs.f64 d1))) (*.f64 d1 (neg.f64 (fabs.f64 d1))))
(.f64 (.f64 d1 (pow.f64 d1 #s(literal 3/2 binary64))) (pow.f64 d1 #s(literal 3/2 binary64)))
(.f64 (.f64 (*.f64 d1 d1) (neg.f64 (fabs.f64 d1))) (neg.f64 (fabs.f64 d1)))
(.f64 (.f64 (*.f64 d1 d1) (fabs.f64 d1)) (fabs.f64 d1))
(.f64 (.f64 (*.f64 d1 d1) (neg.f64 d1)) (neg.f64 d1))
(.f64 (.f64 (neg.f64 d1) (fabs.f64 d1)) (*.f64 (neg.f64 d1) (fabs.f64 d1)))
(.f64 (.f64 (fabs.f64 d1) (neg.f64 d1)) (*.f64 (fabs.f64 d1) (neg.f64 d1)))
(.f64 (.f64 (fabs.f64 d1) d1) (*.f64 (fabs.f64 d1) d1))
(.f64 (.f64 (neg.f64 d1) d1) (*.f64 (neg.f64 d1) d1))
(.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (.f64 (pow.f64 d1 #s(literal 3/2 binary64)) d1))
(.f64 (neg.f64 (fabs.f64 d1)) (.f64 (neg.f64 (fabs.f64 d1)) (*.f64 d1 d1)))
(.f64 (fabs.f64 d1) (.f64 (*.f64 (fabs.f64 d1) d1) d1))
(.f64 (fabs.f64 d1) (.f64 (fabs.f64 d1) (*.f64 d1 d1)))
(.f64 (neg.f64 d1) (.f64 (*.f64 (neg.f64 d1) d1) d1))
(.f64 (neg.f64 d1) (.f64 (neg.f64 d1) (*.f64 d1 d1)))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 (*.f64 d1 d1) d1))
(pow.f64 (*.f64 (neg.f64 d1) (fabs.f64 d1)) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 d1) (neg.f64 d1)) #s(literal 2 binary64))
(pow.f64 (*.f64 (fabs.f64 d1) d1) #s(literal 2 binary64))
(pow.f64 (*.f64 (neg.f64 d1) d1) #s(literal 2 binary64))
(pow.f64 (fabs.f64 d1) #s(literal 4 binary64))
(pow.f64 (neg.f64 d1) #s(literal 4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 4 binary64))
(neg.f64 (.f64 (.f64 (neg.f64 d1) d1) (*.f64 d1 d1)))
(fabs.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1))
(exp.f64 (fma.f64 (log.f64 d1) #s(literal 2 binary64) (*.f64 (log.f64 d1) #s(literal 2 binary64))))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 2 binary64)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 4 binary64)))
(.f64 (.f64 d1 (neg.f64 (fabs.f64 d1))) (neg.f64 (fabs.f64 d1)))
(*.f64 (fabs.f64 (pow.f64 d1 #s(literal 3/2 binary64))) (fabs.f64 (pow.f64 d1 #s(literal 3/2 binary64))))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 3/2 binary64))) (neg.f64 (pow.f64 d1 #s(literal 3/2 binary64))))
(.f64 (.f64 (fabs.f64 d1) d1) (fabs.f64 d1))
(.f64 (.f64 (neg.f64 d1) d1) (neg.f64 d1))
(*.f64 (pow.f64 d1 #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 3/2 binary64)))
(.f64 (neg.f64 (fabs.f64 d1)) (.f64 (neg.f64 (fabs.f64 d1)) d1))
(.f64 (fabs.f64 d1) (.f64 (fabs.f64 d1) d1))
(.f64 (neg.f64 d1) (.f64 (neg.f64 d1) d1))
(.f64 (.f64 d1 d1) d1)
(.f64 d1 (.f64 d1 d1))
(pow.f64 (exp.f64 (log.f64 d1)) #s(literal 3 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 3/2 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(neg.f64 (.f64 (.f64 (neg.f64 d1) d1) d1))
(neg.f64 (.f64 d1 (.f64 (neg.f64 d1) d1)))
(fabs.f64 (.f64 (.f64 d1 d1) d1))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 3 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 3 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 3 binary64))))
(*.f64 (neg.f64 (neg.f64 (fabs.f64 d1))) (neg.f64 (neg.f64 (fabs.f64 d1))))
(*.f64 (exp.f64 (log.f64 d1)) (exp.f64 (log.f64 d1)))
(*.f64 (pow.f64 (fabs.f64 d1) #s(literal 1 binary64)) (pow.f64 (fabs.f64 d1) #s(literal 1 binary64)))
(*.f64 (pow.f64 (fabs.f64 d1) #s(literal 1 binary64)) (fabs.f64 d1))
(*.f64 (pow.f64 (neg.f64 d1) #s(literal 1 binary64)) (pow.f64 (neg.f64 d1) #s(literal 1 binary64)))
(*.f64 (pow.f64 (neg.f64 d1) #s(literal 1 binary64)) (neg.f64 d1))
(*.f64 (neg.f64 (fabs.f64 d1)) (neg.f64 (fabs.f64 d1)))
(*.f64 (fabs.f64 d1) (fabs.f64 d1))
(*.f64 (neg.f64 d1) (neg.f64 d1))
(*.f64 d1 d1)
(pow.f64 (exp.f64 (log.f64 d1)) #s(literal 2 binary64))
(pow.f64 (neg.f64 (fabs.f64 d1)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 d1) #s(literal 2 binary64))
(pow.f64 (neg.f64 d1) #s(literal 2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 (fabs.f64 d1)) (fabs.f64 d1)))
(neg.f64 (*.f64 (fabs.f64 d1) (neg.f64 (fabs.f64 d1))))
(neg.f64 (*.f64 (neg.f64 d1) d1))
(sqrt.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1))
(fabs.f64 (*.f64 (neg.f64 d1) d1))
(fabs.f64 (*.f64 d1 d1))
(exp.f64 (*.f64 (log.f64 (neg.f64 d1)) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 2 binary64))))

eval30.0ms (2.8%)

Memory: 1.9MiB live, 46.8MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 331 to 1 136 computations (51.3% saved)

prune6.0ms (0.5%)

Memory

12.3MiB live, 12.3MiB allocated; 0ms collecting garbage

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	233	2	235
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	234	2	236

Accuracy

100.0%

Counts

236 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (pow.f64 d1 #s(literal 9 binary64)) d1)
▶	100.0%	(.f64 (pow.f64 d1 #s(literal 8 binary64)) (.f64 d1 d1))

Compiler

Compiled 9 to 9 computations (0% saved)

rewrite61.0ms (5.6%)

Memory

-30.8MiB live, 59.3MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	24
0	13	26
1	40	18
0	179	18

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

8 → 84

Calls

Call 1

Inputs
(.f64 (pow.f64 d1 #s(literal 8 binary64)) (.f64 d1 d1))
(pow.f64 d1 #s(literal 8 binary64))
d1
#s(literal 8 binary64)
(*.f64 d1 d1)
(*.f64 (pow.f64 d1 #s(literal 9 binary64)) d1)
(pow.f64 d1 #s(literal 9 binary64))
#s(literal 9 binary64)

Outputs
(.f64 (.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (.f64 d1 d1))) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 (pow.f64 d1 #s(literal 8 binary64)) (fabs.f64 d1)) (fabs.f64 d1))
(.f64 (.f64 (pow.f64 d1 #s(literal 8 binary64)) (neg.f64 d1)) (neg.f64 d1))
(.f64 (.f64 d1 (pow.f64 d1 #s(literal 9/2 binary64))) (pow.f64 d1 #s(literal 9/2 binary64)))
(.f64 (.f64 (fabs.f64 d1) (.f64 (.f64 d1 d1) (.f64 d1 d1))) (.f64 (fabs.f64 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1))))
(.f64 (.f64 (neg.f64 d1) (.f64 (.f64 d1 d1) (.f64 d1 d1))) (.f64 (neg.f64 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 d1))) (.f64 d1 (.f64 (.f64 d1 d1) (*.f64 d1 d1))))
(.f64 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (fabs.f64 d1)) (.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 d1)))
(.f64 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (neg.f64 d1)) (.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (neg.f64 d1)))
(.f64 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1) (.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) d1))
(*.f64 (pow.f64 d1 #s(literal 5 binary64)) (pow.f64 d1 #s(literal 5 binary64)))
(.f64 (pow.f64 d1 #s(literal 9/2 binary64)) (.f64 (pow.f64 d1 #s(literal 9/2 binary64)) d1))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (fabs.f64 d1) (.f64 (fabs.f64 d1) (pow.f64 d1 #s(literal 8 binary64))))
(.f64 (neg.f64 d1) (.f64 (neg.f64 d1) (pow.f64 d1 #s(literal 8 binary64))))
(*.f64 (pow.f64 d1 #s(literal 9 binary64)) (pow.f64 d1 #s(literal 1 binary64)))
(*.f64 (pow.f64 d1 #s(literal 9 binary64)) d1)
(.f64 (.f64 d1 d1) (pow.f64 d1 #s(literal 8 binary64)))
(.f64 (pow.f64 d1 #s(literal 8 binary64)) (.f64 d1 d1))
(*.f64 d1 (pow.f64 d1 #s(literal 9 binary64)))
(pow.f64 d1 #s(literal 10 binary64))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 10 binary64)))
(.f64 (fabs.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1))) (fabs.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1))))
(.f64 (neg.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1))) (neg.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1))))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(pow.f64 (exp.f64 (log.f64 d1)) #s(literal 8 binary64))
(pow.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #s(literal 2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 4 binary64))
(pow.f64 d1 #s(literal 8 binary64))
(fabs.f64 (pow.f64 d1 #s(literal 8 binary64)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 8 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 8 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 8 binary64))))
d1
#s(literal 8 binary64)
(*.f64 (fabs.f64 (fabs.f64 d1)) (fabs.f64 (fabs.f64 d1)))
(*.f64 (neg.f64 (fabs.f64 d1)) (neg.f64 (fabs.f64 d1)))
(*.f64 (neg.f64 (neg.f64 d1)) (neg.f64 (neg.f64 d1)))
(*.f64 (pow.f64 d1 #s(literal 1 binary64)) (pow.f64 d1 #s(literal 1 binary64)))
(*.f64 (fabs.f64 d1) (fabs.f64 d1))
(*.f64 (neg.f64 d1) (neg.f64 d1))
(*.f64 d1 d1)
(pow.f64 (fabs.f64 d1) #s(literal 2 binary64))
(pow.f64 (neg.f64 d1) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(neg.f64 (*.f64 d1 (neg.f64 d1)))
(neg.f64 (*.f64 (neg.f64 d1) d1))
(fabs.f64 (*.f64 d1 d1))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(.f64 (.f64 (.f64 d1 d1) (.f64 (.f64 d1 d1) (.f64 d1 d1))) (.f64 (.f64 d1 d1) (*.f64 d1 d1)))
(.f64 (.f64 (pow.f64 d1 #s(literal 8 binary64)) (fabs.f64 d1)) (fabs.f64 d1))
(.f64 (.f64 (pow.f64 d1 #s(literal 8 binary64)) (neg.f64 d1)) (neg.f64 d1))
(.f64 (.f64 d1 (pow.f64 d1 #s(literal 9/2 binary64))) (pow.f64 d1 #s(literal 9/2 binary64)))
(.f64 (.f64 (fabs.f64 d1) (.f64 (.f64 d1 d1) (.f64 d1 d1))) (.f64 (fabs.f64 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1))))
(.f64 (.f64 (neg.f64 d1) (.f64 (.f64 d1 d1) (.f64 d1 d1))) (.f64 (neg.f64 d1) (.f64 (.f64 d1 d1) (*.f64 d1 d1))))
(.f64 (.f64 d1 (.f64 (.f64 d1 d1) (.f64 d1 d1))) (.f64 d1 (.f64 (.f64 d1 d1) (*.f64 d1 d1))))
(.f64 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (fabs.f64 d1)) (.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (fabs.f64 d1)))
(.f64 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (neg.f64 d1)) (.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) (neg.f64 d1)))
(.f64 (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1) (.f64 (.f64 (.f64 d1 d1) (*.f64 d1 d1)) d1))
(*.f64 (pow.f64 d1 #s(literal 5 binary64)) (pow.f64 d1 #s(literal 5 binary64)))
(.f64 (pow.f64 d1 #s(literal 9/2 binary64)) (.f64 (pow.f64 d1 #s(literal 9/2 binary64)) d1))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (*.f64 d1 d1)))
(.f64 (fabs.f64 d1) (.f64 (fabs.f64 d1) (pow.f64 d1 #s(literal 8 binary64))))
(.f64 (neg.f64 d1) (.f64 (neg.f64 d1) (pow.f64 d1 #s(literal 8 binary64))))
(*.f64 (pow.f64 d1 #s(literal 9 binary64)) (pow.f64 d1 #s(literal 1 binary64)))
(*.f64 (pow.f64 d1 #s(literal 9 binary64)) d1)
(.f64 (.f64 d1 d1) (pow.f64 d1 #s(literal 8 binary64)))
(.f64 (pow.f64 d1 #s(literal 8 binary64)) (.f64 d1 d1))
(*.f64 d1 (pow.f64 d1 #s(literal 9 binary64)))
(pow.f64 d1 #s(literal 10 binary64))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 10 binary64)))
(*.f64 (fabs.f64 (pow.f64 d1 #s(literal 9/2 binary64))) (fabs.f64 (pow.f64 d1 #s(literal 9/2 binary64))))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 9/2 binary64))) (neg.f64 (pow.f64 d1 #s(literal 9/2 binary64))))
(*.f64 (pow.f64 d1 #s(literal 9/2 binary64)) (pow.f64 d1 #s(literal 9/2 binary64)))
(.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) (.f64 (.f64 (.f64 d1 d1) (.f64 d1 d1)) d1))
(*.f64 (pow.f64 d1 #s(literal 8 binary64)) d1)
(*.f64 d1 (pow.f64 d1 #s(literal 8 binary64)))
(pow.f64 (exp.f64 (log.f64 d1)) #s(literal 9 binary64))
(pow.f64 (pow.f64 d1 #s(literal 9/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 9/2 binary64))
(pow.f64 d1 #s(literal 9 binary64))
(fabs.f64 (pow.f64 d1 #s(literal 9 binary64)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 9 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 9 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 9 binary64))))
#s(literal 9 binary64)

eval4.0ms (0.4%)

Memory: 9.4MiB live, 9.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 298 to 139 computations (53.4% saved)

prune2.0ms (0.1%)

Memory

3.7MiB live, 3.7MiB allocated; 0ms collecting garbage

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	53	1	54
Fresh	0	0	0
Picked	2	0	2
Done	0	0	0
Total	55	1	56

Accuracy

100.0%

Counts

56 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 d1 #s(literal 10 binary64))

Compiler

Compiled 3 to 3 computations (0% saved)

rewrite21.0ms (2%)

Memory

-25.5MiB live, 27.7MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	5
0	4	5
1	12	5
0	46	5

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

3 → 12

Calls

Call 1

Inputs
(pow.f64 d1 #s(literal 10 binary64))
d1
#s(literal 10 binary64)

Outputs
(*.f64 (fabs.f64 (pow.f64 d1 #s(literal 5 binary64))) (fabs.f64 (pow.f64 d1 #s(literal 5 binary64))))
(*.f64 (neg.f64 (pow.f64 d1 #s(literal 5 binary64))) (neg.f64 (pow.f64 d1 #s(literal 5 binary64))))
(*.f64 (pow.f64 d1 #s(literal 5 binary64)) (pow.f64 d1 #s(literal 5 binary64)))
(pow.f64 (exp.f64 (log.f64 d1)) #s(literal 10 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 5 binary64))
(pow.f64 (pow.f64 d1 #s(literal 5 binary64)) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 10 binary64))
(fabs.f64 (pow.f64 d1 #s(literal 10 binary64)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 10 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 d1) #s(literal 10 binary64))) (sinh.f64 (.f64 (log.f64 d1) #s(literal 10 binary64))))
d1
#s(literal 10 binary64)

eval4.0ms (0.4%)

Memory: 5.8MiB live, 5.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 36 to 23 computations (36.1% saved)

prune1.0ms (0.1%)

Memory

2.3MiB live, 2.3MiB allocated; 0ms collecting garbage

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	9	0	9
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	9	1	10

Accuracy

100.0%

Counts

10 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 10 binary64))

Compiler

Compiled 22 to 20 computations (9.1% saved)

regimes3.0ms (0.3%)

Memory

6.6MiB live, 6.6MiB allocated; 0ms collecting garbage

Accuracy

Total -0.1b remaining (-∞%)

Threshold costs -0.1b (-∞%)

Counts

4 → 1

Calls

Call 1

Inputs
(pow.f64 d1 #s(literal 10 binary64))
(*.f64 (pow.f64 d1 #s(literal 9 binary64)) d1)
(.f64 (pow.f64 d1 #s(literal 8 binary64)) (.f64 d1 d1))
(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Outputs
(pow.f64 d1 #s(literal 10 binary64))

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

Accuracy	Segments	Branch
100.0%	1	`(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)`
100.0%	1	`d1`

Compiler

Compiled 11 to 10 computations (9.1% saved)

derivations6.0ms (0.6%)

Memory

8.8MiB live, 8.8MiB allocated; 0ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 3 to 3 computations (0% saved)

preprocess15.0ms (1.4%)

Memory: -10.9MiB live, 31.8MiB allocated; 6ms collecting garbage
Remove: (abs d1)
Compiler: Compiled 22 to 21 computations (4.5% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample782.0ms (71.7%)

preprocess87.0ms (8%)

rewrite68.0ms (6.2%)

eval30.0ms (2.8%)

prune6.0ms (0.5%)

rewrite61.0ms (5.6%)

eval4.0ms (0.4%)

prune2.0ms (0.1%)

rewrite21.0ms (2%)

eval4.0ms (0.4%)

prune1.0ms (0.1%)

regimes3.0ms (0.3%)

derivations6.0ms (0.6%)

preprocess15.0ms (1.4%)

end0.0ms (0%)

Profiling