Metrics for FastMath repmul

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample441.0ms (1.5%)

Memory

29.3MiB live, 2 017.7MiB allocated

Samples

303.0ms

8 256×

valid

Precisions

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

ival-mult: 158.0ms (95.3% of total)

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

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

Bogosity

preprocess16.0ms (0.1%)

Memory

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

explain54.0ms (0.2%)

Memory

13.4MiB live, 110.5MiB 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

18.0ms

512×

valid

Compiler

Compiled 52 to 20 computations (61.5% saved)

Precisions

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

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

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

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

eval1.0ms (0%)

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

prune1.0ms (0%)

Memory

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

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

localize14.0ms (0%)

Memory

22.6MiB live, 22.6MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

9.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

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

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

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

series3.0ms (0%)

Memory

4.6MiB live, 4.6MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs
#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())
#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())
#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())

Inputs

#s(alt (* (* (* d1 d1) d1) d1) (patch (*.f64 (*.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())

#s(alt (* (* d1 d1) d1) (patch (*.f64 (*.f64 d1 d1) d1) #<representation binary64>) () ())

#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())

Outputs
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (* (* (* d1 d1) d1) d1) (patch (.f64 (.f64 (*.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())

Calls

9 calls:

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

rewrite105.0ms (0.4%)

Memory

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

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

eval12.0ms (0%)

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

prune17.0ms (0.1%)

Memory

-6.2MiB live, 32.2MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Accuracy

100.0%

Counts

122 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 44 to 21 computations (52.3% saved)

simplify6.0ms (0%)

Memory

8.2MiB live, 8.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

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

Rules

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

Iterations

Useful iterations: 4 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

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

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

localize45.0ms (0.2%)

Memory

-12.3MiB live, 64.9MiB allocated

Localize:

Found 11 expressions of interest:

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

Samples

28.0ms

256×

valid

Compiler

Compiled 77 to 14 computations (81.8% saved)

Precisions

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

ival-mult: 10.0ms (67% of total)

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

ival-pow: 2.0ms (13.4% of total)

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

exact: 0.0ms (0% of total)

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

series7.0ms (0%)

Memory

12.8MiB live, 12.8MiB allocated

Counts

10 → 120

Calls

Call 1

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

Outputs
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (* (* d1 d1) (* d1 d1)) (patch (.f64 (.f64 d1 d1) (*.f64 d1 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1)) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor 0 d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor 0 d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor 0 d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor 0 d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor inf d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor inf d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor inf d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor inf d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (* d1 (* d1 (sqrt d1)))) (patch (.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor 0 d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor 0 d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor 0 d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor 0 d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor inf d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor inf d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor inf d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor inf d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (* d1 (sqrt d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor 0 d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor 0 d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor 0 d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor 0 d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor inf d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor inf d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor inf d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor inf d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* d1 (sqrt d1)) (patch (*.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (*.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (* (* (* d1 (sqrt d1)) (* d1 (sqrt d1))) d1) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (.f64 d1 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (sqrt d1) (taylor 0 d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (sqrt d1) (taylor 0 d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (sqrt d1) (taylor 0 d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (sqrt d1) (taylor 0 d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (sqrt d1) (taylor inf d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (sqrt d1) (taylor inf d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (sqrt d1) (taylor inf d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (sqrt d1) (taylor inf d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt d1) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt d1) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt d1) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt d1) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (sqrt d1) (patch (sqrt.f64 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor -inf d1) (#s(alt (pow d1 4) (patch (pow.f64 d1 #s(literal 4 binary64)) #<representation binary64>) () ())) ())

Calls

30 calls:

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

rewrite41.0ms (0.1%)

Memory

-5.8MiB live, 31.9MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 4 (0.0ms)

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

Stop Event

1×	iter limit
1×	node limit

Counts

10 → 20

Calls

Call 1

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

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

simplify66.0ms (0.2%)

Memory

4.8MiB live, 82.7MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated

Counts

120 → 120

Calls

Call 1

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

Outputs
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 7))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 7 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 5))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2)))
(sqrt.f64 (pow.f64 d1 #s(literal 5 binary64)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(sqrt (pow d1 3))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2)))
(sqrt.f64 (.f64 d1 (.f64 d1 d1)))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(* -1 (* (pow d1 3) (pow (sqrt -1) 2)))
(.f64 d1 (.f64 d1 d1))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(* -1 (* (pow d1 4) (pow (sqrt -1) 2)))
(pow.f64 d1 #s(literal 4 binary64))
(sqrt d1)
(sqrt.f64 d1)
(sqrt d1)
(sqrt.f64 d1)
(sqrt d1)
(sqrt.f64 d1)
(sqrt d1)
(sqrt.f64 d1)
(sqrt d1)
(sqrt.f64 d1)
(sqrt d1)
(sqrt.f64 d1)
(sqrt d1)
(sqrt.f64 d1)
(sqrt d1)
(sqrt.f64 d1)
(* -1 (* (sqrt d1) (pow (sqrt -1) 2)))
(sqrt.f64 d1)
(* -1 (* (sqrt d1) (pow (sqrt -1) 2)))
(sqrt.f64 d1)
(* -1 (* (sqrt d1) (pow (sqrt -1) 2)))
(sqrt.f64 d1)
(* -1 (* (sqrt d1) (pow (sqrt -1) 2)))
(sqrt.f64 d1)
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))
(pow d1 4)
(pow.f64 d1 #s(literal 4 binary64))

eval19.0ms (0.1%)

Memory: -2.3MiB live, 35.4MiB allocated
Compiler: Compiled 1 767 to 64 computations (96.4% saved)

prune8.0ms (0%)

Memory

16.3MiB live, 16.3MiB allocated

Pruning

8 alts after pruning (3 fresh and 5 done)

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

Accuracy

100.0%

Counts

229 → 8

Alt Table

Click to see full alt table

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

Compiler

Compiled 56 to 27 computations (51.8% saved)

simplify3.0ms (0%)

Memory

4.9MiB live, 4.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

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

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

localize15.0ms (0.1%)

Memory

-16.3MiB live, 22.1MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

8.0ms

256×

valid

Compiler

Compiled 16 to 5 computations (68.8% saved)

Precisions

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

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

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

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

series1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

2 → 24

Calls

Call 1

Inputs
#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())
#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())

Outputs
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (* d1 d1) (patch (*.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (* (* d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())

Calls

6 calls:

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

rewrite121.0ms (0.4%)

Memory

0.1MiB live, 150.6MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 5 (0.0ms)

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

Stop Event

1×	iter limit
1×	node limit

Counts

2 → 4

Calls

Call 1

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

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

simplify5.0ms (0%)

Memory

9.2MiB live, 9.2MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 24

Calls

Call 1

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

Outputs
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 2)
(*.f64 d1 d1)
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))
(pow d1 3)
(.f64 d1 (.f64 d1 d1))

eval4.0ms (0%)

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

prune5.0ms (0%)

Memory

13.7MiB live, 13.7MiB allocated

Pruning

8 alts after pruning (0 fresh and 8 done)

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

Accuracy

100.0%

Counts

50 → 8

Alt Table

Click to see full alt table

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

Compiler

Compiled 105 to 41 computations (61% saved)

regimes10.0ms (0%)

Memory

-23.1MiB live, 14.1MiB allocated

Counts

8 → 1

Calls

Call 1

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

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

Calls

2 calls:

6.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
3.0ms	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)

regimes5.0ms (0%)

Memory

12.2MiB live, 12.2MiB allocated

Counts

7 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes4.0ms (0%)

Memory

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

regimes13.0ms (0%)

Memory

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

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

7.7MiB live, 7.7MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)

Outputs
(*.f64 d1 d1)

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

6.6MiB live, 6.6MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
d1

Outputs
d1

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

simplify7.0ms (0%)

Memory

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

soundness27.9s (96.2%)

Memory

-17.7MiB live, 218.1MiB allocated

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

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

Compiler

Compiled 69 to 26 computations (62.3% saved)

preprocess46.0ms (0.2%)

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

sample441.0ms (1.5%)

preprocess16.0ms (0.1%)

explain54.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0%)

localize14.0ms (0%)

series3.0ms (0%)

rewrite105.0ms (0.4%)

simplify6.0ms (0%)

eval12.0ms (0%)

prune17.0ms (0.1%)

simplify6.0ms (0%)

localize45.0ms (0.2%)

series7.0ms (0%)

rewrite41.0ms (0.1%)

simplify66.0ms (0.2%)

eval19.0ms (0.1%)

prune8.0ms (0%)

simplify3.0ms (0%)

localize15.0ms (0.1%)

series1.0ms (0%)

rewrite121.0ms (0.4%)

simplify5.0ms (0%)

eval4.0ms (0%)

prune5.0ms (0%)

regimes10.0ms (0%)

regimes5.0ms (0%)

regimes4.0ms (0%)

regimes13.0ms (0%)

regimes3.0ms (0%)

regimes3.0ms (0%)

simplify7.0ms (0%)

soundness27.9s (96.2%)

preprocess46.0ms (0.2%)

end0.0ms (0%)

Profiling