Metrics for FastMath repmul

analyze0.0ms (0%)

Memory

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

sample691.0ms (2.1%)

Memory

32.6MiB live, 812.0MiB allocated

Samples

441.0ms

8 256×

valid

Precisions

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

ival-mult: 166.0ms (95.8% of total)

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

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

Bogosity

preprocess16.0ms (0%)

Memory

14.2MiB live, 14.2MiB allocated

Algorithm

2×	egg-herbie

Rules

44×	`associate-r`
32×	`distribute-lft-neg-in`
24×	`unsub-neg`
22×	`distribute-lft-neg-out`
20×	`distribute-rgt-neg-out`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	33	16
2	111	10
3	204	10
4	232	10
5	244	10
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)))

Call 2

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

Outputs
(* (* (* d1 d1) d1) d1)
(pow d1 4)
(* (* (* (neg d1) (neg d1)) (neg d1)) (neg d1))
(pow d1 4)
(neg (* (* (* (neg d1) (neg d1)) (neg d1)) (neg d1)))
(neg (pow d1 4))

Symmetry

(abs d1)

explain364.0ms (1.1%)

Memory

-24.0MiB live, 88.4MiB 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

20.0ms

512×

valid

Compiler

Compiled 52 to 20 computations (61.5% saved)

Precisions

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

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

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

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

2.0MiB live, 2.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

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

localize20.0ms (0.1%)

Memory

-9.9MiB live, 32.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	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Samples

15.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 (101.7% of total)

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

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

series2.0ms (0%)

Memory

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

rewrite121.0ms (0.4%)

Memory

-0.2MiB live, 204.3MiB 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

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

eval13.0ms (0%)

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

prune13.0ms (0%)

Memory

2.2MiB live, 41.2MiB 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 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
▶	99.7%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
▶	99.7%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (.f64 d1 (sqrt.f64 d1)))
▶	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 114 to 54 computations (52.6% saved)

simplify15.0ms (0%)

Memory

-18.4MiB live, 23.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
✓	cost-diff	0	(.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
✓	cost-diff	0	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1)))
✓	cost-diff	3840	(.f64 (.f64 (.f64 d1 (.f64 d1 (*.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 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	(sqrt.f64 d1)
✓	cost-diff	0	(*.f64 d1 (sqrt.f64 d1))
✓	cost-diff	0	(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
✓	cost-diff	1600	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (.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×	`-lowering-.f32`
240×	`-lowering-.f64`
206×	`associate-r`
90×	`associate-l`
52×	`pow-lowering-pow.f64`

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	14	91
1	36	85
2	75	85
3	150	82
4	221	82
5	229	72
6	245	72
7	262	70
8	270	70
9	272	70
0	272	70

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

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

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

localize60.0ms (0.2%)

Memory

21.5MiB live, 296.8MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1)))
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
✓	accuracy	99.8%	(sqrt.f64 (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%	(sqrt.f64 d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (.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

35.0ms

256×

valid

Compiler

Compiled 126 to 16 computations (87.3% saved)

Precisions

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

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

ival-sqrt: 5.0ms (22.4% of total)

ival-pow: 4.0ms (17.9% of total)

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

exact: 0.0ms (0% of total)

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

series68.0ms (0.2%)

Memory

8.2MiB live, 207.2MiB allocated

Counts

12 → 144

Calls

Call 1

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

36 calls:

Time	Variable		Point	Expression
29.0ms	d1	@	0	(* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt (sqrt d1)))
12.0ms	d1	@	0	(sqrt (sqrt d1))
8.0ms	d1	@	inf	(* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt (sqrt d1)))
7.0ms	d1	@	inf	(sqrt (sqrt d1))
3.0ms	d1	@	inf	(* d1 (* d1 (sqrt d1)))

rewrite43.0ms (0.1%)

Memory

-5.9MiB live, 109.6MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

684×	`pow-exp`
548×	`prod-exp`
538×	`pow-prod-down`
476×	`associate-r`
404×	`unswap-sqr`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	14	36
1	46	36
2	128	36
3	404	36
4	2189	12
0	8795	12

Stop Event

1×	iter limit
1×	node limit

Counts

12 → 24

Calls

Call 1

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

simplify64.0ms (0.2%)

Memory

-5.0MiB live, 229.0MiB allocated

Algorithm

1×	egg-herbie

Rules

402×	`-lowering-.f32`
402×	`-lowering-.f64`
398×	`accelerator-lowering-fma.f32`
398×	`accelerator-lowering-fma.f64`
214×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	46	532
1	93	532
2	215	528
3	337	528
4	615	528
5	857	528
6	1029	528
7	1092	528
8	1116	528
9	1116	528
0	1116	528

Stop Event

1×	iter limit
1×	saturated

Counts

144 → 144

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

eval53.0ms (0.2%)

Memory: -2.4MiB live, 328.7MiB allocated
Compiler: Compiled 3 721 to 114 computations (96.9% saved)

prune18.0ms (0.1%)

Memory

-19.8MiB live, 143.6MiB allocated

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	361	3	364
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	361	9	370

Accuracy

100.0%

Counts

370 → 9

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 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	99.7%	(.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.7%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (.f64 d1 (sqrt.f64 d1)))
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
▶	68.1%	(.f64 (.f64 d1 d1) d1)
▶	6.0%	d1

Compiler

Compiled 83 to 41 computations (50.6% saved)

simplify6.0ms (0%)

Memory

10.5MiB live, 50.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

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

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	46
1	17	46
2	31	46
3	50	46
4	51	46
0	51	46

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

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

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

localize39.0ms (0.1%)

Memory

6.7MiB live, 286.4MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score	Program
✓	accuracy	99.9%	(.f64 d1 (.f64 d1 (sqrt.f64 (.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	68.6%	(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
✓	accuracy	100.0%	(*.f64 d1 d1)
✓	accuracy	99.9%	(.f64 (.f64 d1 d1) d1)

Samples

24.0ms

256×

valid

Compiler

Compiled 60 to 11 computations (81.7% saved)

Precisions

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

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

ival-sqrt: 4.0ms (29.5% of total)

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

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

series1.0ms (0%)

Memory

10.0MiB live, 10.0MiB allocated

Counts

6 → 72

Calls

Call 1

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

Outputs
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 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))>

Calls

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

rewrite40.0ms (0.1%)

Memory

-12.1MiB live, 27.4MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	9	18
1	24	18
2	74	18
3	256	18
4	1756	6
0	9453	6

Stop Event

1×	iter limit
1×	node limit

Counts

6 → 12

Calls

Call 1

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

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

simplify19.0ms (0.1%)

Memory

9.3MiB live, 93.2MiB allocated

Algorithm

1×	egg-herbie

Rules

54×	`-lowering-.f32`
54×	`-lowering-.f64`
48×	`+-lowering-+.f64`
48×	`+-lowering-+.f32`
48×	`accelerator-lowering-fma.f32`

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated

Counts

72 → 72

Calls

Call 1

Inputs
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 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))

Outputs
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 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))))

eval10.0ms (0%)

Memory: -30.1MiB live, 48.5MiB allocated
Compiler: Compiled 745 to 48 computations (93.6% saved)

prune5.0ms (0%)

Memory

17.1MiB live, 17.1MiB allocated

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	0	0	0
Picked	0	3	3
Done	0	6	6
Total	97	10	107

Accuracy

100.0%

Counts

107 → 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 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	99.7%	(.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.7%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (.f64 d1 (sqrt.f64 d1)))
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	68.1%	(.f64 (.f64 d1 d1) d1)
▶	54.9%	(*.f64 d1 d1)
✓	6.0%	d1

Compiler

Compiled 87 to 43 computations (50.6% saved)

simplify3.0ms (0%)

Memory

7.0MiB live, 7.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

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

Rules

2×	`-lowering-.f32`
2×	`-lowering-.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	4
0	2	4

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* d1 d1)
d1

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

localize12.0ms (0%)

Memory

-10.5MiB live, 70.5MiB allocated

Localize:

Found 1 expressions of interest:

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

Samples

9.0ms

256×

valid

Compiler

Compiled 6 to 4 computations (33.3% saved)

Precisions

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

ival-mult: 3.0ms (88.5% of total)

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

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

series0.0ms (0%)

Memory

1.9MiB live, 1.9MiB allocated

Counts

1 → 12

Calls

Call 1

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

Calls

3 calls:

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

rewrite125.0ms (0.4%)

Memory

3.9MiB live, 764.1MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

2 136×	`pow-lowering-pow.f64`
2 136×	`pow-lowering-pow.f32`
1 638×	`-lowering-.f32`
1 638×	`-lowering-.f64`
1 412×	`prod-exp`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	2	3
1	4	3
2	11	3
3	27	3
4	75	3
5	230	1
6	1483	1
7	1508	1
8	1631	1
9	2872	1
0	8317	1

Stop Event

1×	iter limit
1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(* d1 d1)

Outputs
#s(literal 1 binary64)
d1

simplify5.0ms (0%)

Memory

-0.0MiB live, 41.2MiB allocated

Algorithm

1×	egg-herbie

Rules

2×	`pow-lowering-pow.f64`
2×	`pow-lowering-pow.f32`
2×	`-lowering-.f32`
2×	`-lowering-.f64`
2×	`unpow2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	36
1	4	36
0	4	36

Stop Event

1×	iter limit
1×	saturated

Counts

12 → 12

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)

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)

eval1.0ms (0%)

Memory: 3.8MiB live, 3.8MiB allocated
Compiler: Compiled 39 to 3 computations (92.3% saved)

prune5.0ms (0%)

Memory

-18.1MiB live, 21.7MiB allocated

Pruning

10 alts after pruning (0 fresh and 10 done)

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

Accuracy

100.0%

Counts

24 → 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 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	99.7%	(.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.7%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (.f64 d1 (sqrt.f64 d1)))
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	68.1%	(.f64 (.f64 d1 d1) d1)
✓	54.9%	(*.f64 d1 d1)
✓	6.0%	d1

Compiler

Compiled 165 to 64 computations (61.2% saved)

regimes8.0ms (0%)

Memory

7.2MiB live, 46.8MiB 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 (sqrt.f64 d1))) (.f64 d1 (sqrt.f64 d1)))
(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
(.f64 (.f64 (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
(pow.f64 d1 #s(literal 4 binary64))

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

Calls

2 calls:

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

regimes8.0ms (0%)

Memory

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

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

Calls

2 calls:

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

regimes6.0ms (0%)

Memory

15.8MiB live, 55.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:

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

-22.6MiB live, 16.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	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
2.0ms	d1

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

18.5MiB live, 18.6MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)

Outputs
(*.f64 d1 d1)

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

-22.3MiB live, 17.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:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

simplify7.0ms (0%)

Memory

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

soundness29.6s (91.8%)

Memory

11.6MiB live, 452.2MiB allocated

Rules

848×	`pow-exp`
774×	`pow-prod-down`
684×	`pow-exp`
560×	`-lowering-.f32`
560×	`-lowering-.f64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	14	36
1	46	36
2	128	36
3	404	36
4	2189	12
0	8795	12
0	4	11
1	11	9
2	31	9
3	74	9
4	251	9
0	1012	9
0	9	18
1	24	18
2	74	18
3	256	18
4	1756	6
0	9453	6

Stop Event

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

Compiler

Compiled 73 to 30 computations (58.9% saved)

preprocess749.0ms (2.3%)

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

end0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

Iter	Nodes	Cost
0	14	91
1	36	85
2	75	85
3	150	82
4	221	82
5	229	72
6	245	72
7	262	70
8	270	70
9	272	70
0	272	70

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

Iter	Nodes	Cost
0	14	91
1	36	85
2	75	85
3	150	82
4	221	82
5	229	72
6	245	72
7	262	70
8	270	70
9	272	70
0	272	70

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

analyze0.0ms (0%)

sample691.0ms (2.1%)

preprocess16.0ms (0%)

explain364.0ms (1.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0%)

localize20.0ms (0.1%)

series2.0ms (0%)

rewrite121.0ms (0.4%)

simplify6.0ms (0%)

eval13.0ms (0%)

prune13.0ms (0%)

simplify15.0ms (0%)

localize60.0ms (0.2%)

series68.0ms (0.2%)

rewrite43.0ms (0.1%)

simplify64.0ms (0.2%)

eval53.0ms (0.2%)

prune18.0ms (0.1%)

simplify6.0ms (0%)

localize39.0ms (0.1%)

series1.0ms (0%)

rewrite40.0ms (0.1%)

simplify19.0ms (0.1%)

eval10.0ms (0%)

prune5.0ms (0%)

simplify3.0ms (0%)

localize12.0ms (0%)

series0.0ms (0%)

rewrite125.0ms (0.4%)

simplify5.0ms (0%)

eval1.0ms (0%)

prune5.0ms (0%)

regimes8.0ms (0%)

regimes8.0ms (0%)

regimes6.0ms (0%)

regimes4.0ms (0%)

regimes3.0ms (0%)

regimes3.0ms (0%)

simplify7.0ms (0%)

soundness29.6s (91.8%)

preprocess749.0ms (2.3%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	14	91
1	36	85
2	75	85
3	150	82
4	221	82
5	229	72
6	245	72
7	262	70
8	270	70
9	272	70
0	272	70

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