Metrics for FastMath repmul

analyze0.0ms (0%)

Memory

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

sample496.0ms (1.7%)

Memory

35.8MiB live, 1 864.3MiB allocated

Samples

315.0ms

8 256×

valid

Precisions

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

ival-mult: 168.0ms (94.9% of total)

ival-true: 5.0ms (2.8% of total)

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

Bogosity

preprocess18.0ms (0.1%)

Memory

-16.9MiB live, 105.2MiB 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
1	7	5
2	9	3
3	13	3
4	15	3
0	15	3

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(* (* (* d1 d1) d1) d1)

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

Symmetry

(abs d1)

explain83.0ms (0.3%)

Memory

21.1MiB live, 544.1MiB 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

27.0ms

512×

valid

Compiler

Compiled 52 to 20 computations (61.5% saved)

Precisions

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

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

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

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

eval0.0ms (0%)

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

prune2.0ms (0%)

Memory

-32.5MiB live, 7.0MiB 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)

simplify4.0ms (0%)

Memory

24.8MiB live, 24.8MiB 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×	`-lowering-.f32`
12×	`-lowering-.f64`
4×	`pow-lowering-pow.f64`
4×	`pow-lowering-pow.f32`
4×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	4	16
1	7	12
2	9	10
3	13	10
4	15	10
0	15	10

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* (* (* d1 d1) d1) d1)
(* (* d1 d1) d1)
(* d1 d1)
d1

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

localize18.0ms (0.1%)

Memory

14.1MiB live, 94.2MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

12.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: 5.0ms (99.9% of total)

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

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

series3.0ms (0%)

Memory

-21.5MiB live, 18.0MiB allocated

Counts

3 → 36

Calls

Call 1

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

rewrite102.0ms (0.3%)

Memory

5.2MiB live, 203.1MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

560×	`-lowering-.f32`
560×	`-lowering-.f64`
398×	`accelerator-lowering-fma.f32`
398×	`accelerator-lowering-fma.f64`
190×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	4	11
1	11	9
2	31	9
3	74	9
4	251	9
0	1012	9

Stop Event

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

Counts

3 → 85

Calls

Call 1

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

simplify6.0ms (0%)

Memory

14.8MiB live, 14.8MiB allocated

Algorithm

1×	egg-herbie

Rules

6×	`pow-lowering-pow.f64`
6×	`pow-lowering-pow.f32`
6×	`-lowering-.f32`
6×	`-lowering-.f64`
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)

eval17.0ms (0.1%)

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

prune11.0ms (0%)

Memory

-3.3MiB live, 35.5MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	117	4	121
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	117	5	122

Accuracy

100.0%

Counts

122 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 d1 #s(literal 4 binary64))
▶	99.8%	(.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.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 44 to 21 computations (52.3% saved)

simplify7.0ms (0%)

Memory

-20.6MiB live, 18.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	5504	(pow.f64 d1 #s(literal 4 binary64))
✓	cost-diff	0	(sqrt.f64 d1)
✓	cost-diff	0	(*.f64 d1 (sqrt.f64 d1))
✓	cost-diff	0	(.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1)
✓	cost-diff	1600	(.f64 (.f64 d1 (sqrt.f64 d1)) (*.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))

Rules

56×	`-lowering-.f32`
56×	`-lowering-.f64`
30×	`associate-r`
20×	`associate-l`
16×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	71
1	32	55
2	45	47
3	52	47
4	59	43
5	68	43
6	70	43
0	70	43

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* (* d1 d1) (* d1 d1))
(* d1 d1)
d1
(* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1))
(* d1 (* d1 (* d1 (sqrt d1))))
d1
(* d1 (* d1 (sqrt d1)))
(* d1 (sqrt d1))
(sqrt d1)
(* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1)
(* (* d1 (sqrt d1)) (* d1 (sqrt d1)))
(* d1 (sqrt d1))
d1
(sqrt d1)
(pow d1 4)
d1
4

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

localize55.0ms (0.2%)

Memory

-6.8MiB live, 244.4MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(pow.f64 d1 #s(literal 4 binary64))
✓	accuracy	100.0%	(sqrt.f64 d1)
✓	accuracy	100.0%	(.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1)
✓	accuracy	99.8%	(.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1)))
✓	accuracy	99.7%	(*.f64 d1 (sqrt.f64 d1))
✓	accuracy	99.9%	(.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 (*.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))

Samples

36.0ms

256×

valid

Compiler

Compiled 77 to 14 computations (81.8% saved)

Precisions

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

ival-mult: 20.0ms (78% of total)

ival-pow: 3.0ms (11.7% of total)

ival-sqrt: 2.0ms (7.8% of total)

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

exact: 0.0ms (0% of total)

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

series6.0ms (0%)

Memory

26.0MiB live, 26.0MiB allocated

Counts

10 → 120

Calls

Call 1

Inputs
#<alt (* (* d1 d1) (* d1 d1))>
#<alt (* d1 d1)>
#<alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1))>
#<alt (* d1 (* d1 (* d1 (sqrt d1))))>
#<alt (* d1 (* d1 (sqrt d1)))>
#<alt (* d1 (sqrt d1))>
#<alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1)))>
#<alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1)>
#<alt (sqrt d1)>
#<alt (pow d1 4)>

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

Calls

30 calls:

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

rewrite43.0ms (0.1%)

Memory

-20.5MiB live, 97.5MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

864×	`pow-exp`
720×	`pow-pow`
596×	`pow-prod-down`
480×	`prod-exp`
384×	`frac-add`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	30
1	42	30
2	94	30
3	297	30
4	1949	10
0	9900	10

Stop Event

1×	iter limit
1×	node limit

Counts

10 → 20

Calls

Call 1

Inputs
(* (* d1 d1) (* d1 d1))
(* d1 d1)
(* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1))
(* d1 (* d1 (* d1 (sqrt d1))))
(* d1 (* d1 (sqrt d1)))
(* d1 (sqrt d1))
(* (* d1 (sqrt d1)) (* d1 (sqrt d1)))
(* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1)
(sqrt d1)
(pow d1 4)

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

simplify63.0ms (0.2%)

Memory

-2.7MiB live, 116.7MiB allocated

Algorithm

1×	egg-herbie

Rules

624×	`-lowering-.f32`
624×	`-lowering-.f64`
624×	`accelerator-lowering-fma.f32`
624×	`accelerator-lowering-fma.f64`
432×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	384
1	64	384
2	185	384
3	404	384
4	944	384
5	1322	384
6	1635	384
7	1798	384
8	1818	384
9	1822	384
10	1850	384
11	1852	384
0	1852	384

Stop Event

1×	iter limit
1×	saturated

Counts

120 → 120

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

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

eval19.0ms (0.1%)

Memory: 7.4MiB live, 45.7MiB allocated
Compiler: Compiled 1 767 to 64 computations (96.4% saved)

prune10.0ms (0%)

Memory

-6.5MiB live, 34.4MiB allocated

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	221	3	224
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	221	8	229

Accuracy

100.0%

Counts

229 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 4 binary64))
✓	99.8%	(.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.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))
▶	70.9%	(.f64 (.f64 d1 d1) d1)
▶	56.7%	(*.f64 d1 d1)
▶	6.0%	d1

Compiler

Compiled 56 to 27 computations (51.8% saved)

simplify3.0ms (0%)

Memory

9.3MiB live, 9.3MiB 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 d1 d1)

Rules

6×	`-lowering-.f32`
6×	`-lowering-.f64`
2×	`pow-lowering-pow.f64`
2×	`pow-lowering-pow.f32`
2×	`cube-unmult`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	3	14
1	4	12
2	6	12
0	6	12

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
d1
(* d1 d1)
d1
(* (* d1 d1) d1)
(* d1 d1)
d1

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

localize16.0ms (0.1%)

Memory

11.7MiB live, 90.3MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

10.0ms

256×

valid

Compiler

Compiled 16 to 5 computations (68.8% saved)

Precisions

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

ival-mult: 5.0ms (104.3% of total)

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

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

series0.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Counts

2 → 24

Calls

Call 1

Inputs
#<alt (* d1 d1)>
#<alt (* (* d1 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)>

Calls

6 calls:

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

rewrite122.0ms (0.4%)

Memory

-3.4MiB live, 312.7MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

2 618×	`-lowering-.f32`
2 618×	`-lowering-.f64`
1 202×	`unpow-prod-down`
1 036×	`log-prod`
926×	`associate-r`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	3	6
1	8	6
2	22	6
3	50	6
4	164	6
5	569	2
6	4062	2
7	4120	2
8	4359	2
9	6903	2
0	8620	2

Stop Event

1×	iter limit
1×	node limit

Counts

2 → 4

Calls

Call 1

Inputs
(* d1 d1)
(* (* d1 d1) d1)

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

simplify5.0ms (0%)

Memory

9.1MiB live, 9.1MiB allocated

Algorithm

1×	egg-herbie

Rules

6×	`-lowering-.f32`
6×	`-lowering-.f64`
4×	`pow-lowering-pow.f64`
4×	`pow-lowering-pow.f32`
2×	`cube-mult`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	72
1	8	72
2	10	72
3	12	72
0	12	72

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 24

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)

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

eval7.0ms (0%)

Memory: -30.3MiB live, 7.5MiB allocated
Compiler: Compiled 167 to 6 computations (96.4% saved)

prune4.0ms (0%)

Memory

9.9MiB live, 9.9MiB allocated

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	0	0
Picked	0	3	3
Done	0	5	5
Total	42	8	50

Accuracy

100.0%

Counts

50 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 #s(literal 4 binary64))
✓	99.8%	(.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.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))
✓	70.9%	(.f64 (.f64 d1 d1) d1)
✓	56.7%	(*.f64 d1 d1)
✓	6.0%	d1

Compiler

Compiled 105 to 41 computations (61% saved)

regimes6.0ms (0%)

Memory

13.0MiB live, 13.0MiB allocated

Counts

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

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

Calls

2 calls:

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

regimes6.0ms (0%)

Memory

10.8MiB live, 10.8MiB allocated

Counts

7 → 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 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1)

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

Calls

2 calls:

3.0ms	d1
2.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)

regimes46.0ms (0.2%)

Memory

-36.2MiB live, 6.3MiB 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.2MiB live, 7.2MiB allocated

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

5.2MiB live, 5.2MiB 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
56.7%	1	`d1`
56.7%	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

4.6MiB live, 4.6MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
d1

Outputs
d1

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

simplify7.0ms (0%)

Memory

9.3MiB live, 9.3MiB 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

soundness28.1s (95.5%)

Memory

-11.4MiB live, 221.3MiB allocated

Rules

864×	`pow-exp`
720×	`pow-pow`
596×	`pow-prod-down`
560×	`-lowering-.f32`
560×	`-lowering-.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	30
1	42	30
2	94	30
3	297	30
4	1949	10
0	9900	10
0	4	11
1	11	9
2	31	9
3	74	9
4	251	9
0	1012	9

Stop Event

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

Compiler

Compiled 69 to 26 computations (62.3% saved)

preprocess122.0ms (0.4%)

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

sample496.0ms (1.7%)

preprocess18.0ms (0.1%)

explain83.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify4.0ms (0%)

localize18.0ms (0.1%)

series3.0ms (0%)

rewrite102.0ms (0.3%)

simplify6.0ms (0%)

eval17.0ms (0.1%)

prune11.0ms (0%)

simplify7.0ms (0%)

localize55.0ms (0.2%)

series6.0ms (0%)

rewrite43.0ms (0.1%)

simplify63.0ms (0.2%)

eval19.0ms (0.1%)

prune10.0ms (0%)

simplify3.0ms (0%)

localize16.0ms (0.1%)

series0.0ms (0%)

rewrite122.0ms (0.4%)

simplify5.0ms (0%)

eval7.0ms (0%)

prune4.0ms (0%)

regimes6.0ms (0%)

regimes6.0ms (0%)

regimes46.0ms (0.2%)

regimes4.0ms (0%)

regimes3.0ms (0%)

regimes3.0ms (0%)

simplify7.0ms (0%)

soundness28.1s (95.5%)

preprocess122.0ms (0.4%)

end0.0ms (0%)

Profiling