Metrics for FastMath repmul

analyze0.0ms (0%)

Memory

3.8MiB live, 3.5MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample659.0ms (2.1%)

Memory

38.8MiB live, 2 790.7MiB allocated

Samples

421.0ms

8 256×

valid

Precisions

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

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

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

ival-assert: 4.0ms (1.9% of total)

Bogosity

preprocess54.0ms (0.2%)

Memory

-29.4MiB live, 130.3MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

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

Calls

Call 1

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

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

Symmetry

(abs d1)

explain257.0ms (0.8%)

Memory

8.6MiB live, 285.3MiB 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

36.0ms

512×

valid

Compiler

Compiled 52 to 20 computations (61.5% saved)

Precisions

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

ival-mult: 24.0ms (98.9% of total)

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

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

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

simplify7.0ms (0%)

Memory

-24.1MiB live, 58.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×	`lower-*.f32`
6×	`lower-*.f64`
6×	`lift-*.f64`
4×	`lower-pow.f64`
4×	`lower-pow.f32`

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize28.0ms (0.1%)

Memory

23.8MiB live, 181.4MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

18.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

ival-mult: 8.0ms (100.9% of total)

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

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

series4.0ms (0%)

Memory

-7.4MiB live, 32.0MiB allocated

Counts

3 → 36

Calls

Call 1

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

Outputs
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 3)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>

Calls

9 calls:

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

rewrite131.0ms (0.4%)

Memory

-9.5MiB live, 609.2MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

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

Counts

3 → 85

Calls

Call 1

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

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

simplify6.0ms (0%)

Memory

-11.3MiB live, 68.9MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

Inputs
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)

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

eval13.0ms (0%)

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

prune16.0ms (0.1%)

Memory

-17.2MiB live, 143.6MiB 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.8%	(.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.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
▶	99.8%	(.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)

simplify16.0ms (0.1%)

Memory

3.7MiB live, 81.7MiB 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×	`lower-*.f32`
222×	`lower-*.f64`
202×	`associate-r`
84×	`associate-l`
52×	`lower-pow.f32`

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	14	124
0	26	91
1	48	85
2	90	85
3	168	82
4	231	82
5	239	72
6	255	72
7	272	70
8	280	70
9	282	70
0	282	70

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize75.0ms (0.2%)

Memory

5.6MiB live, 768.7MiB allocated

Localize:

Found 15 expressions of interest:

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

40.0ms

256×

valid

Compiler

Compiled 126 to 16 computations (87.3% saved)

Precisions

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

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

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

ival-pow: 5.0ms (19.8% of total)

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

exact: 0.0ms (0% of total)

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

series156.0ms (0.5%)

Memory

24.2MiB live, 906.5MiB allocated

Counts

12 → 144

Calls

Call 1

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

Outputs
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (pow d1 4)>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2)))>
#<alt (sqrt (pow d1 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
69.0ms	d1	@	0	(* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt (sqrt d1)))
43.0ms	d1	@	-inf	(* (* d1 (* d1 (sqrt d1))) (* d1 (sqrt d1)))
11.0ms	d1	@	inf	(sqrt (sqrt d1))
11.0ms	d1	@	inf	(* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt (sqrt d1)))
10.0ms	d1	@	0	(sqrt (sqrt d1))

rewrite46.0ms (0.1%)

Memory

-8.8MiB live, 154.9MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

684×	`pow-exp`
548×	`prod-exp`
524×	`pow-prod-down`
474×	`associate-r`
404×	`unswap-sqr`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	14	86
0	26	36
1	58	36
2	140	36
3	419	36
4	2202	12
0	8783	12

Stop Event

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

Counts

12 → 24

Calls

Call 1

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

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

simplify58.0ms (0.2%)

Memory

-15.2MiB live, 404.7MiB allocated

Algorithm

1×	egg-herbie

Rules

402×	`lower-*.f64`
402×	`lower-*.f32`
398×	`lower-fma.f64`
398×	`lower-fma.f32`
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))))

eval39.0ms (0.1%)

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

prune12.0ms (0%)

Memory

16.5MiB live, 136.0MiB 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.8%	(.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.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
▶	99.8%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
✓	99.8%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (.f64 d1 (sqrt.f64 d1)))
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
▶	69.5%	(.f64 (.f64 d1 d1) d1)
▶	6.0%	d1

Compiler

Compiled 83 to 41 computations (50.6% saved)

simplify8.0ms (0%)

Memory

-5.5MiB live, 76.8MiB 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×	`lower-*.f32`
54×	`lower-*.f64`
26×	`associate-r`
24×	`*-commutative`
22×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	58
0	17	46
1	25	46
2	39	46
3	59	46
4	59	46
0	59	46

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize52.0ms (0.2%)

Memory

-4.4MiB live, 491.6MiB allocated

Localize:

Found 6 expressions of interest:

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

Samples

29.0ms

256×

valid

Compiler

Compiled 60 to 11 computations (81.7% saved)

Precisions

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

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

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

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

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

series2.0ms (0%)

Memory

25.4MiB live, 25.4MiB allocated

Counts

7 → 84

Calls

Call 1

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

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

Calls

21 calls:

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

rewrite42.0ms (0.1%)

Memory

7.6MiB live, 90.0MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 4 (0.0ms)

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

Stop Event

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

Counts

7 → 14

Calls

Call 1

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

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

simplify16.0ms (0.1%)

Memory

-0.7MiB live, 41.8MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated

Counts

84 → 84

Calls

Call 1

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

eval81.0ms (0.3%)

Memory: -13.1MiB live, 63.3MiB allocated
Compiler: Compiled 919 to 54 computations (94.1% saved)

prune39.0ms (0.1%)

Memory

0.5MiB live, 38.9MiB allocated

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	111	1	112
Fresh	0	0	0
Picked	0	3	3
Done	0	6	6
Total	111	10	121

Accuracy

100.0%

Counts

121 → 10

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 (.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.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
✓	99.8%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
✓	99.8%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (.f64 d1 (sqrt.f64 d1)))
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	69.5%	(.f64 (.f64 d1 d1) d1)
▶	55.2%	(*.f64 d1 d1)
✓	6.0%	d1

Compiler

Compiled 87 to 43 computations (50.6% saved)

simplify94.0ms (0.3%)

Memory

-4.5MiB live, 37.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

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

Rules

2×	`lift-*.f64`
2×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	4
0	3	4
0	3	4

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 d1 d1)
d1

Outputs
(*.f64 d1 d1)
d1

localize25.0ms (0.1%)

Memory

22.3MiB live, 100.4MiB allocated

Localize:

Found 1 expressions of interest:

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

Samples

12.0ms

256×

valid

Compiler

Compiled 6 to 4 computations (33.3% saved)

Precisions

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

ival-mult: 2.0ms (93.6% of total)

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

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

series13.0ms (0%)

Memory

-36.0MiB live, 3.5MiB allocated

Counts

1 → 12

Calls

Call 1

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

Outputs
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>
#<alt (pow d1 2)>

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)

rewrite426.0ms (1.3%)

Memory

46.8MiB live, 439.8MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

2 136×	`lower-pow.f64`
2 136×	`lower-pow.f32`
1 588×	`lower-*.f64`
1 588×	`lower-*.f32`
1 412×	`prod-exp`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	2	3
0	3	3
1	5	3
2	12	3
3	28	3
4	76	3
5	231	1
6	1515	1
7	1540	1
8	1663	1
9	2907	1
0	8282	1

Stop Event

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

Counts

1 → 2

Calls

Call 1

Inputs
(*.f64 d1 d1)

Outputs
#s(literal 1 binary64)
d1

simplify4.0ms (0%)

Memory

-19.9MiB live, 19.6MiB allocated

Algorithm

1×	egg-herbie

Rules

2×	`lower-*.f64`
2×	`lower-pow.f64`
2×	`unpow2`
2×	`lower-*.f32`
2×	`lower-pow.f32`

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: 4.7MiB live, 4.7MiB allocated
Compiler: Compiled 39 to 3 computations (92.3% saved)

prune5.0ms (0%)

Memory

-22.4MiB live, 16.8MiB 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.8%	(.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.8%	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
✓	99.8%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 (.f64 d1 (*.f64 d1 d1))))) (sqrt.f64 d1))
✓	99.8%	(.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (.f64 d1 (sqrt.f64 d1)))
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	69.5%	(.f64 (.f64 d1 d1) d1)
✓	55.2%	(*.f64 d1 d1)
✓	6.0%	d1

Compiler

Compiled 165 to 64 computations (61.2% saved)

regimes7.0ms (0%)

Memory

21.8MiB live, 21.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)

regimes6.0ms (0%)

Memory

17.6MiB live, 17.6MiB 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:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes6.0ms (0%)

Memory

-29.3MiB live, 12.4MiB 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

11.3MiB live, 11.3MiB allocated

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

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

simplify6.0ms (0%)

Memory

18.8MiB live, 18.8MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	26
1	9	26

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness29.5s (92.2%)

Memory

-11.3MiB live, 323.0MiB allocated

Rules

848×	`pow-exp`
732×	`pow-prod-down`
684×	`pow-exp`
560×	`lower-*.f32`
554×	`lower-*.f64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	9	50
0	17	21
1	32	21
2	82	21
3	269	21
4	1781	7
0	9472	7
0	14	86
0	26	36
1	58	36
2	140	36
3	419	36
4	2202	12
0	8783	12
0	4	15
0	7	11
1	14	9
2	34	9
3	77	9
4	254	9
0	1033	9

Stop Event

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

Compiler

Compiled 91 to 33 computations (63.7% saved)

preprocess59.0ms (0.2%)

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	14	124
0	26	91
1	48	85
2	90	85
3	168	82
4	231	82
5	239	72
6	255	72
7	272	70
8	280	70
9	282	70
0	282	70

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

Iter	Nodes	Cost
0	14	124
0	26	91
1	48	85
2	90	85
3	168	82
4	231	82
5	239	72
6	255	72
7	272	70
8	280	70
9	282	70
0	282	70

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

analyze0.0ms (0%)

sample659.0ms (2.1%)

preprocess54.0ms (0.2%)

explain257.0ms (0.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify7.0ms (0%)

localize28.0ms (0.1%)

series4.0ms (0%)

rewrite131.0ms (0.4%)

simplify6.0ms (0%)

eval13.0ms (0%)

prune16.0ms (0.1%)

simplify16.0ms (0.1%)

localize75.0ms (0.2%)

series156.0ms (0.5%)

rewrite46.0ms (0.1%)

simplify58.0ms (0.2%)

eval39.0ms (0.1%)

prune12.0ms (0%)

simplify8.0ms (0%)

localize52.0ms (0.2%)

series2.0ms (0%)

rewrite42.0ms (0.1%)

simplify16.0ms (0.1%)

eval81.0ms (0.3%)

prune39.0ms (0.1%)

simplify94.0ms (0.3%)

localize25.0ms (0.1%)

series13.0ms (0%)

rewrite426.0ms (1.3%)

simplify4.0ms (0%)

eval1.0ms (0%)

prune5.0ms (0%)

regimes7.0ms (0%)

regimes6.0ms (0%)

regimes6.0ms (0%)

regimes4.0ms (0%)

regimes3.0ms (0%)

regimes3.0ms (0%)

simplify6.0ms (0%)

soundness29.5s (92.2%)

preprocess59.0ms (0.2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	14	124
0	26	91
1	48	85
2	90	85
3	168	82
4	231	82
5	239	72
6	255	72
7	272	70
8	280	70
9	282	70
0	282	70

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