Metrics for FastMath repmul

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

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

sample685.0ms (1.3%)

Memory

22.7MiB live, 808.0MiB allocated

Samples

464.0ms

8 256×

valid

Precisions

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

ival-mult: 206.0ms (96.2% of total)

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

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

Bogosity

explain138.0ms (0.3%)

Memory

27.0MiB live, 66.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

109.0ms

512×

valid

Compiler

Compiled 44 to 16 computations (63.6% saved)

Precisions

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

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

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

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

preprocess91.0ms (0.2%)

Memory

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

Symmetry

(abs d1)

Compiler

Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

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

4.2MiB live, 4.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 d1 d1)
cost-diff	0	(.f64 (.f64 d1 d1) d1)
cost-diff	0	(.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 (.f64 d1 d1) d1)
(*.f64 d1 d1)
d1

localize13.0ms (0%)

Memory

16.7MiB live, 16.7MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 d1 d1)
accuracy	0.0625	(.f64 (.f64 d1 d1) d1)
accuracy	0.0703125	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Samples

9.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

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

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

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

series82.0ms (0.2%)

Memory

-35.5MiB live, 6.2MiB allocated

Counts

3 → 36

Calls

Call 1

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

Inputs

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

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

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

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

Calls

3 calls:

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

simplify3.0ms (0%)

Memory

3.9MiB live, 3.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 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(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 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(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 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(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 3)
(.f64 (.f64 d1 d1) d1)
(pow d1 3)
(.f64 (.f64 d1 d1) d1)
(pow d1 3)
(.f64 (.f64 d1 d1) d1)
(pow d1 3)
(.f64 (.f64 d1 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 3)
(.f64 (.f64 d1 d1) d1)
(pow d1 3)
(.f64 (.f64 d1 d1) d1)
(pow d1 3)
(.f64 (.f64 d1 d1) d1)
(pow d1 3)
(.f64 (.f64 d1 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 3)
(.f64 (.f64 d1 d1) d1)
(pow d1 3)
(.f64 (.f64 d1 d1) d1)
(pow d1 3)
(.f64 (.f64 d1 d1) d1)
(pow d1 3)
(.f64 (.f64 d1 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)

rewrite148.0ms (0.3%)

Memory

18.6MiB live, 130.8MiB allocated

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
(.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)))
(.f64 (.f64 (.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) d1) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
(.f64 (.f64 (*.f64 (sqrt.f64 d1) d1) (pow.f64 d1 #s(literal 5/4 binary64))) (pow.f64 d1 #s(literal 5/4 binary64)))
(.f64 (pow.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) 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 (pow.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) #s(literal 1 binary64)) (.f64 (sqrt.f64 d1) d1))
(*.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 d1 #s(literal 9/4 binary64)) (pow.f64 d1 #s(literal 7/4 binary64)))
(*.f64 (pow.f64 d1 #s(literal 13/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) 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 5/4 binary64)) (.f64 (pow.f64 d1 #s(literal 5/4 binary64)) (*.f64 (sqrt.f64 d1) 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 (sqrt.f64 (sqrt.f64 d1)) (.f64 (sqrt.f64 (sqrt.f64 d1)) (.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) d1)))
(.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (.f64 (sqrt.f64 d1) d1))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 13/4 binary64)))
(.f64 (sqrt.f64 d1) (pow.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) d1) #s(literal 1 binary64)))
(.f64 (sqrt.f64 d1) (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) d1))
(.f64 (.f64 (sqrt.f64 d1) d1) (pow.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) #s(literal 1 binary64)))
(.f64 (.f64 (sqrt.f64 d1) d1) (.f64 (sqrt.f64 d1) (.f64 d1 d1)))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 d1 (.f64 (*.f64 d1 d1) d1))
(pow.f64 (exp.f64 #s(literal 4 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 2 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (sqrt.f64 d1) #s(literal 8 binary64))
(pow.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) #s(literal 1 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 2 binary64))
(pow.f64 d1 #s(literal 4 binary64))
(exp.f64 (fma.f64 #s(literal 5/2 binary64) (log.f64 d1) (*.f64 (log.f64 d1) #s(literal 3/2 binary64))))
(exp.f64 (fma.f64 (log.f64 d1) #s(literal 3/2 binary64) (*.f64 #s(literal 5/2 binary64) (log.f64 d1))))
(exp.f64 (/.f64 #s(literal 0 binary64) #s(literal 0 binary64)))
(.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)))
(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (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 (pow.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) #s(literal 1 binary64)) (sqrt.f64 d1))
(*.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 (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 (.f64 (sqrt.f64 d1) d1) #s(literal 3/2 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) (.f64 #s(literal 1/2 binary64) (log.f64 d1))) (pow.f64 (exp.f64 #s(literal 3 binary64)) (*.f64 #s(literal 1/2 binary64) (log.f64 d1))))
(*.f64 (pow.f64 d1 #s(literal 9/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(.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 (sqrt.f64 (sqrt.f64 d1)) (.f64 (sqrt.f64 (sqrt.f64 d1)) (.f64 (sqrt.f64 d1) (.f64 d1 d1))))
(.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) (sqrt.f64 d1))
(.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 (.f64 (sqrt.f64 d1) d1) #s(literal 3/2 binary64)))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 9/4 binary64)))
(.f64 (sqrt.f64 d1) (pow.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) #s(literal 1 binary64)))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (*.f64 d1 d1)))
(.f64 (.f64 (sqrt.f64 d1) d1) (*.f64 (sqrt.f64 d1) d1))
(.f64 (.f64 d1 d1) d1)
(.f64 d1 (.f64 d1 d1))
(pow.f64 (pow.f64 (exp.f64 #s(literal 3 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (*.f64 (log.f64 d1) #s(literal 3/2 binary64)))
(pow.f64 (exp.f64 #s(literal 3 binary64)) (log.f64 d1))
(pow.f64 (pow.f64 d1 #s(literal 3/4 binary64)) #s(literal 4 binary64))
(pow.f64 (sqrt.f64 d1) #s(literal 6 binary64))
(pow.f64 (*.f64 (sqrt.f64 d1) d1) #s(literal 2 binary64))
(pow.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) #s(literal 3/4 binary64))
(pow.f64 (.f64 (.f64 d1 d1) d1) #s(literal 1 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 3/2 binary64))
(pow.f64 d1 #s(literal 3 binary64))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 3 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 3 binary64)))
(.f64 (.f64 (*.f64 (sqrt.f64 d1) 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))))
(*.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 (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 d1 #s(literal 5/4 binary64)) (pow.f64 d1 #s(literal 3/4 binary64)))
(.f64 (sqrt.f64 (sqrt.f64 d1)) (.f64 (sqrt.f64 (sqrt.f64 d1)) (*.f64 (sqrt.f64 d1) d1)))
(*.f64 (pow.f64 d1 #s(literal 3/4 binary64)) (pow.f64 d1 #s(literal 5/4 binary64)))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d1))
(.f64 (.f64 (sqrt.f64 d1) d1) (sqrt.f64 d1))
(*.f64 d1 d1)
(pow.f64 (exp.f64 #s(literal 1 binary64)) (*.f64 (log.f64 d1) #s(literal 2 binary64)))
(pow.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) #s(literal 1 binary64)) (log.f64 d1))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 d1))
(pow.f64 (sqrt.f64 d1) #s(literal 4 binary64))
(pow.f64 (.f64 (.f64 (*.f64 d1 d1) d1) d1) #s(literal 1/2 binary64))
(pow.f64 (*.f64 d1 d1) #s(literal 1 binary64))
(pow.f64 d1 #s(literal 2 binary64))
(exp.f64 (.f64 (.f64 #s(literal 1/2 binary64) (log.f64 d1)) #s(literal 4 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 d1)))
(exp.f64 (*.f64 (log.f64 d1) #s(literal 2 binary64)))

eval24.0ms (0%)

Memory: -36.7MiB live, 28.3MiB allocated
Compiler: Compiled 1 130 to 229 computations (79.7% saved)

prune19.0ms (0%)

Memory

-3.3MiB live, 34.8MiB allocated

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	115	6	121
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	115	7	122

Accuracy

100.0%

Counts

122 → 7

Alt Table

Click to see full alt table

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

Compiler

Compiled 138 to 66 computations (52.2% saved)

simplify6.0ms (0%)

Memory

14.7MiB live, 14.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

New	Metric	Score
cost-diff	0	(sqrt.f64 d1)
cost-diff	0	(.f64 (sqrt.f64 d1) (.f64 d1 d1))
cost-diff	0	(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (sqrt.f64 d1)) d1)
cost-diff	1600	(.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) (sqrt.f64 d1))
cost-diff	0	(sqrt.f64 d1)
cost-diff	0	(*.f64 (sqrt.f64 d1) d1)
cost-diff	0	(.f64 (.f64 (.f64 (sqrt.f64 d1) d1) (.f64 (sqrt.f64 d1) d1)) d1)
cost-diff	1600	(.f64 (.f64 (sqrt.f64 d1) d1) (*.f64 (sqrt.f64 d1) d1))
cost-diff	0	(*.f64 d1 d1)
cost-diff	0	(sqrt.f64 d1)
cost-diff	0	(.f64 (sqrt.f64 d1) (.f64 d1 d1))
cost-diff	1600	(.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (.f64 (sqrt.f64 d1) 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

56×	`lower-*.f32`
40×	`lower-*.f64`
36×	`associate-r`
20×	`associate-l`
18×	`lift-*.f64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	13	102
0	24	74
1	44	62
2	61	62
3	67	62
4	74	58
5	83	58
6	85	58
0	85	58

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

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

localize40.0ms (0.1%)

Memory

15.9MiB live, 93.4MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score
accuracy	0	(sqrt.f64 d1)
accuracy	0.0703125	(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (sqrt.f64 d1)) d1)
accuracy	0.07421875	(.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) (sqrt.f64 d1))
accuracy	0.12109375	(.f64 (sqrt.f64 d1) (.f64 d1 d1))
accuracy	0	(sqrt.f64 d1)
accuracy	0.0703125	(.f64 (.f64 (.f64 (sqrt.f64 d1) d1) (.f64 (sqrt.f64 d1) d1)) d1)
accuracy	0.140625	(*.f64 (sqrt.f64 d1) d1)
accuracy	0.16015625	(.f64 (.f64 (sqrt.f64 d1) d1) (*.f64 (sqrt.f64 d1) d1))
accuracy	0	(sqrt.f64 d1)
accuracy	0.08984375	(.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (.f64 (sqrt.f64 d1) d1))
accuracy	0.12109375	(.f64 (sqrt.f64 d1) (.f64 d1 d1))
accuracy	0.140625	(*.f64 (sqrt.f64 d1) d1)
accuracy	0	(*.f64 d1 d1)
accuracy	0.109375	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
accuracy	0	(pow.f64 d1 #s(literal 4 binary64))

Samples

30.0ms

256×

valid

Compiler

Compiled 104 to 15 computations (85.6% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series13.0ms (0%)

Memory

-21.8MiB live, 21.7MiB allocated

Counts

11 → 132

Calls

Call 1

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

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

Calls

3 calls:

Time

Variable

Point

Expression

5.0ms

d1

inf

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

4.0ms

d1

-inf

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

1.0ms

d1

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

simplify39.0ms (0.1%)

Memory

8.8MiB live, 47.7MiB allocated

Algorithm

1×	egg-herbie

Rules

560×	`lower-*.f64`
560×	`lower-fma.f64`
560×	`lower-fma.f32`
560×	`lower-*.f32`
386×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	408
1	54	408
2	157	408
3	350	408
4	835	408
5	1168	408
6	1452	408
7	1607	408
8	1627	408
9	1631	408
10	1655	408
11	1657	408
0	1657	408

Stop Event

1×	iter limit
1×	saturated

Counts

132 → 132

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

rewrite43.0ms (0.1%)

Memory

0.2MiB live, 39.4MiB allocated

Rules

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

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	13	76
0	24	33
1	54	33
2	114	33
3	316	33
4	2038	11
0	9922	11

Stop Event

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

Counts

11 → 22

Calls

Call 1

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

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

eval52.0ms (0.1%)

Memory: 17.6MiB live, 56.3MiB allocated
Compiler: Compiled 2 791 to 70 computations (97.5% saved)

prune48.0ms (0.1%)

Memory

-21.5MiB live, 57.6MiB allocated

Pruning

10 alts after pruning (4 fresh and 6 done)

	Pruned	Kept	Total
New	305	3	308
Fresh	0	1	1
Picked	0	5	5
Done	0	1	1
Total	305	10	315

Accuracy

100.0%

Counts

315 → 10

Alt Table

Click to see full alt table

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

Compiler

Compiled 85 to 41 computations (51.8% saved)

simplify13.0ms (0%)

Memory

-4.3MiB live, 34.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score
cost-diff	0	(.f64 (sqrt.f64 d1) (.f64 d1 d1))
cost-diff	0	(.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) d1)
cost-diff	0	(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) d1) (sqrt.f64 (sqrt.f64 d1)))
cost-diff	3840	(.f64 (.f64 (.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) d1) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
cost-diff	0	(*.f64 d1 d1)
cost-diff	0	(.f64 (.f64 d1 d1) d1)
cost-diff	0	(*.f64 d1 d1)

Rules

244×	`associate-r`
240×	`lower-*.f32`
228×	`lower-*.f64`
92×	`associate-l`
52×	`lower-pow.f64`

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	9	65
0	17	65
1	29	52
2	65	51
3	139	45
4	191	43
5	240	43
6	255	39
7	275	39
8	286	37
9	291	37
10	292	37
0	292	37

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize29.0ms (0.1%)

Memory

-1.1MiB live, 80.3MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0.08984375	(sqrt.f64 (sqrt.f64 d1))
accuracy	0.1015625	(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) d1) (sqrt.f64 (sqrt.f64 d1)))
accuracy	0.10546875	(.f64 (.f64 (.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) d1) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
accuracy	0.12109375	(.f64 (sqrt.f64 d1) (.f64 d1 d1))
accuracy	0	(*.f64 d1 d1)
accuracy	0.0625	(.f64 (.f64 d1 d1) d1)
accuracy	0	(*.f64 d1 d1)

Samples

21.0ms

256×

valid

Compiler

Compiled 67 to 11 computations (83.6% saved)

Precisions

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

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

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

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

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

series86.0ms (0.2%)

Memory

1.1MiB live, 198.8MiB allocated

Counts

7 → 84

Calls

Call 1

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

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

Calls

3 calls:

Time

Variable

Point

Expression

38.0ms

d1

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

30.0ms

d1

-inf

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

16.0ms

d1

inf

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

simplify23.0ms (0%)

Memory

5.4MiB live, 43.6MiB allocated

Algorithm

1×	egg-herbie

Rules

274×	`lower-*.f64`
274×	`lower-*.f32`
270×	`lower-fma.f64`
270×	`lower-fma.f32`
130×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	40	352
1	77	352
2	163	348
3	239	348
4	414	348
5	570	348
6	682	348
7	729	348
8	753	348
9	753	348
0	753	348

Stop Event

1×	iter limit
1×	saturated

Counts

84 → 84

Calls

Call 1

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

rewrite39.0ms (0.1%)

Memory

1.4MiB live, 39.6MiB allocated

Rules

998×	`pow-exp`
590×	`prod-exp`
548×	`pow-prod-down`
486×	`associate-r`
462×	`unswap-sqr`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	9	53
0	17	21
1	36	21
2	110	21
3	379	21
4	2244	7
0	8638	7

Stop Event

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

Counts

7 → 14

Calls

Call 1

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

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

eval12.0ms (0%)

Memory: 25.5MiB live, 25.5MiB allocated
Compiler: Compiled 1 523 to 71 computations (95.3% saved)

prune17.0ms (0%)

Memory

-8.5MiB live, 32.6MiB allocated

Pruning

10 alts after pruning (0 fresh and 10 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	0	0
Picked	0	4	4
Done	0	6	6
Total	140	10	150

Accuracy

100.0%

Counts

150 → 10

Alt Table

Click to see full alt table

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

Compiler

Compiled 161 to 60 computations (62.7% saved)

regimes8.0ms (0%)

Memory

-19.0MiB live, 19.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 (sqrt.f64 d1) (.f64 d1 d1)) (.f64 (sqrt.f64 d1) d1))
(.f64 (.f64 (.f64 (sqrt.f64 d1) d1) (.f64 (sqrt.f64 d1) d1)) d1)
(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (sqrt.f64 d1)) d1)
(.f64 (.f64 (.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) 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:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes7.0ms (0%)

Memory

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

regimes5.0ms (0%)

Memory

-25.0MiB live, 13.2MiB allocated

Counts

4 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes4.0ms (0%)

Memory

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

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

Compiler

Compiled 10 to 5 computations (50% saved)

simplify6.0ms (0%)

Memory

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

soundness50.7s (96.7%)

Memory

17.0MiB live, 244.6MiB allocated

Rules

864×	`pow-exp`
720×	`pow-pow`
570×	`pow-prod-down`
560×	`lower-*.f32`
554×	`lower-*.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	76
0	24	33
1	54	33
2	114	33
3	316	33
4	2038	11
0	9922	11
0	4	15
0	7	11
1	14	9
2	34	9
3	77	9
4	254	9
0	1033	9

Stop Event

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

Compiler

Compiled 102 to 40 computations (60.8% saved)

preprocess43.0ms (0.1%)

Memory: 15.3MiB live, 92.1MiB allocated
Remove: (abs d1)
Compiler: Compiled 94 to 40 computations (57.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	9	65
0	17	65
1	29	52
2	65	51
3	139	45
4	191	43
5	240	43
6	255	39
7	275	39
8	286	37
9	291	37
10	292	37
0	292	37

Iter	Nodes	Cost
0	40	352
1	77	352
2	163	348
3	239	348
4	414	348
5	570	348
6	682	348
7	729	348
8	753	348
9	753	348
0	753	348

Iter	Nodes	Cost
0	9	65
0	17	65
1	29	52
2	65	51
3	139	45
4	191	43
5	240	43
6	255	39
7	275	39
8	286	37
9	291	37
10	292	37
0	292	37

Iter	Nodes	Cost
0	40	352
1	77	352
2	163	348
3	239	348
4	414	348
5	570	348
6	682	348
7	729	348
8	753	348
9	753	348
0	753	348

start0.0ms (0%)

analyze0.0ms (0%)

sample685.0ms (1.3%)

explain138.0ms (0.3%)

preprocess91.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0%)

localize13.0ms (0%)

series82.0ms (0.2%)

simplify3.0ms (0%)

rewrite148.0ms (0.3%)

eval24.0ms (0%)

prune19.0ms (0%)

simplify6.0ms (0%)

localize40.0ms (0.1%)

series13.0ms (0%)

simplify39.0ms (0.1%)

rewrite43.0ms (0.1%)

eval52.0ms (0.1%)

prune48.0ms (0.1%)

simplify13.0ms (0%)

localize29.0ms (0.1%)

series86.0ms (0.2%)

simplify23.0ms (0%)

rewrite39.0ms (0.1%)

eval12.0ms (0%)

prune17.0ms (0%)

regimes8.0ms (0%)

regimes7.0ms (0%)

regimes5.0ms (0%)

regimes4.0ms (0%)

regimes3.0ms (0%)

regimes3.0ms (0%)

simplify6.0ms (0%)

soundness50.7s (96.7%)

preprocess43.0ms (0.1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	9	65
0	17	65
1	29	52
2	65	51
3	139	45
4	191	43
5	240	43
6	255	39
7	275	39
8	286	37
9	291	37
10	292	37
0	292	37

Iter	Nodes	Cost
0	40	352
1	77	352
2	163	348
3	239	348
4	414	348
5	570	348
6	682	348
7	729	348
8	753	348
9	753	348
0	753	348