Metrics for FastMath repmul

analyze0.0ms (0%)

Memory

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

sample698.0ms (0.6%)

Memory

14.7MiB live, 908.4MiB allocated

Samples

496.0ms

8 256×

valid

Precisions

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

ival-mult: 299.0ms (95.9% of total)

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

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

Bogosity

preprocess19.0ms (0%)

Memory

3.2MiB live, 39.7MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

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

Calls

Call 1

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

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

Symmetry

(abs d1)

explain58.0ms (0.1%)

Memory

-27.9MiB live, 133.5MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`d1`
-	-	`(.f64 (.f64 d1 d1) d1)`
-	-	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`
-	-	`(*.f64 d1 d1)`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

19.0ms

512×

valid

Compiler

Compiled 52 to 20 computations (61.5% saved)

Precisions

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

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

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

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Compiler

Compiled 8 to 4 computations (50% saved)

simplify4.0ms (0%)

Memory

5.9MiB live, 5.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Rules

12×	`lower-*.f32`
6×	`lower-*.f64`
6×	`lift-*.f64`
4×	`lower-pow.f64`
4×	`lower-pow.f32`

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize15.0ms (0%)

Memory

25.1MiB live, 25.1MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

9.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

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

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

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

series3.0ms (0%)

Memory

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

9 calls:

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

rewrite146.0ms (0.1%)

Memory

2.2MiB live, 120.0MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

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

Counts

3 → 85

Calls

Call 1

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

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

simplify24.0ms (0%)

Memory

-31.9MiB live, 7.5MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

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

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

eval11.0ms (0%)

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

prune20.0ms (0%)

Memory

9.3MiB live, 47.0MiB allocated

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	114	7	121
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	114	8	122

Accuracy

100.0%

Counts

122 → 8

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

Compiler

Compiled 172 to 82 computations (52.3% saved)

simplify8.0ms (0%)

Memory

-25.5MiB live, 12.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

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

Rules

56×	`lower-*.f32`
36×	`lower-*.f64`
28×	`associate-l`
26×	`associate-r`
22×	`lift-*.f64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	15	109
0	28	77
1	53	63
2	66	63
3	73	63
4	80	59
5	89	59
6	91	59
0	91	59

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize58.0ms (0.1%)

Memory

19.5MiB live, 105.5MiB allocated

Localize:

Found 15 expressions of interest:

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

Samples

37.0ms

256×

valid

Compiler

Compiled 111 to 17 computations (84.7% saved)

Precisions

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

ival-mult: 16.0ms (73.9% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series11.0ms (0%)

Memory

-14.7MiB live, 21.9MiB allocated

Counts

13 → 156

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

Calls

39 calls:

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

rewrite42.0ms (0%)

Memory

-0.9MiB live, 37.0MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	15	91
0	28	39
1	63	39
2	116	39
3	319	39
4	2066	13
0	10071	13

Stop Event

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

Counts

13 → 26

Calls

Call 1

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

Outputs
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)
d1
#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

simplify61.0ms (0.1%)

Memory

7.4MiB live, 87.2MiB allocated

Algorithm

1×	egg-herbie

Rules

624×	`lower-*.f64`
624×	`lower-fma.f64`
624×	`lower-fma.f32`
624×	`lower-*.f32`
558×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	492
1	71	492
2	215	492
3	496	492
4	1163	492
5	1558	492
6	1805	492
7	1895	492
8	1899	492
9	1899	492
0	1899	492

Stop Event

1×	iter limit
1×	saturated

Counts

156 → 156

Calls

Call 1

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

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

eval27.0ms (0%)

Memory: -14.1MiB live, 62.2MiB allocated
Compiler: Compiled 2 465 to 80 computations (96.8% saved)

prune10.0ms (0%)

Memory

23.7MiB live, 23.7MiB allocated

Pruning

11 alts after pruning (5 fresh and 6 done)

	Pruned	Kept	Total
New	305	3	308
Fresh	0	2	2
Picked	0	5	5
Done	0	1	1
Total	305	11	316

Accuracy

100.0%

Counts

316 → 11

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

Compiler

Compiled 148 to 71 computations (52% saved)

simplify184.0ms (0.2%)

Memory

-22.7MiB live, 19.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

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

Rules

240×	`lower-*.f32`
220×	`lower-*.f64`
212×	`associate-r`
104×	`associate-l`
52×	`lower-pow.f64`

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	14	126
0	27	153
1	49	110
2	109	76
3	179	70
4	240	70
5	255	64
6	275	64
7	286	62
8	291	62
9	292	62
0	292	62

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize84.0ms (0.1%)

Memory

21.5MiB live, 59.3MiB allocated

Localize:

Found 11 expressions of interest:

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

Samples

64.0ms

256×

valid

Compiler

Compiled 128 to 16 computations (87.5% saved)

Precisions

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

ival-mult: 49.0ms (92.1% of total)

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

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

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

series78.0ms (0.1%)

Memory

-13.3MiB live, 139.2MiB allocated

Counts

12 → 144

Calls

Call 1

Inputs
#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())
#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())
#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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())
#s(alt (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())
#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())
#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())
#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 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 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 2) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 2) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 2) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 2) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (sqrt.f64 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 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.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 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.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 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.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 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.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 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) (patch (.f64 (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 7)) 1/4) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 7)) 1/4) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 7)) 1/4) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 7)) 1/4) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 7)) 1/4) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 7)) 1/4) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 7)) 1/4) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 7)) 1/4) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3)))) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3)))) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3)))) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow (* -1 (pow d1 7)) 1/4) (sqrt (pow (sqrt -1) 3)))) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (sqrt.f64 d1)) (sqrt.f64 (sqrt.f64 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 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 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 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 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 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 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (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 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor 0 d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor 0 d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor 0 d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor 0 d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor inf d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor inf d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor inf d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 7)) (taylor inf d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 7)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (patch (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor 0 d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor 0 d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor 0 d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor 0 d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor inf d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor inf d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor inf d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 5)) (taylor inf d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 5)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (patch (.f64 d1 (.f64 d1 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor 0 d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor 0 d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor 0 d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor 0 d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor inf d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor inf d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor inf d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (sqrt (pow d1 3)) (taylor inf d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (sqrt (pow d1 3)) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 d1 (sqrt.f64 d1)) (patch (.f64 d1 (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 (* 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 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 (* -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

36 calls:

Time	Variable		Point	Expression
30.0ms	d1	@	0	(* (* d1 (sqrt d1)) (sqrt (sqrt d1)))
12.0ms	d1	@	0	(* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt (sqrt d1)))
7.0ms	d1	@	inf	(* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt (sqrt d1)))
7.0ms	d1	@	inf	(* (* d1 (sqrt d1)) (sqrt (sqrt d1)))
6.0ms	d1	@	inf	(sqrt (sqrt d1))

rewrite43.0ms (0%)

Memory

8.8MiB live, 47.6MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

928×	`pow-exp`
716×	`associate-r`
640×	`prod-exp`
552×	`pow-prod-down`
472×	`associate-l`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	14	107
0	27	144
1	56	72
2	151	36
3	417	36
4	2589	12
0	9917	12

Stop Event

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

Counts

12 → 24

Calls

Call 1

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

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

simplify68.0ms (0.1%)

Memory

6.8MiB live, 94.8MiB allocated

Algorithm

1×	egg-herbie

Rules

632×	`lower-*.f64`
632×	`lower-*.f32`
628×	`lower-fma.f64`
628×	`lower-fma.f32`
354×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	53	600
1	114	600
2	273	592
3	554	592
4	914	592
5	1251	592
6	1481	592
7	1541	592
8	1563	592
9	1563	592
0	1563	592

Stop Event

1×	iter limit
1×	saturated

Counts

144 → 144

Calls

Call 1

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

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

eval23.0ms (0%)

Memory: -10.8MiB live, 62.1MiB allocated
Compiler: Compiled 2 571 to 130 computations (94.9% saved)

prune12.0ms (0%)

Memory

-7.1MiB live, 31.5MiB allocated

Pruning

11 alts after pruning (0 fresh and 11 done)

	Pruned	Kept	Total
New	238	0	238
Fresh	0	0	0
Picked	0	5	5
Done	0	6	6
Total	238	11	249

Accuracy

100.0%

Counts

249 → 11

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

Compiler

Compiled 194 to 73 computations (62.4% saved)

regimes8.0ms (0%)

Memory

20.3MiB live, 20.3MiB allocated

Counts

11 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes10.0ms (0%)

Memory

-23.7MiB live, 19.3MiB allocated

Counts

10 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes4.0ms (0%)

Memory

11.9MiB live, 11.9MiB allocated

Counts

4 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes4.0ms (0%)

Memory

10.8MiB live, 10.8MiB allocated

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

8.4MiB live, 8.4MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)

Outputs
(*.f64 d1 d1)

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes4.0ms (0%)

Memory

-30.9MiB live, 7.5MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
d1

Outputs
d1

Calls

2 calls:

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

12.6MiB live, 12.6MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	26
1	9	26

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness1.9min (98.4%)

Memory

-222.1MiB live, 757.2MiB allocated

Rules

864×	`pow-exp`
720×	`pow-pow`
560×	`lower-*.f32`
554×	`pow-prod-down`
554×	`lower-*.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
0	15	91
0	28	39
1	63	39
2	116	39
3	319	39
4	2066	13
0	10071	13

Stop Event

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

Compiler

Compiled 70 to 28 computations (60% saved)

preprocess62.0ms (0.1%)

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	14	126
0	27	153
1	49	110
2	109	76
3	179	70
4	240	70
5	255	64
6	275	64
7	286	62
8	291	62
9	292	62
0	292	62

Iter	Nodes	Cost
0	14	126
0	27	153
1	49	110
2	109	76
3	179	70
4	240	70
5	255	64
6	275	64
7	286	62
8	291	62
9	292	62
0	292	62

analyze0.0ms (0%)

sample698.0ms (0.6%)

preprocess19.0ms (0%)

explain58.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0%)

localize15.0ms (0%)

series3.0ms (0%)

rewrite146.0ms (0.1%)

simplify24.0ms (0%)

eval11.0ms (0%)

prune20.0ms (0%)

simplify8.0ms (0%)

localize58.0ms (0.1%)

series11.0ms (0%)

rewrite42.0ms (0%)

simplify61.0ms (0.1%)

eval27.0ms (0%)

prune10.0ms (0%)

simplify184.0ms (0.2%)

localize84.0ms (0.1%)

series78.0ms (0.1%)

rewrite43.0ms (0%)

simplify68.0ms (0.1%)

eval23.0ms (0%)

prune12.0ms (0%)

regimes8.0ms (0%)

regimes10.0ms (0%)

regimes4.0ms (0%)

regimes4.0ms (0%)

regimes3.0ms (0%)

regimes4.0ms (0%)

simplify6.0ms (0%)

soundness1.9min (98.4%)

preprocess62.0ms (0.1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	14	126
0	27	153
1	49	110
2	109	76
3	179	70
4	240	70
5	255	64
6	275	64
7	286	62
8	291	62
9	292	62
0	292	62