Metrics for FastMath repmul

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

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 9 to 6 computations (33.3% saved)

sample545.0ms (0.6%)

Memory

3.7MiB live, 867.4MiB allocated

Samples

375.0ms

8 256×

valid

Precisions

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

ival-mult: 210.0ms (95.9% of total)

ival-true: 6.0ms (2.7% of total)

ival-assert: 3.0ms (1.4% of total)

Bogosity

preprocess19.0ms (0%)

Memory

-14.2MiB live, 27.8MiB allocated

Algorithm

1×	egg-herbie

Rules

46×	`associate-r`
36×	`distribute-lft-neg-in`
24×	`unsub-neg`
24×	`distribute-lft-neg-out`
20×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	15
1	28	13
2	104	9
3	201	7
4	231	7
5	243	7
0	4	7
0	7	7
1	10	5
2	12	3
3	16	3
4	18	3
0	18	3

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))

Symmetry

(abs d1)

explain50.0ms (0.1%)

Memory

25.4MiB live, 103.2MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`d1`
-	-	`(.f64 (.f64 d1 d1) d1)`
-	-	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`
-	-	`(*.f64 d1 d1)`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

19.0ms

512×

valid

Compiler

Compiled 52 to 20 computations (61.5% saved)

Precisions

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

ival-mult: 9.0ms (96.3% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 4 computations (50% saved)

simplify6.0ms (0%)

Memory

-32.9MiB live, 5.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Program
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 (.f64 d1 d1) d1)
✓	cost-diff	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Rules

12×	`lower-*.f32`
6×	`lower-*.f64`
6×	`lift-*.f64`
4×	`lower-pow.f64`
4×	`lower-pow.f32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	4	16
0	7	16
1	10	12
2	12	10
3	16	10
4	18	10
0	18	10

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) d1)
(*.f64 d1 d1)
d1

Outputs
(.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)
d1

localize15.0ms (0%)

Memory

24.8MiB live, 24.8MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 d1) d1)

Samples

9.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

ival-mult: 4.0ms (87.7% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series2.0ms (0%)

Memory

3.7MiB live, 3.7MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs
#<alt (.f64 (.f64 (*.f64 d1 d1) d1) d1)>
#<alt (.f64 (.f64 d1 d1) d1)>
#<alt (*.f64 d1 d1)>

Outputs
#<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 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)>

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	0	(* (* (* d1 d1) d1) d1)
0.0ms	d1	@	-inf	(* (* d1 d1) d1)
0.0ms	d1	@	inf	(* (* (* d1 d1) d1) d1)
0.0ms	d1	@	0	(* (* d1 d1) d1)
0.0ms	d1	@	inf	(* (* d1 d1) d1)

rewrite167.0ms (0.2%)

Memory

-23.3MiB live, 102.3MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

560×	`lower-*.f32`
554×	`lower-*.f64`
398×	`lower-fma.f64`
398×	`lower-fma.f32`
190×	`lower-pow.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	4	15
0	7	11
1	14	9
2	34	9
3	77	9
4	254	9
0	1033	9

Stop Event

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

Counts

3 → 85

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) d1)
(*.f64 d1 d1)

Outputs
(exp.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(exp.f64 (fma.f64 #s(literal 3/2 binary64) (log.f64 d1) (*.f64 (log.f64 d1) #s(literal 5/2 binary64))))
(exp.f64 (fma.f64 (log.f64 d1) #s(literal 5/2 binary64) (*.f64 #s(literal 3/2 binary64) (log.f64 d1))))
(pow.f64 d1 #s(literal 4 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) #s(literal 1 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 8 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(pow.f64 (*.f64 (exp.f64 #s(literal 2 binary64)) (exp.f64 #s(literal 2 binary64))) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 d1)) d1)
(.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (.f64 d1 (sqrt.f64 d1))))
(.f64 (.f64 d1 (sqrt.f64 d1)) (pow.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #s(literal 1 binary64)))
(.f64 (sqrt.f64 d1) (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))))
(.f64 (sqrt.f64 d1) (pow.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #s(literal 1 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 13/4 binary64)))
(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (.f64 d1 (sqrt.f64 d1)))
(.f64 (sqrt.f64 (sqrt.f64 d1)) (.f64 (sqrt.f64 (sqrt.f64 d1)) (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))))))
(.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 d1 #s(literal 13/4 binary64))))
(.f64 (pow.f64 d1 #s(literal 5/4 binary64)) (.f64 (pow.f64 d1 #s(literal 5/4 binary64)) (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (pow.f64 d1 #s(literal 7/4 binary64)) (pow.f64 d1 #s(literal 9/4 binary64)))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
(*.f64 (pow.f64 d1 #s(literal 13/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 9/4 binary64)) (pow.f64 d1 #s(literal 7/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/4 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 13/4 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #s(literal 1 binary64)) (.f64 d1 (sqrt.f64 d1)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 13/4 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/4 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #s(literal 1 binary64)) (sqrt.f64 d1))
(.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (pow.f64 d1 #s(literal 5/4 binary64))) (pow.f64 d1 #s(literal 5/4 binary64)))
(.f64 (.f64 (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
(.f64 (.f64 (pow.f64 d1 #s(literal 13/4 binary64)) (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 3 binary64))) (log.f64 d1)))
(pow.f64 d1 #s(literal 3 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 3/2 binary64))
(pow.f64 (.f64 d1 (.f64 d1 d1)) #s(literal 1 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) #s(literal 3/4 binary64))
(pow.f64 (*.f64 d1 (sqrt.f64 d1)) #s(literal 2 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 6 binary64))
(pow.f64 (pow.f64 d1 #s(literal 3/4 binary64)) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 #s(literal 3/2 binary64) (log.f64 d1)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(.f64 d1 (.f64 d1 d1))
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1)))
(.f64 (sqrt.f64 d1) (.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
(.f64 (sqrt.f64 d1) (pow.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) #s(literal 1 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 9/4 binary64)))
(.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 (.f64 d1 (sqrt.f64 d1)) #s(literal 3/2 binary64)))
(.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1))
(.f64 (sqrt.f64 (sqrt.f64 d1)) (.f64 (sqrt.f64 (sqrt.f64 d1)) (.f64 d1 (.f64 d1 (sqrt.f64 d1)))))
(.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (.f64 (pow.f64 d1 #s(literal 3/8 binary64)) (pow.f64 d1 #s(literal 9/4 binary64))))
(*.f64 (pow.f64 d1 #s(literal 9/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (.f64 (log.f64 d1) #s(literal 1/2 binary64))) (pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 (log.f64 d1) #s(literal 1/2 binary64))))
(.f64 (pow.f64 (.f64 d1 (sqrt.f64 d1)) #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 3/4 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 9/4 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (pow.f64 d1 #s(literal 9/4 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 d1 #s(literal 3/4 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) #s(literal 1 binary64)) (sqrt.f64 d1))
(*.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (/.f64 (log.f64 d1) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 3 binary64)) (/.f64 (log.f64 d1) #s(literal 2 binary64))))
(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
(.f64 (.f64 (pow.f64 d1 #s(literal 9/4 binary64)) (pow.f64 d1 #s(literal 3/8 binary64))) (pow.f64 d1 #s(literal 3/8 binary64)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 d1)))
(exp.f64 (.f64 (.f64 (log.f64 d1) #s(literal 1/2 binary64)) #s(literal 4 binary64)))
(pow.f64 d1 #s(literal 2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1 binary64))
(pow.f64 (.f64 d1 (.f64 d1 (*.f64 d1 d1))) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 #s(literal 2 binary64) (log.f64 d1)))
(*.f64 d1 d1)
(.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 d1))
(.f64 (sqrt.f64 d1) (.f64 d1 (sqrt.f64 d1)))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 5/4 binary64)))
(.f64 (sqrt.f64 (sqrt.f64 d1)) (.f64 (sqrt.f64 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))))
(*.f64 (pow.f64 d1 #s(literal 5/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 d1)) #s(literal 4 binary64)) (pow.f64 (sqrt.f64 (sqrt.f64 d1)) #s(literal 4 binary64)))
(*.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 (log.f64 d1) #s(literal 2 binary64))) (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 (log.f64 d1) #s(literal 2 binary64))))
(.f64 (.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (sqrt.f64 (sqrt.f64 d1))) (*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (sqrt.f64 (sqrt.f64 d1))))
(.f64 (.f64 (sqrt.f64 (sqrt.f64 d1)) (pow.f64 d1 #s(literal 3/4 binary64))) (*.f64 (sqrt.f64 (sqrt.f64 d1)) (pow.f64 d1 #s(literal 3/4 binary64))))
(.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))

simplify5.0ms (0%)

Memory

5.8MiB live, 5.8MiB allocated

Algorithm

1×	egg-herbie

Rules

6×	`lower-*.f64`
6×	`lower-pow.f64`
6×	`lower-*.f32`
6×	`lower-pow.f32`
2×	`cube-mult`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	108
1	10	108
2	12	108
3	14	108
0	14	108

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

Inputs
(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 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)

Outputs
(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 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)

eval11.0ms (0%)

Memory: 17.8MiB live, 17.8MiB allocated
Compiler: Compiled 1 094 to 229 computations (79.1% saved)

prune32.0ms (0%)

Memory

-15.2MiB live, 23.1MiB allocated

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	116	5	121
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	116	6	122

Accuracy

100.0%

Counts

122 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 d1 #s(literal 4 binary64))
▶	99.7%	(.f64 (.f64 (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1)
▶	99.8%	(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
▶	99.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
▶	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 114 to 56 computations (50.9% saved)

simplify15.0ms (0%)

Memory

14.3MiB live, 14.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1)))
✓	cost-diff	0	(.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1)
✓	cost-diff	0	(.f64 (.f64 (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1)
✓	cost-diff	3840	(.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
✓	cost-diff	0	(*.f64 d1 (sqrt.f64 d1))
✓	cost-diff	0	(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
✓	cost-diff	0	(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
✓	cost-diff	1600	(.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1))
✓	cost-diff	0	(*.f64 d1 (sqrt.f64 d1))
✓	cost-diff	0	(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
✓	cost-diff	0	(.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
✓	cost-diff	1600	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
✓	cost-diff	0	(*.f64 d1 d1)
✓	cost-diff	0	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	cost-diff	5504	(pow.f64 d1 #s(literal 4 binary64))

Rules

240×	`lower-*.f32`
218×	`lower-*.f64`
206×	`associate-r`
108×	`associate-l`
52×	`lower-pow.f32`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	17	141
0	32	94
1	59	92
2	105	79
3	174	79
4	246	79
5	259	71
6	279	71
7	290	71
8	295	71
9	296	71
0	296	71

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(pow.f64 d1 #s(literal 4 binary64))
d1
#s(literal 4 binary64)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
d1
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
d1
(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
(*.f64 d1 (sqrt.f64 d1))
(sqrt.f64 d1)
(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
(.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1))
(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
d1
(*.f64 d1 (sqrt.f64 d1))
(sqrt.f64 d1)
(.f64 (.f64 (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1)
(.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1)
(.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
(.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1)))
(*.f64 d1 (sqrt.f64 d1))
d1
(sqrt.f64 d1)
(sqrt.f64 (sqrt.f64 d1))

Outputs
(pow.f64 d1 #s(literal 4 binary64))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
d1
#s(literal 4 binary64)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
d1
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
d1
(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
(*.f64 d1 (sqrt.f64 d1))
(sqrt.f64 d1)
(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1))
(.f64 d1 (.f64 d1 d1))
(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
d1
(*.f64 d1 (sqrt.f64 d1))
(sqrt.f64 d1)
(.f64 (.f64 (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1)
(.f64 d1 (.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
(*.f64 d1 d1)
(.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1)))
(*.f64 d1 (sqrt.f64 d1))
d1
(sqrt.f64 d1)
(sqrt.f64 (sqrt.f64 d1))

localize90.0ms (0.1%)

Memory

-5.6MiB live, 72.5MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.8%	(sqrt.f64 (sqrt.f64 d1))
✓	accuracy	99.7%	(*.f64 d1 (sqrt.f64 d1))
✓	accuracy	99.7%	(.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
✓	accuracy	99.6%	(.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1)))
✓	accuracy	99.9%	(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
✓	accuracy	99.7%	(*.f64 d1 (sqrt.f64 d1))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
✓	accuracy	99.7%	(*.f64 d1 (sqrt.f64 d1))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	accuracy	100.0%	(pow.f64 d1 #s(literal 4 binary64))

Samples

64.0ms

256×

valid

Compiler

Compiled 143 to 19 computations (86.7% saved)

Precisions

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

ival-pow: 30.0ms (60.6% of total)

ival-mult: 15.0ms (30.3% of total)

ival-sqrt: 3.0ms (6.1% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series172.0ms (0.2%)

Memory

-1.7MiB live, 73.5MiB allocated

Counts

14 → 168

Calls

Call 1

Inputs
#<alt (pow.f64 d1 #s(literal 4 binary64))>
#<alt (.f64 (.f64 d1 d1) (*.f64 d1 d1))>
#<alt (*.f64 d1 d1)>
#<alt (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))>
#<alt (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))))>
#<alt (.f64 d1 (.f64 d1 (sqrt.f64 d1)))>
#<alt (*.f64 d1 (sqrt.f64 d1))>
#<alt (.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1))>
#<alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)>
#<alt (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))>
#<alt (.f64 (.f64 (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1)>
#<alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1)>
#<alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1)))>
#<alt (sqrt.f64 (sqrt.f64 d1))>

Outputs
#<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 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 (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 3) (pow (sqrt -1) 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 (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 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 (* -1 (* (pow d1 2) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 2) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 2) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 2) (pow (sqrt -1) 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 (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2)))>
#<alt (pow (* 1 (pow d1 7)) 1/4)>
#<alt (pow (* 1 (pow d1 7)) 1/4)>
#<alt (pow (* 1 (pow d1 7)) 1/4)>
#<alt (pow (* 1 (pow d1 7)) 1/4)>
#<alt (pow (* 1 (pow d1 7)) 1/4)>
#<alt (pow (* 1 (pow d1 7)) 1/4)>
#<alt (pow (* 1 (pow d1 7)) 1/4)>
#<alt (pow (* 1 (pow d1 7)) 1/4)>
#<alt (* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))>
#<alt (* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))>
#<alt (* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))>
#<alt (* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))>
#<alt (pow (* 1 d1) 1/4)>
#<alt (pow (* 1 d1) 1/4)>
#<alt (pow (* 1 d1) 1/4)>
#<alt (pow (* 1 d1) 1/4)>
#<alt (pow (* 1 d1) 1/4)>
#<alt (pow (* 1 d1) 1/4)>
#<alt (pow (* 1 d1) 1/4)>
#<alt (pow (* 1 d1) 1/4)>
#<alt (* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))>
#<alt (* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))>
#<alt (* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))>
#<alt (* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))>

Calls

42 calls:

Time	Variable		Point	Expression
98.0ms	d1	@	0	(sqrt (sqrt d1))
52.0ms	d1	@	0	(* (* d1 (sqrt d1)) (sqrt (sqrt d1)))
7.0ms	d1	@	inf	(sqrt (sqrt d1))
6.0ms	d1	@	inf	(* (* d1 (sqrt d1)) (sqrt (sqrt d1)))
1.0ms	d1	@	-inf	(* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1))

rewrite96.0ms (0.1%)

Memory

-11.5MiB live, 28.3MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

658×	`pow-exp`
596×	`prod-exp`
590×	`associate-r`
522×	`pow-prod-down`
516×	`log-prod`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	17	115
0	32	42
1	69	42
2	157	42
3	431	42
4	2435	14
0	10048	14

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

14 → 28

Calls

Call 1

Inputs
(pow.f64 d1 #s(literal 4 binary64))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 d1)
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
(.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
(*.f64 d1 (sqrt.f64 d1))
(.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1))
(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
(.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
(.f64 (.f64 (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1)
(.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1)
(.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1)))
(sqrt.f64 (sqrt.f64 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

simplify115.0ms (0.1%)

Memory

20.0MiB live, 57.9MiB allocated

Algorithm

1×	egg-herbie

Rules

600×	`lower-*.f64`
600×	`lower-*.f32`
596×	`lower-fma.f64`
596×	`lower-fma.f32`
338×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	45	616
1	97	616
2	244	612
3	521	612
4	870	612
5	1196	612
6	1416	612
7	1469	612
8	1483	612
9	1483	612
0	1483	612

Stop Event

1×	iter limit
1×	saturated

Counts

168 → 168

Calls

Call 1

Inputs
(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 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)
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 3) (pow (sqrt -1) 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)
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 4) (pow (sqrt -1) 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)
(* -1 (* (pow d1 2) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 2) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 2) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 2) (pow (sqrt -1) 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)
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(pow (* 1 (pow d1 7)) 1/4)
(pow (* 1 (pow d1 7)) 1/4)
(pow (* 1 (pow d1 7)) 1/4)
(pow (* 1 (pow d1 7)) 1/4)
(pow (* 1 (pow d1 7)) 1/4)
(pow (* 1 (pow d1 7)) 1/4)
(pow (* 1 (pow d1 7)) 1/4)
(pow (* 1 (pow d1 7)) 1/4)
(* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))
(* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))
(* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))
(* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))

Outputs
(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 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))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(sqrt.f64 (.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))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(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)
(* -1 (* (pow d1 2) (pow (sqrt -1) 2)))
(*.f64 d1 d1)
(* -1 (* (pow d1 2) (pow (sqrt -1) 2)))
(*.f64 d1 d1)
(* -1 (* (pow d1 2) (pow (sqrt -1) 2)))
(*.f64 d1 d1)
(* -1 (* (pow d1 2) (pow (sqrt -1) 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))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(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))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(pow (* 1 (pow d1 7)) 1/4)
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow d1 7)) 1/4)
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow d1 7)) 1/4)
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow d1 7)) 1/4)
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow d1 7)) 1/4)
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow d1 7)) 1/4)
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow d1 7)) 1/4)
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1/4 binary64))
(pow (* 1 (pow d1 7)) 1/4)
(pow.f64 (pow.f64 d1 #s(literal 7 binary64)) #s(literal 1/4 binary64))
(* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 1/4 binary64)) (neg.f64 (sqrt.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))))))
(* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 1/4 binary64)) (neg.f64 (sqrt.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))))))
(* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 1/4 binary64)) (neg.f64 (sqrt.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))))))
(* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3))))
(*.f64 (pow.f64 (neg.f64 (pow.f64 d1 #s(literal 7 binary64))) #s(literal 1/4 binary64)) (neg.f64 (sqrt.f64 (neg.f64 (sqrt.f64 #s(literal -1 binary64))))))
(pow (* 1 d1) 1/4)
(pow.f64 d1 #s(literal 1/4 binary64))
(pow (* 1 d1) 1/4)
(pow.f64 d1 #s(literal 1/4 binary64))
(pow (* 1 d1) 1/4)
(pow.f64 d1 #s(literal 1/4 binary64))
(pow (* 1 d1) 1/4)
(pow.f64 d1 #s(literal 1/4 binary64))
(pow (* 1 d1) 1/4)
(pow.f64 d1 #s(literal 1/4 binary64))
(pow (* 1 d1) 1/4)
(pow.f64 d1 #s(literal 1/4 binary64))
(pow (* 1 d1) 1/4)
(pow.f64 d1 #s(literal 1/4 binary64))
(pow (* 1 d1) 1/4)
(pow.f64 d1 #s(literal 1/4 binary64))
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))
(*.f64 (pow.f64 (neg.f64 d1) #s(literal 1/4 binary64)) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))))
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))
(*.f64 (pow.f64 (neg.f64 d1) #s(literal 1/4 binary64)) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))))
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))
(*.f64 (pow.f64 (neg.f64 d1) #s(literal 1/4 binary64)) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))))
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))
(*.f64 (pow.f64 (neg.f64 d1) #s(literal 1/4 binary64)) (sqrt.f64 (sqrt.f64 #s(literal -1 binary64))))

eval97.0ms (0.1%)

Memory: 2.9MiB live, 39.7MiB allocated
Compiler: Compiled 2 253 to 110 computations (95.1% saved)

prune10.0ms (0%)

Memory

-16.4MiB live, 22.0MiB allocated

Pruning

10 alts after pruning (4 fresh and 6 done)

	Pruned	Kept	Total
New	262	4	266
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	262	10	272

Accuracy

100.0%

Counts

272 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 4 binary64))
✓	99.7%	(.f64 (.f64 (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1)
✓	99.8%	(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	99.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
▶	99.8%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
▶	72.1%	(.f64 (.f64 d1 d1) d1)
▶	52.4%	(*.f64 d1 d1)
▶	6.1%	d1

Compiler

Compiled 87 to 44 computations (49.4% saved)

simplify6.0ms (0%)

Memory

10.8MiB live, 10.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Program
✓	cost-diff	(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
✓	cost-diff	(.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))
✓	cost-diff	(.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (.f64 d1 d1)))))
✓	cost-diff	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
✓	cost-diff	(*.f64 d1 d1)
✓	cost-diff	(.f64 (.f64 d1 d1) d1)
✓	cost-diff	(*.f64 d1 d1)

Rules

66×	`lower-*.f32`
54×	`lower-*.f64`
26×	`associate-r`
24×	`*-commutative`
22×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	62
0	17	50
1	25	50
2	39	50
3	59	50
4	59	50
0	59	50

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
d1
(.f64 (.f64 d1 d1) d1)
(*.f64 d1 d1)
d1
(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
(.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (.f64 d1 d1)))))
d1
(.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(.f64 d1 (.f64 d1 d1))
(*.f64 d1 d1)
(sqrt.f64 d1)

Outputs
d1
(*.f64 d1 d1)
d1
(.f64 (.f64 d1 d1) d1)
(.f64 d1 (.f64 d1 d1))
(*.f64 d1 d1)
d1
(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
(.f64 (sqrt.f64 (.f64 d1 (.f64 d1 d1))) (.f64 (*.f64 d1 d1) (sqrt.f64 d1)))
(.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (.f64 d1 d1)))))
(.f64 (.f64 d1 d1) (sqrt.f64 (.f64 d1 (.f64 d1 d1))))
d1
(.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(.f64 d1 (.f64 d1 d1))
(*.f64 d1 d1)
(sqrt.f64 d1)

localize42.0ms (0%)

Memory

4.9MiB live, 84.1MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 d1))
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
✓	accuracy	99.9%	(.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))
✓	accuracy	62.5%	(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 d1) d1)
✓	accuracy	100.0%	(*.f64 d1 d1)

Samples

30.0ms

256×

valid

Compiler

Compiled 64 to 11 computations (82.8% saved)

Precisions

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

ival-mult: 13.0ms (67.4% of total)

ival-sqrt: 6.0ms (31.1% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series1.0ms (0%)

Memory

3.8MiB live, 3.8MiB allocated

Counts

7 → 84

Calls

Call 1

Inputs
#<alt (*.f64 d1 d1)>
#<alt (.f64 (.f64 d1 d1) d1)>
#<alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))>
#<alt (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (.f64 d1 d1)))))>
#<alt (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))>
#<alt (sqrt.f64 (.f64 d1 (.f64 d1 d1)))>
#<alt (.f64 d1 (.f64 d1 d1))>

Outputs
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (* (pow d1 4) (pow (sqrt -1) 2))>
#<alt (* (pow d1 4) (pow (sqrt -1) 2))>
#<alt (* (pow d1 4) (pow (sqrt -1) 2))>
#<alt (* (pow d1 4) (pow (sqrt -1) 2))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (sqrt (pow d1 7))>
#<alt (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))>
#<alt (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))>
#<alt (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))>
#<alt (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (sqrt (pow d1 5))>
#<alt (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))>
#<alt (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))>
#<alt (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))>
#<alt (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (sqrt (pow d1 3))>
#<alt (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))>
#<alt (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))>
#<alt (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))>
#<alt (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>

Calls

21 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	-inf	(* d1 (sqrt (* d1 (* d1 d1))))
0.0ms	d1	@	-inf	(* (* d1 (* d1 (sqrt (* d1 (* d1 d1))))) (sqrt d1))
0.0ms	d1	@	0	(* (* d1 (* d1 (sqrt (* d1 (* d1 d1))))) (sqrt d1))
0.0ms	d1	@	inf	(* (* d1 (* d1 (sqrt (* d1 (* d1 d1))))) (sqrt d1))
0.0ms	d1	@	-inf	(* d1 (* d1 d1))

rewrite42.0ms (0%)

Memory

-7.3MiB live, 30.2MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

848×	`pow-exp`
732×	`pow-prod-down`
550×	`pow-pow`
482×	`log-prod`
436×	`mul-fabs`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	9	50
0	17	21
1	32	21
2	82	21
3	269	21
4	1781	7
0	9472	7

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

7 → 14

Calls

Call 1

Inputs
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
(.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (.f64 d1 d1)))))
(.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(.f64 d1 (.f64 d1 d1))

Outputs
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1

simplify10.0ms (0%)

Memory

16.2MiB live, 16.2MiB allocated

Algorithm

1×	egg-herbie

Rules

54×	`lower-*.f64`
54×	`lower-*.f32`
48×	`lower-fma.f64`
48×	`lower-+.f64`
48×	`lower-fma.f32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	21	368
1	29	320
2	48	304
3	59	304
4	63	304
5	67	304
6	72	304
7	80	304
8	93	304
9	114	304
10	124	304
0	124	304

Stop Event

1×	iter limit
1×	saturated

Counts

84 → 84

Calls

Call 1

Inputs
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(* (pow d1 4) (pow (sqrt -1) 2))
(* (pow d1 4) (pow (sqrt -1) 2))
(* (pow d1 4) (pow (sqrt -1) 2))
(* (pow d1 4) (pow (sqrt -1) 2))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(sqrt (pow d1 7))
(* (sqrt (pow d1 7)) (pow (sqrt -1) 2))
(* (sqrt (pow d1 7)) (pow (sqrt -1) 2))
(* (sqrt (pow d1 7)) (pow (sqrt -1) 2))
(* (sqrt (pow d1 7)) (pow (sqrt -1) 2))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(sqrt (pow d1 5))
(* (sqrt (pow d1 5)) (pow (sqrt -1) 2))
(* (sqrt (pow d1 5)) (pow (sqrt -1) 2))
(* (sqrt (pow d1 5)) (pow (sqrt -1) 2))
(* (sqrt (pow d1 5)) (pow (sqrt -1) 2))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(sqrt (pow d1 3))
(* (sqrt (pow d1 3)) (pow (sqrt -1) 2))
(* (sqrt (pow d1 3)) (pow (sqrt -1) 2))
(* (sqrt (pow d1 3)) (pow (sqrt -1) 2))
(* (sqrt (pow d1 3)) (pow (sqrt -1) 2))
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)

Outputs
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(* (pow d1 4) (pow (sqrt -1) 2))
(neg.f64 (pow.f64 d1 #s(literal 4 binary64)))
(* (pow d1 4) (pow (sqrt -1) 2))
(neg.f64 (pow.f64 d1 #s(literal 4 binary64)))
(* (pow d1 4) (pow (sqrt -1) 2))
(neg.f64 (pow.f64 d1 #s(literal 4 binary64)))
(* (pow d1 4) (pow (sqrt -1) 2))
(neg.f64 (pow.f64 d1 #s(literal 4 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(* (sqrt (pow d1 7)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (pow.f64 d1 #s(literal 7 binary64))))
(* (sqrt (pow d1 7)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (pow.f64 d1 #s(literal 7 binary64))))
(* (sqrt (pow d1 7)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (pow.f64 d1 #s(literal 7 binary64))))
(* (sqrt (pow d1 7)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (pow.f64 d1 #s(literal 7 binary64))))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(* (sqrt (pow d1 5)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (pow.f64 d1 #s(literal 5 binary64))))
(* (sqrt (pow d1 5)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (pow.f64 d1 #s(literal 5 binary64))))
(* (sqrt (pow d1 5)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (pow.f64 d1 #s(literal 5 binary64))))
(* (sqrt (pow d1 5)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (pow.f64 d1 #s(literal 5 binary64))))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(* (sqrt (pow d1 3)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (.f64 d1 (.f64 d1 d1))))
(* (sqrt (pow d1 3)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (.f64 d1 (.f64 d1 d1))))
(* (sqrt (pow d1 3)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (.f64 d1 (.f64 d1 d1))))
(* (sqrt (pow d1 3)) (pow (sqrt -1) 2))
(neg.f64 (sqrt.f64 (.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 3)
(.f64 d1 (.f64 d1 d1))

eval41.0ms (0%)

Memory: -13.3MiB live, 25.0MiB allocated
Compiler: Compiled 957 to 54 computations (94.4% saved)

prune6.0ms (0%)

Memory

14.1MiB live, 14.1MiB allocated

Pruning

10 alts after pruning (0 fresh and 10 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	0	0
Picked	0	4	4
Done	0	6	6
Total	126	10	136

Accuracy

100.0%

Counts

136 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 4 binary64))
✓	99.7%	(.f64 (.f64 (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1)
✓	99.8%	(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	99.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
✓	99.8%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	72.1%	(.f64 (.f64 d1 d1) d1)
✓	52.4%	(*.f64 d1 d1)
✓	6.1%	d1

Compiler

Compiled 165 to 68 computations (58.8% saved)

regimes79.0ms (0.1%)

Memory

-46.0MiB live, 17.4MiB allocated

Counts

10 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
(.f64 (.f64 (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1)
(pow.f64 d1 #s(literal 4 binary64))

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

Calls

2 calls:

76.0ms	d1
3.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes7.0ms (0%)

Memory

8.1MiB live, 8.2MiB allocated

Counts

9 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
(.f64 (.f64 (.f64 (.f64 (*.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Calls

2 calls:

3.0ms	d1
3.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes4.0ms (0%)

Memory

7.8MiB live, 7.8MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Outputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Calls

2 calls:

2.0ms	d1
2.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes4.0ms (0%)

Memory

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes6.0ms (0%)

Memory

-30.9MiB live, 6.2MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
d1

Outputs
d1

Calls

2 calls:

5.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
1.0ms	d1

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

simplify6.0ms (0%)

Memory

17.8MiB live, 17.8MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	26
1	9	26

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(pow.f64 d1 #s(literal 4 binary64))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 d1) d1)
(.f64 d1 (.f64 d1 d1))
(*.f64 d1 d1)
d1

soundness1.5min (98.1%)

Memory

471.1MiB live, 2 081.0MiB allocated

Rules

658×	`pow-exp`
596×	`prod-exp`
590×	`associate-r`
560×	`lower-*.f32`
554×	`lower-*.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	115
0	32	42
1	69	42
2	157	42
3	431	42
4	2435	14
0	10048	14
0	4	15
0	7	11
1	14	9
2	34	9
3	77	9
4	254	9
0	1033	9

Stop Event

1×	done
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Compiler

Compiled 71 to 28 computations (60.6% saved)

preprocess40.0ms (0%)

Memory: 34.9MiB live, 112.4MiB allocated
Remove: (abs d1)
Compiler: Compiled 102 to 46 computations (54.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	17	141
0	32	94
1	59	92
2	105	79
3	174	79
4	246	79
5	259	71
6	279	71
7	290	71
8	295	71
9	296	71
0	296	71

Iter	Nodes	Cost
0	21	368
1	29	320
2	48	304
3	59	304
4	63	304
5	67	304
6	72	304
7	80	304
8	93	304
9	114	304
10	124	304
0	124	304

Iter	Nodes	Cost
0	17	141
0	32	94
1	59	92
2	105	79
3	174	79
4	246	79
5	259	71
6	279	71
7	290	71
8	295	71
9	296	71
0	296	71

Iter	Nodes	Cost
0	21	368
1	29	320
2	48	304
3	59	304
4	63	304
5	67	304
6	72	304
7	80	304
8	93	304
9	114	304
10	124	304
0	124	304

analyze0.0ms (0%)

sample545.0ms (0.6%)

preprocess19.0ms (0%)

explain50.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify6.0ms (0%)

localize15.0ms (0%)

series2.0ms (0%)

rewrite167.0ms (0.2%)

simplify5.0ms (0%)

eval11.0ms (0%)

prune32.0ms (0%)

simplify15.0ms (0%)

localize90.0ms (0.1%)

series172.0ms (0.2%)

rewrite96.0ms (0.1%)

simplify115.0ms (0.1%)

eval97.0ms (0.1%)

prune10.0ms (0%)

simplify6.0ms (0%)

localize42.0ms (0%)

series1.0ms (0%)

rewrite42.0ms (0%)

simplify10.0ms (0%)

eval41.0ms (0%)

prune6.0ms (0%)

regimes79.0ms (0.1%)

regimes7.0ms (0%)

regimes4.0ms (0%)

regimes4.0ms (0%)

regimes3.0ms (0%)

regimes6.0ms (0%)

simplify6.0ms (0%)

soundness1.5min (98.1%)

preprocess40.0ms (0%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	17	141
0	32	94
1	59	92
2	105	79
3	174	79
4	246	79
5	259	71
6	279	71
7	290	71
8	295	71
9	296	71
0	296	71

Iter	Nodes	Cost
0	21	368
1	29	320
2	48	304
3	59	304
4	63	304
5	67	304
6	72	304
7	80	304
8	93	304
9	114	304
10	124	304
0	124	304