Metrics for FastMath repmul

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

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)

sample529.0ms (0.9%)

Memory

0.8MiB live, 793.4MiB allocated

Samples

325.0ms

8 256×

valid

Precisions

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

ival-mult: 192.0ms (95.8% of total)

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

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

Bogosity

explain77.0ms (0.1%)

Memory

-13.5MiB live, 69.2MiB 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

33.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 (89.1% of total)

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

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

preprocess15.0ms (0%)

Memory

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

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

simplify3.0ms (0%)

Memory

3.6MiB live, 3.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize36.0ms (0.1%)

Memory

-20.5MiB live, 18.1MiB 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.078125	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Samples

32.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

ival-mult: 5.0ms (89% of total)

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

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

series4.0ms (0%)

Memory

5.9MiB live, 5.9MiB allocated

Counts

3 → 36

Calls

Call 1

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

Inputs

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

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

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

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

Calls

3 calls:

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

simplify3.0ms (0%)

Memory

3.6MiB live, 3.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 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 4)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 3)
(pow d1 2)
(pow d1 2)
(pow d1 2)
(pow d1 2)

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

rewrite165.0ms (0.3%)

Memory

-10.0MiB live, 67.5MiB allocated

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

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

Counts

3 → 85

Calls

Call 1

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

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

eval11.0ms (0%)

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

prune85.0ms (0.1%)

Memory

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

Compiler

Compiled 114 to 56 computations (50.9% saved)

simplify12.0ms (0%)

Memory

11.7MiB live, 11.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

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

250×	`associate-r`
240×	`lower-*.f32`
222×	`lower-*.f64`
108×	`associate-l`
52×	`lower-pow.f32`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	15	134
0	28	96
1	53	94
2	110	81
3	202	81
4	262	81
5	275	71
6	295	69
7	306	69
8	311	69
9	312	69
0	312	69

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

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

localize116.0ms (0.2%)

Memory

18.0MiB live, 56.9MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score
accuracy	0.109375	(.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) (sqrt.f64 (sqrt.f64 d1)))
accuracy	0.12109375	(sqrt.f64 (sqrt.f64 d1))
accuracy	0.13671875	(.f64 (sqrt.f64 d1) (.f64 d1 d1))
accuracy	0.14453125	(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
accuracy	0	(sqrt.f64 d1)
accuracy	0.078125	(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (sqrt.f64 d1)) d1)
accuracy	0.12890625	(.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) (sqrt.f64 d1))
accuracy	0.13671875	(.f64 (sqrt.f64 d1) (.f64 d1 d1))
accuracy	0	(sqrt.f64 d1)
accuracy	0.08203125	(.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) d1)
accuracy	0.13671875	(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) d1) (sqrt.f64 d1))
accuracy	0.13671875	(.f64 (sqrt.f64 d1) (.f64 d1 d1))
accuracy	0	(*.f64 d1 d1)
accuracy	0.170253759768442	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
accuracy	0	(pow.f64 d1 #s(literal 4 binary64))

Samples

31.0ms

256×

valid

Compiler

Compiled 136 to 17 computations (87.5% saved)

Precisions

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

ival-mult: 14.0ms (68.2% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series166.0ms (0.3%)

Memory

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

3 calls:

Time

Variable

Point

Expression

119.0ms

d1

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

23.0ms

d1

inf

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

20.0ms

d1

-inf

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

simplify44.0ms (0.1%)

Memory

-6.2MiB live, 31.5MiB allocated

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	44	552
1	87	552
2	201	548
3	392	548
4	807	548
5	1216	548
6	1456	548
7	1537	548
8	1547	548
9	1547	548
10	1583	548
11	1585	548
0	1585	548

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

rewrite44.0ms (0.1%)

Memory

5.2MiB live, 43.2MiB allocated

Rules

822×	`pow-exp`
622×	`prod-exp`
618×	`associate-r`
526×	`pow-prod-down`
446×	`associate-l`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	15	103
0	28	39
1	63	39
2	161	39
3	462	39
4	2457	13
0	9594	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 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) d1) (sqrt.f64 d1))
(.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) d1)
(.f64 (sqrt.f64 d1) (.f64 d1 d1))
(sqrt.f64 d1)
(.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) (sqrt.f64 d1))
(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (sqrt.f64 d1)) d1)
(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1)))
(.f64 (.f64 (.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1)
(.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) (sqrt.f64 (sqrt.f64 d1)))
(sqrt.f64 (sqrt.f64 d1))

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

eval41.0ms (0.1%)

Memory: 3.3MiB live, 81.6MiB allocated
Compiler: Compiled 3 837 to 132 computations (96.6% saved)

prune15.0ms (0%)

Memory

1.9MiB live, 40.1MiB allocated

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	361	3	364
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	361	9	370

Accuracy

100.0%

Counts

370 → 9

Alt Table

Click to see full alt table

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

Compiler

Compiled 73 to 36 computations (50.7% saved)

simplify4.0ms (0%)

Memory

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

localize14.0ms (0%)

Memory

-7.4MiB live, 31.5MiB 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

11.0ms

256×

valid

Compiler

Compiled 16 to 5 computations (68.8% saved)

Precisions

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

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

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

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

series2.0ms (0%)

Memory

6.8MiB live, 6.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 3) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor 0 d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor inf d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 2) (taylor -inf d1) (#s(alt (.f64 d1 d1) (patch (.f64 d1 d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())
#s(alt (pow d1 3) (taylor -inf d1) (#s(alt (.f64 (.f64 d1 d1) d1) (patch (.f64 (.f64 d1 d1) d1) #<representation binary64>) () ())) ())

Calls

3 calls:

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

simplify3.0ms (0%)

Memory

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

rewrite74.0ms (0.1%)

Memory

-5.0MiB live, 119.1MiB 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
d1
#s(literal 1 binary64)
d1
#s(literal 1 binary64)

eval4.0ms (0%)

Memory: -28.3MiB live, 11.0MiB allocated
Compiler: Compiled 203 to 5 computations (97.5% saved)

prune6.0ms (0%)

Memory

18.7MiB live, 18.7MiB 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.7%	(.f64 (.f64 (.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 d1)) (sqrt.f64 (sqrt.f64 d1))) (sqrt.f64 (sqrt.f64 d1))) d1)
✓	99.7%	(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (sqrt.f64 d1)) d1)
✓	99.7%	(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) d1) (sqrt.f64 d1))
✓	99.8%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	99.7%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
✓	68.4%	(.f64 (.f64 d1 d1) d1)
✓	54.1%	(*.f64 d1 d1)
✓	6.3%	d1

Compiler

Compiled 138 to 53 computations (61.6% saved)

regimes13.0ms (0%)

Memory

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

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes6.0ms (0%)

Memory

17.9MiB live, 17.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 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) d1) (sqrt.f64 d1))
(.f64 (.f64 (.f64 (sqrt.f64 d1) (.f64 d1 d1)) (sqrt.f64 d1)) d1)
(.f64 (.f64 (.f64 (.f64 (sqrt.f64 d1) (*.f64 d1 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.8%	1	`d1`
99.8%	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 10 to 5 computations (50% saved)

regimes5.0ms (0%)

Memory

-26.0MiB live, 13.6MiB allocated

Counts

4 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

Accuracy	Segments	Branch
99.7%	1	`d1`
99.7%	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
68.4%	1	`d1`
68.4%	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

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

Compiler

Compiled 10 to 5 computations (50% saved)

regimes3.0ms (0%)

Memory

7.1MiB live, 7.1MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
d1

Outputs
d1

Calls

2 calls:

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

Results

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

Compiler

Compiled 10 to 5 computations (50% saved)

simplify6.0ms (0%)

Memory

-27.5MiB live, 12.0MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	26
1	9	26

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness58.5s (97.4%)

Memory

15.2MiB live, 457.5MiB allocated

Rules

822×	`pow-exp`
622×	`prod-exp`
618×	`associate-r`
560×	`lower-*.f32`
554×	`lower-*.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	103
0	28	39
1	63	39
2	161	39
3	462	39
4	2457	13
0	9594	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 102 to 40 computations (60.8% saved)

preprocess64.0ms (0.1%)

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

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	15	134
0	28	96
1	53	94
2	110	81
3	202	81
4	262	81
5	275	71
6	295	69
7	306	69
8	311	69
9	312	69
0	312	69

Iter	Nodes	Cost
0	15	134
0	28	96
1	53	94
2	110	81
3	202	81
4	262	81
5	275	71
6	295	69
7	306	69
8	311	69
9	312	69
0	312	69

start0.0ms (0%)

analyze0.0ms (0%)

sample529.0ms (0.9%)

explain77.0ms (0.1%)

preprocess15.0ms (0%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0%)

localize36.0ms (0.1%)

series4.0ms (0%)

simplify3.0ms (0%)

rewrite165.0ms (0.3%)

eval11.0ms (0%)

prune85.0ms (0.1%)

simplify12.0ms (0%)

localize116.0ms (0.2%)

series166.0ms (0.3%)

simplify44.0ms (0.1%)

rewrite44.0ms (0.1%)

eval41.0ms (0.1%)

prune15.0ms (0%)

simplify4.0ms (0%)

localize14.0ms (0%)

series2.0ms (0%)

simplify3.0ms (0%)

rewrite74.0ms (0.1%)

eval4.0ms (0%)

prune6.0ms (0%)

regimes13.0ms (0%)

regimes6.0ms (0%)

regimes5.0ms (0%)

regimes4.0ms (0%)

regimes3.0ms (0%)

regimes3.0ms (0%)

simplify6.0ms (0%)

soundness58.5s (97.4%)

preprocess64.0ms (0.1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	15	134
0	28	96
1	53	94
2	110	81
3	202	81
4	262	81
5	275	71
6	295	69
7	306	69
8	311	69
9	312	69
0	312	69