Metrics for FastMath repmul

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

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

sample636.0ms (1.9%)

Memory

0.9MiB live, 909.8MiB allocated

Samples

433.0ms

8 256×

valid

Precisions

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

ival-mult: 253.0ms (97% of total)

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

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

Bogosity

explain146.0ms (0.4%)

Memory

14.0MiB live, 52.0MiB 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 44 to 16 computations (63.6% saved)

Precisions

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

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

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

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

preprocess78.0ms (0.2%)

Memory

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

Compiler

Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 4 computations (50% saved)

simplify4.0ms (0%)

Memory

3.1MiB live, 3.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize14.0ms (0%)

Memory

21.3MiB live, 21.3MiB allocated

Localize:

Found 3 expressions of interest:

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

Samples

9.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

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

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

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

series3.0ms (0%)

Memory

4.2MiB live, 4.2MiB allocated

Counts

3 → 36

Calls

Call 1

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

Inputs

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

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

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

Outputs
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 d1) d1) d1) (patch (.f64 (.f64 (.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 d1) d1) d1) (patch (.f64 (.f64 (.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 d1) d1) d1) (patch (.f64 (.f64 (.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 d1) d1) d1) (patch (.f64 (.f64 (.f64 d1 d1) d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 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) d1)
0.0ms	d1	@	-inf	(* (* d1 d1) d1)
0.0ms	d1	@	0	(* (* d1 d1) d1)
0.0ms	d1	@	inf	(* d1 d1)

simplify81.0ms (0.2%)

Memory

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

rewrite183.0ms (0.5%)

Memory

40.1MiB live, 195.2MiB allocated

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

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

Counts

3 → 85

Calls

Call 1

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

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

eval13.0ms (0%)

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

prune19.0ms (0.1%)

Memory

12.6MiB live, 51.6MiB allocated

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	116	5	121
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	116	6	122

Accuracy

100.0%

Counts

122 → 6

Alt Table

Click to see full alt table

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

Compiler

Compiled 114 to 56 computations (50.9% saved)

simplify16.0ms (0%)

Memory

-10.2MiB live, 27.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

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

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

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	16	137
0	30	99
1	55	97
2	104	85
3	175	84
4	253	84
5	261	74
6	277	74
7	294	72
8	302	72
9	304	72
0	304	72

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

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

localize58.0ms (0.2%)

Memory

-20.9MiB live, 138.2MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score
accuracy	0.1015625	(sqrt.f64 (sqrt.f64 d1))
accuracy	0.10546875	(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
accuracy	0.12890625	(.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
accuracy	0.140625	(*.f64 d1 (sqrt.f64 d1))
accuracy	0.0625	(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
accuracy	0.08984375	(.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1))
accuracy	0.10546875	(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
accuracy	0.140625	(*.f64 d1 (sqrt.f64 d1))
accuracy	0.05859375	(.f64 d1 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))))
accuracy	0.07421875	(.f64 (.f64 d1 (.f64 d1 (.f64 d1 (sqrt.f64 d1)))) (sqrt.f64 d1))
accuracy	0.10546875	(.f64 d1 (.f64 d1 (sqrt.f64 d1)))
accuracy	0.140625	(*.f64 d1 (sqrt.f64 d1))
accuracy	0	(*.f64 d1 d1)
accuracy	0.11166000976844202	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
accuracy	0	(pow.f64 d1 #s(literal 4 binary64))

Samples

33.0ms

256×

valid

Compiler

Compiled 139 to 18 computations (87.1% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series68.0ms (0.2%)

Memory

26.2MiB live, 111.0MiB 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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())
#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (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 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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1) (patch (.f64 (.f64 (.f64 d1 (.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 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 3) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 (.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 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor 0 d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 4) (taylor inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow d1 4) (pow (sqrt -1) 2))) (taylor -inf d1) (#s(alt (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) (patch (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 11)) 1/4) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 11)) 1/4) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 11)) 1/4) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 11)) 1/4) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 11)) 1/4) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 11)) 1/4) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 11)) 1/4) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (pow (* 1 (pow d1 11)) 1/4) (taylor inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* -1 (pow d1 11)) 1/4) (sqrt (pow (sqrt -1) 3))) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* -1 (pow d1 11)) 1/4) (sqrt (pow (sqrt -1) 3))) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* -1 (pow d1 11)) 1/4) (sqrt (pow (sqrt -1) 3))) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) #<representation binary64>) () ())) ())
#s(alt (* (pow (* -1 (pow d1 11)) 1/4) (sqrt (pow (sqrt -1) 3))) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (patch (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (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 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

39 calls:

Time	Variable		Point	Expression
35.0ms	d1	@	0	(* (* d1 (* d1 (sqrt d1))) (sqrt (sqrt d1)))
9.0ms	d1	@	0	(sqrt (sqrt d1))
7.0ms	d1	@	inf	(sqrt (sqrt d1))
7.0ms	d1	@	inf	(* (* d1 (* d1 (sqrt d1))) (sqrt (sqrt d1)))
1.0ms	d1	@	-inf	(* (* d1 (* d1 (* d1 (sqrt d1)))) (sqrt d1))

simplify65.0ms (0.2%)

Memory

-11.8MiB live, 105.8MiB allocated

Algorithm

1×	egg-herbie

Rules

580×	`lower-*.f64`
580×	`lower-*.f32`
572×	`lower-fma.f64`
572×	`lower-fma.f32`
358×	`associate-l`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	44	576
1	87	576
2	201	572
3	388	572
4	821	572
5	1238	572
6	1480	572
7	1561	572
8	1571	572
9	1571	572
10	1621	572
11	1623	572
0	1623	572

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)))
(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)))
(pow (* 1 (pow d1 11)) 1/4)
(pow (* 1 (pow d1 11)) 1/4)
(pow (* 1 (pow d1 11)) 1/4)
(pow (* 1 (pow d1 11)) 1/4)
(pow (* 1 (pow d1 11)) 1/4)
(pow (* 1 (pow d1 11)) 1/4)
(pow (* 1 (pow d1 11)) 1/4)
(pow (* 1 (pow d1 11)) 1/4)
(* (pow (* -1 (pow d1 11)) 1/4) (sqrt (pow (sqrt -1) 3)))
(* (pow (* -1 (pow d1 11)) 1/4) (sqrt (pow (sqrt -1) 3)))
(* (pow (* -1 (pow d1 11)) 1/4) (sqrt (pow (sqrt -1) 3)))
(* (pow (* -1 (pow d1 11)) 1/4) (sqrt (pow (sqrt -1) 3)))
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(pow (* 1 d1) 1/4)
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))
(* (pow (* -1 d1) 1/4) (sqrt (sqrt -1)))

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

rewrite45.0ms (0.1%)

Memory

-5.8MiB live, 32.4MiB allocated

Rules

810×	`pow-exp`
580×	`associate-r`
512×	`prod-exp`
500×	`pow-prod-down`
408×	`log-prod`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	16	105
0	30	39
1	65	39
2	153	39
3	419	39
4	2282	13
0	9003	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 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1))
(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 d1)) d1)
(.f64 (.f64 (.f64 d1 (.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
(.f64 (.f64 (.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1)
(.f64 (.f64 d1 (*.f64 d1 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
(sqrt.f64 (sqrt.f64 d1))

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

eval28.0ms (0.1%)

Memory: 11.7MiB live, 48.3MiB allocated
Compiler: Compiled 2 545 to 105 computations (95.9% saved)

prune23.0ms (0.1%)

Memory

-17.5MiB live, 19.9MiB allocated

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	263	3	266
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	263	9	272

Accuracy

100.0%

Counts

272 → 9

Alt Table

Click to see full alt table

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

Compiler

Compiled 73 to 36 computations (50.7% saved)

simplify4.0ms (0%)

Memory

4.7MiB live, 4.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Rules

6×	`lower-*.f32`
4×	`lift-*.f64`
2×	`lower-*.f64`
2×	`lower-pow.f64`
2×	`cube-unmult`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	3	14
0	5	14
1	6	12
2	8	12
0	8	12

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize13.0ms (0%)

Memory

17.8MiB live, 17.8MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 d1 d1)
accuracy	0.0546875	(.f64 (.f64 d1 d1) d1)
accuracy	0	(*.f64 d1 d1)

Samples

8.0ms

256×

valid

Compiler

Compiled 16 to 5 computations (68.8% saved)

Precisions

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

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

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

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

series1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

2 → 24

Calls

Call 1

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

Outputs
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor 0 d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 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>) () ())) ())

Calls

6 calls:

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

simplify3.0ms (0%)

Memory

4.1MiB live, 4.1MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 24

Calls

Call 1

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

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

rewrite136.0ms (0.4%)

Memory

-6.8MiB live, 152.6MiB allocated

Rules

2 618×	`lower-*.f64`
2 618×	`lower-*.f32`
1 200×	`unpow-prod-down`
1 030×	`log-prod`
922×	`associate-r`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	3	8
0	5	6
1	10	6
2	24	6
3	52	6
4	166	6
5	571	2
6	4059	2
7	4117	2
8	4354	2
9	6881	2
0	8590	2

Stop Event

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

Counts

2 → 4

Calls

Call 1

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

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

eval4.0ms (0%)

Memory: 8.5MiB live, 8.5MiB allocated
Compiler: Compiled 203 to 6 computations (97% saved)

prune11.0ms (0%)

Memory

-27.0MiB live, 17.6MiB allocated

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	0	0
Picked	0	3	3
Done	0	6	6
Total	42	9	51

Accuracy

100.0%

Counts

51 → 9

Alt Table

Click to see full alt table

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

Compiler

Compiled 138 to 54 computations (60.9% saved)

regimes7.0ms (0%)

Memory

9.5MiB live, 9.5MiB allocated

Counts

9 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes6.0ms (0%)

Memory

6.9MiB live, 6.9MiB allocated

Counts

8 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes4.0ms (0%)

Memory

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

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes39.0ms (0.1%)

Memory

-30.7MiB live, 7.6MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
d1
(*.f64 d1 d1)

Outputs
(*.f64 d1 d1)

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

6.5MiB live, 6.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:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

simplify6.0ms (0%)

Memory

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

soundness32.4s (94.8%)

Memory

-33.0MiB live, 270.7MiB allocated

Rules

810×	`pow-exp`
580×	`associate-r`
560×	`lower-*.f32`
554×	`lower-*.f64`
512×	`prod-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	105
0	30	39
1	65	39
2	153	39
3	419	39
4	2282	13
0	9003	13
0	4	15
0	7	11
1	14	9
2	34	9
3	77	9
4	254	9
0	1033	9

Stop Event

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

Compiler

Compiled 115 to 45 computations (60.9% saved)

preprocess54.0ms (0.2%)

Memory: 20.7MiB live, 97.0MiB 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	16	137
0	30	99
1	55	97
2	104	85
3	175	84
4	253	84
5	261	74
6	277	74
7	294	72
8	302	72
9	304	72
0	304	72

Iter	Nodes	Cost
0	16	137
0	30	99
1	55	97
2	104	85
3	175	84
4	253	84
5	261	74
6	277	74
7	294	72
8	302	72
9	304	72
0	304	72

start0.0ms (0%)

analyze0.0ms (0%)

sample636.0ms (1.9%)

explain146.0ms (0.4%)

preprocess78.0ms (0.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify4.0ms (0%)

localize14.0ms (0%)

series3.0ms (0%)

simplify81.0ms (0.2%)

rewrite183.0ms (0.5%)

eval13.0ms (0%)

prune19.0ms (0.1%)

simplify16.0ms (0%)

localize58.0ms (0.2%)

series68.0ms (0.2%)

simplify65.0ms (0.2%)

rewrite45.0ms (0.1%)

eval28.0ms (0.1%)

prune23.0ms (0.1%)

simplify4.0ms (0%)

localize13.0ms (0%)

series1.0ms (0%)

simplify3.0ms (0%)

rewrite136.0ms (0.4%)

eval4.0ms (0%)

prune11.0ms (0%)

regimes7.0ms (0%)

regimes6.0ms (0%)

regimes4.0ms (0%)

regimes4.0ms (0%)

regimes39.0ms (0.1%)

regimes3.0ms (0%)

simplify6.0ms (0%)

soundness32.4s (94.8%)

preprocess54.0ms (0.2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	16	137
0	30	99
1	55	97
2	104	85
3	175	84
4	253	84
5	261	74
6	277	74
7	294	72
8	302	72
9	304	72
0	304	72