Metrics for Octave 3.8, jcobi/4, as called

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze3.0ms (0%)

Memory

4.1MiB live, 4.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
50%	25%	25%	50%	0%	0%	0%	2
50%	25%	25%	50%	0%	0%	0%	3
75%	37.5%	12.5%	50%	0%	0%	0%	4
87.5%	43.7%	6.2%	50%	0%	0%	0%	5
93.8%	46.9%	3.1%	50%	0%	0%	0%	6
96.9%	48.4%	1.6%	50%	0%	0%	0%	7
98.4%	49.2%	0.8%	50%	0%	0%	0%	8
99.2%	49.6%	0.4%	50%	0%	0%	0%	9
99.6%	49.8%	0.2%	50%	0%	0%	0%	10
99.8%	49.9%	0.1%	50%	0%	0%	0%	11
99.9%	49.9%	0%	50%	0%	0%	0%	12

Compiler

Compiled 29 to 13 computations (55.2% saved)

sample1.3s (22.5%)

Memory

17.0MiB live, 1 275.1MiB allocated

Samples

997.0ms

8 256×

valid

Precisions

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

ival-mult: 441.0ms (56% of total)

ival-div: 186.0ms (23.6% of total)

ival-sub: 121.0ms (15.4% of total)

ival->: 22.0ms (2.8% of total)

exact: 14.0ms (1.8% of total)

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

Bogosity

explain332.0ms (5.7%)

Memory

-22.7MiB live, 209.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
193	-	1	(3.1801393619700766e-81)	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`
58	-	0	-	`(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))`
0	-	0	-	`#s(literal 1 binary64)`
0	-	0	-	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`
0	-	0	-	`(*.f64 i i)`
0	-	0	-	`(.f64 (.f64 i i) (*.f64 i i))`
0	-	0	-	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))`
0	-	0	-	`i`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`(*.f64 #s(literal 2 binary64) i)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/u	67	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	96
↳	`(*.f64 i i)`	underflow	134
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	underflow	67
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	o/o	58	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	96
↳	`(*.f64 i i)`	overflow	116
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	58
`/.f64`	`(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))`	o/o	58	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	96
↳	`(*.f64 i i)`	overflow	116
↳	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	overflow	58
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	58
↳	`(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))`	overflow	58
↳	`(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))`	overflow	58
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	o/n	38	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	overflow	96
↳	`(*.f64 i i)`	overflow	116
`/.f64`	`(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))`	u/n	29	0
↳	`(.f64 (.f64 i i) (*.f64 i i))`	underflow	96
↳	`(*.f64 i i)`	underflow	134

Confusion

	Predicted +	Predicted -
+	192	1
-	0	63

Precision

1.0

Recall

0.9948186528497409

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	192	0	1
-	0	0	63

Precision?

1.0

Recall?

0.9948186528497409

Freqs

test

number	freq
0	64
1	134
2	58

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

107.0ms

512×

valid

Compiler

Compiled 173 to 34 computations (80.3% saved)

Precisions

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

ival-mult: 12.0ms (56.9% of total)

ival-div: 6.0ms (28.4% of total)

ival-sub: 2.0ms (9.5% of total)

exact: 1.0ms (4.7% of total)

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

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

preprocess375.0ms (6.4%)

Memory

-12.5MiB live, 142.3MiB allocated

Algorithm

1×	egg-herbie

Rules

7 204×	`lower-fma.f64`
7 204×	`lower-fma.f32`
5 094×	`lower-*.f32`
5 086×	`lower-*.f64`
3 164×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	43
1	55	43
2	350	26
3	2861	26
4	7636	26
0	10	25
0	17	21
1	45	19
2	187	13
3	1060	13
4	3649	11
5	5292	11
6	7322	11
0	8036	10

Stop Event

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

Calls

Call 1

Inputs

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Outputs

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

(*.f64 (/.f64 i (fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))) i)

Symmetry

(abs i)

Compiler

Compiled 25 to 10 computations (60% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	26.5%	(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Status

Accuracy

Program

▶

26.5%

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Compiler

Compiled 25 to 10 computations (60% saved)

simplify203.0ms (3.5%)

Memory

21.6MiB live, 94.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	128	(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))
cost-diff	320	(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))
cost-diff	320	(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))
cost-diff	7168	(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))

Rules

7 204×	`lower-fma.f64`
7 204×	`lower-fma.f32`
5 094×	`lower-*.f32`
5 086×	`lower-*.f64`
3 164×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	72
0	17	62
1	45	56
2	187	42
3	1060	42
4	3649	40
5	5292	40
6	7322	40
0	8036	38

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))
(.f64 (.f64 i i) (*.f64 i i))
(*.f64 i i)
i
(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))
(*.f64 #s(literal 2 binary64) i)
#s(literal 2 binary64)
(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))
#s(literal 1 binary64)

Outputs
(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))
(.f64 (/.f64 i (fma.f64 #s(literal 16 binary64) (.f64 i i) #s(literal -4 binary64))) i)
(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))
(.f64 (.f64 #s(literal 1/4 binary64) i) i)
(.f64 (.f64 i i) (*.f64 i i))
(pow.f64 i #s(literal 4 binary64))
(*.f64 i i)
i
(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))
(.f64 #s(literal 4 binary64) (.f64 i i))
(*.f64 #s(literal 2 binary64) i)
#s(literal 2 binary64)
(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
#s(literal 1 binary64)

localize81.0ms (1.4%)

Memory

8.1MiB live, 44.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.00390625	(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))
accuracy	0.11556625976844201	(.f64 (.f64 i i) (*.f64 i i))
accuracy	14.060027002165821	(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))
accuracy	43.570463635013624	(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))

Samples

74.0ms

256×

valid

Compiler

Compiled 74 to 12 computations (83.8% saved)

Precisions

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

ival-mult: 63.0ms (93.6% of total)

ival-div: 3.0ms (4.5% of total)

ival-sub: 1.0ms (1.5% of total)

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

exact: 0.0ms (0% of total)

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

series108.0ms (1.9%)

Memory

-25.9MiB live, 22.6MiB allocated

Counts

5 → 60

Calls

Call 1

Inputs
#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())
#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())
#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())

Outputs
#s(alt (* 1/4 (pow i 2)) (taylor 0 i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor 0 i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor 0 i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor 0 i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4)) (taylor 0 i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4)) (taylor 0 i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor 0 i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor 0 i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor 0 i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor 0 i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 4 (pow i 2)) 1) (taylor 0 i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 4 (pow i 2)) 1) (taylor 0 i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 4 (pow i 2)) 1) (taylor 0 i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor 0 i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor 0 i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor 0 i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor 0 i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor inf i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor inf i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor inf i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor inf i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor inf i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor inf i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor inf i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor inf i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor inf i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor inf i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor inf i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor inf i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor inf i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor inf i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor inf i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor -inf i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor -inf i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor -inf i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt (* 1/4 (pow i 2)) (taylor -inf i) (#s(alt (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (patch (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor -inf i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor -inf i) (#s(alt (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) (patch (/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor -inf i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor -inf i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor -inf i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor -inf i) (#s(alt (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) (patch (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor -inf i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) (patch (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor -inf i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor -inf i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor -inf i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 4) (taylor -inf i) (#s(alt (.f64 (.f64 i i) (.f64 i i)) (patch (.f64 (.f64 i i) (.f64 i i)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
103.0ms	i	@	0	((/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (* 2 i) (* 2 i)) (- (* (* 2 i) (* 2 i)) 1) (* (* i i) (* i i)))
2.0ms	i	@	inf	((/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (* 2 i) (* 2 i)) (- (* (* 2 i) (* 2 i)) 1) (* (* i i) (* i i)))
1.0ms	i	@	-inf	((/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (* 2 i) (* 2 i)) (- (* (* 2 i) (* 2 i)) 1) (* (* i i) (* i i)))

Time

Variable

Point

Expression

103.0ms

((/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (* 2 i) (* 2 i)) (- (* (* 2 i) (* 2 i)) 1) (* (* i i) (* i i)))

2.0ms

inf

((/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (* 2 i) (* 2 i)) (- (* (* 2 i) (* 2 i)) 1) (* (* i i) (* i i)))

1.0ms

-inf

((/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (* 2 i) (* 2 i)) (- (* (* 2 i) (* 2 i)) 1) (* (* i i) (* i i)))

simplify262.0ms (4.5%)

Memory

16.5MiB live, 173.9MiB allocated

Algorithm

1×	egg-herbie

Rules

16 840×	`lower-fma.f64`
16 840×	`lower-fma.f32`
4 084×	`lower-*.f64`
4 084×	`lower-*.f32`
1 760×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	365
1	94	365
2	218	364
3	505	360
4	1055	360
5	2101	360
6	3988	360
7	6169	360
0	8132	348

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 60

Calls

Call 1

Inputs
(* 1/4 (pow i 2))
(* 1/4 (pow i 2))
(* 1/4 (pow i 2))
(* 1/4 (pow i 2))
(* -1/4 (pow i 2))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(* 4 (pow i 2))
(* 4 (pow i 2))
(* 4 (pow i 2))
(* 4 (pow i 2))
-1
(- (* 4 (pow i 2)) 1)
(- (* 4 (pow i 2)) 1)
(- (* 4 (pow i 2)) 1)
(pow i 4)
(pow i 4)
(pow i 4)
(pow i 4)
(* 1/4 (pow i 2))
(* 1/4 (pow i 2))
(* 1/4 (pow i 2))
(* 1/4 (pow i 2))
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(* 4 (pow i 2))
(* 4 (pow i 2))
(* 4 (pow i 2))
(* 4 (pow i 2))
(* 4 (pow i 2))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(pow i 4)
(pow i 4)
(pow i 4)
(pow i 4)
(* 1/4 (pow i 2))
(* 1/4 (pow i 2))
(* 1/4 (pow i 2))
(* 1/4 (pow i 2))
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(* 4 (pow i 2))
(* 4 (pow i 2))
(* 4 (pow i 2))
(* 4 (pow i 2))
(* 4 (pow i 2))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(pow i 4)
(pow i 4)
(pow i 4)
(pow i 4)

Outputs
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
(* -1/4 (pow i 2))
(.f64 #s(literal -1/4 binary64) (.f64 i i))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(.f64 (fma.f64 (fma.f64 (pow.f64 i #s(literal 3 binary64)) #s(literal 4 binary64) i) i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(.f64 (fma.f64 i i (fma.f64 (fma.f64 #s(literal 16 binary64) (.f64 i i) #s(literal 4 binary64)) (pow.f64 i #s(literal 4 binary64)) #s(literal 1/4 binary64))) (*.f64 (neg.f64 i) i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
-1
#s(literal -1 binary64)
(- (* 4 (pow i 2)) 1)
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(- (* 4 (pow i 2)) 1)
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(- (* 4 (pow i 2)) 1)
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) (+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))) (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
(* 1/4 (pow i 2))
(.f64 (.f64 i #s(literal 1/4 binary64)) i)
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) (+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))) (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))
(pow i 4)
(pow.f64 i #s(literal 4 binary64))

rewrite189.0ms (3.2%)

Memory

-0.6MiB live, 198.3MiB allocated

Rules

5 018×	`lower-*.f32`
5 010×	`lower-*.f64`
4 240×	`lower-/.f32`
4 236×	`lower-/.f64`
3 978×	`lower-fma.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	63
0	17	47
1	75	41
2	653	29
0	8740	27

Stop Event

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

Counts

5 → 653

Calls

Call 1

Inputs
(/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i)))
(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))
(-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64))
(.f64 (.f64 i i) (*.f64 i i))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval123.0ms (2.1%)

Memory: -12.7MiB live, 170.9MiB allocated
Compiler: Compiled 17 884 to 1 789 computations (90% saved)

prune14.0ms (0.2%)

Memory

17.9MiB live, 54.7MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	756	4	760
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	757	4	761

Accuracy

100.0%

Counts

761 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	77.3%	(/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))))
▶	49.4%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))
▶	49.1%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i)))
▶	52.1%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify231.0ms (4%)

Memory

9.1MiB live, 241.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

New	Metric	Score
cost-diff	0	(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
cost-diff	0	(*.f64 i i)
cost-diff	0	(/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))))
cost-diff	320	(.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))
cost-diff	0	(fma.f64 i i #s(literal 1/4 binary64))
cost-diff	0	(*.f64 (fma.f64 i i #s(literal 1/4 binary64)) i)
cost-diff	0	(.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))
cost-diff	0	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))
cost-diff	0	(*.f64 i i)
cost-diff	0	(.f64 #s(literal -1/4 binary64) (.f64 i i))
cost-diff	0	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i)))
cost-diff	0	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Rules

10 098×	`lower-fma.f32`
10 094×	`lower-fma.f64`
4 974×	`lower-*.f32`
4 964×	`lower-*.f64`
3 004×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	159
0	37	144
1	96	133
2	328	118
3	1420	115
4	4208	115
5	6737	115
0	8252	110

Stop Event

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

Calls

Call 1

Inputs
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))
#s(literal 1/16 binary64)
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i)))
(.f64 #s(literal -1/4 binary64) (.f64 i i))
#s(literal -1/4 binary64)
(*.f64 i i)
i
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))
(.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))
(*.f64 (fma.f64 i i #s(literal 1/4 binary64)) i)
(fma.f64 i i #s(literal 1/4 binary64))
i
#s(literal 1/4 binary64)
(neg.f64 i)
(/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))))
(*.f64 i i)
i
(.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))
#s(literal 4 binary64)
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
#s(literal -1 binary64)

Outputs
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))
#s(literal 1/16 binary64)
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i)))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 #s(literal -1/4 binary64) i) i))
(.f64 #s(literal -1/4 binary64) (.f64 i i))
(.f64 (.f64 #s(literal -1/4 binary64) i) i)
#s(literal -1/4 binary64)
(*.f64 i i)
i
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 (neg.f64 i) i #s(literal -1/4 binary64)) (.f64 i i)))
(.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))
(.f64 (fma.f64 (neg.f64 i) i #s(literal -1/4 binary64)) (.f64 i i))
(*.f64 (fma.f64 i i #s(literal 1/4 binary64)) i)
(fma.f64 i i #s(literal 1/4 binary64))
i
#s(literal 1/4 binary64)
(neg.f64 i)
(/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))))
(.f64 (/.f64 i (fma.f64 #s(literal 16 binary64) (.f64 i i) #s(literal -4 binary64))) i)
(*.f64 i i)
i
(.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
#s(literal 4 binary64)
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
#s(literal -1 binary64)

localize61.0ms (1%)

Memory

-10.7MiB live, 148.9MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 i i)
accuracy	0	(.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))
accuracy	0.00390625	(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
accuracy	14.060027002165821	(/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))))
accuracy	0	(neg.f64 i)
accuracy	0.03125	(.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))
accuracy	0.0390625	(*.f64 (fma.f64 i i #s(literal 1/4 binary64)) i)
accuracy	32.40920921505965	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))
accuracy	0	(*.f64 i i)
accuracy	0	(.f64 #s(literal -1/4 binary64) (.f64 i i))
accuracy	32.5668424726118	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i)))
accuracy	30.637194727586866	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Samples

46.0ms

256×

valid

Compiler

Compiled 149 to 26 computations (82.6% saved)

Precisions

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

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

ival-add: 12.0ms (33.3% of total)

ival-div: 6.0ms (16.7% of total)

ival-sub: 1.0ms (2.8% of total)

exact: 1.0ms (2.8% of total)

ival-neg: 1.0ms (2.8% of total)

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

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

series11.0ms (0.2%)

Memory

4.5MiB live, 43.5MiB allocated

Counts

12 → 144

Calls

Call 1

Inputs
#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())
#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())
#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())
#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())
#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())
#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())
#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())
#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())
#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())
#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())

Outputs
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor 0 i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor 0 i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor 0 i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor 0 i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (* 1/4 i) (taylor 0 i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (* i (+ 1/4 (pow i 2))) (taylor 0 i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (* i (+ 1/4 (pow i 2))) (taylor 0 i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (* i (+ 1/4 (pow i 2))) (taylor 0 i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt 1/4 (taylor 0 i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/4 (pow i 2)) (taylor 0 i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/4 (pow i 2)) (taylor 0 i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/4 (pow i 2)) (taylor 0 i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt -4 (taylor 0 i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* 16 (pow i 2)) 4) (taylor 0 i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* 16 (pow i 2)) 4) (taylor 0 i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* 16 (pow i 2)) 4) (taylor 0 i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4)) (taylor 0 i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4)) (taylor 0 i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 4 (pow i 2)) 1) (taylor 0 i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 4 (pow i 2)) 1) (taylor 0 i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 4 (pow i 2)) 1) (taylor 0 i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor 0 i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor 0 i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor 0 i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor 0 i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor inf i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor inf i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor inf i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor inf i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 4)) (taylor inf i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor inf i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor inf i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor inf i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (pow i 3) (taylor inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 16 (pow i 2)) (taylor inf i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor inf i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor inf i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor inf i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor -inf i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor -inf i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor -inf i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor -inf i) (#s(alt (.f64 #s(literal -1/4 binary64) (.f64 i i)) (patch (.f64 #s(literal -1/4 binary64) (.f64 i i)) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor -inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor -inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor -inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor -inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 4)) (taylor -inf i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor -inf i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor -inf i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor -inf i) (#s(alt (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) (patch (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)) #<representation binary64>) () ())) ())
#s(alt (pow i 3) (taylor -inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor -inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 16 (pow i 2)) (taylor -inf i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) (patch (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor -inf i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor -inf i) (#s(alt (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) (patch (/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* 4 (pow i 2)) (taylor -inf i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 4 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) (patch (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor -inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor -inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor -inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor -inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

2.0ms

inf

((/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* -1/4 (* i i)) (* i i) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (* (+ (* i i) 1/4) i) (neg i)) (* (+ (* i i) 1/4) i) (+ (* i i) 1/4) (* 4 (+ (* 4 (* i i)) -1)) (/ (* i i) (* 4 (+ (* 4 (* i i)) -1))) (+ (* 4 (* i i)) -1) (neg i))

2.0ms

((/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* -1/4 (* i i)) (* i i) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (* (+ (* i i) 1/4) i) (neg i)) (* (+ (* i i) 1/4) i) (+ (* i i) 1/4) (* 4 (+ (* 4 (* i i)) -1)) (/ (* i i) (* 4 (+ (* 4 (* i i)) -1))) (+ (* 4 (* i i)) -1) (neg i))

1.0ms

-inf

((/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* -1/4 (* i i)) (* i i) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (* (+ (* i i) 1/4) i) (neg i)) (* (+ (* i i) 1/4) i) (+ (* i i) 1/4) (* 4 (+ (* 4 (* i i)) -1)) (/ (* i i) (* 4 (+ (* 4 (* i i)) -1))) (+ (* 4 (* i i)) -1) (neg i))

simplify437.0ms (7.5%)

Memory

32.4MiB live, 307.2MiB allocated

Algorithm

1×	egg-herbie

Rules

19 766×	`lower-fma.f64`
19 766×	`lower-fma.f32`
3 396×	`lower-*.f64`
3 396×	`lower-*.f32`
2 634×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	1035
1	160	1035
2	407	1022
3	1167	1006
4	3862	1006
5	7911	1006
0	8105	958

Stop Event

1×	iter limit
1×	node limit

Counts

144 → 144

Calls

Call 1

Inputs
(* -1/4 (pow i 2))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(* -1/4 (pow i 2))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(* -1/4 (pow i 2))
(* -1/4 (pow i 2))
(* -1/4 (pow i 2))
(* -1/4 (pow i 2))
(pow i 2)
(pow i 2)
(pow i 2)
(pow i 2)
(* -1/4 (pow i 2))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(* -1/4 (pow i 2))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* 1/4 i)
(* i (+ 1/4 (pow i 2)))
(* i (+ 1/4 (pow i 2)))
(* i (+ 1/4 (pow i 2)))
1/4
(+ 1/4 (pow i 2))
(+ 1/4 (pow i 2))
(+ 1/4 (pow i 2))
-4
(- (* 16 (pow i 2)) 4)
(- (* 16 (pow i 2)) 4)
(- (* 16 (pow i 2)) 4)
(* -1/4 (pow i 2))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
-1
(- (* 4 (pow i 2)) 1)
(- (* 4 (pow i 2)) 1)
(- (* 4 (pow i 2)) 1)
(* -1 i)
(* -1 i)
(* -1 i)
(* -1 i)
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(* -1/4 (pow i 2))
(* -1/4 (pow i 2))
(* -1/4 (pow i 2))
(* -1/4 (pow i 2))
(pow i 2)
(pow i 2)
(pow i 2)
(pow i 2)
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(* -1 (pow i 4))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(pow i 3)
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(pow i 2)
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* 16 (pow i 2))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(* 4 (pow i 2))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(* -1 i)
(* -1 i)
(* -1 i)
(* -1 i)
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(* -1/4 (pow i 2))
(* -1/4 (pow i 2))
(* -1/4 (pow i 2))
(* -1/4 (pow i 2))
(pow i 2)
(pow i 2)
(pow i 2)
(pow i 2)
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(* -1 (pow i 4))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(pow i 3)
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(pow i 2)
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* 16 (pow i 2))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(* 4 (pow i 2))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(* -1 i)
(* -1 i)
(* -1 i)
(* -1 i)

Outputs
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(.f64 (fma.f64 (pow.f64 i #s(literal 4 binary64)) #s(literal -4 binary64) (-.f64 #s(literal -1/4 binary64) (.f64 i i))) (*.f64 i i))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(.f64 (fma.f64 (pow.f64 i #s(literal 4 binary64)) (fma.f64 #s(literal -16 binary64) (.f64 i i) #s(literal -4 binary64)) (-.f64 #s(literal -1/4 binary64) (.f64 i i))) (.f64 i i))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(.f64 (fma.f64 (pow.f64 i #s(literal 4 binary64)) #s(literal -4 binary64) (-.f64 #s(literal -1/4 binary64) (.f64 i i))) (*.f64 i i))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(.f64 (fma.f64 (pow.f64 i #s(literal 4 binary64)) (fma.f64 #s(literal -16 binary64) (.f64 i i) #s(literal -4 binary64)) (-.f64 #s(literal -1/4 binary64) (.f64 i i))) (.f64 i i))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(.f64 (fma.f64 (pow.f64 i #s(literal 4 binary64)) #s(literal -4 binary64) (-.f64 #s(literal -1/4 binary64) (.f64 i i))) (*.f64 i i))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(.f64 (fma.f64 (pow.f64 i #s(literal 4 binary64)) (fma.f64 #s(literal -16 binary64) (.f64 i i) #s(literal -4 binary64)) (-.f64 #s(literal -1/4 binary64) (.f64 i i))) (.f64 i i))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* 1/4 i)
(*.f64 #s(literal 1/4 binary64) i)
(* i (+ 1/4 (pow i 2)))
(fma.f64 #s(literal 1/4 binary64) i (pow.f64 i #s(literal 3 binary64)))
(* i (+ 1/4 (pow i 2)))
(fma.f64 #s(literal 1/4 binary64) i (pow.f64 i #s(literal 3 binary64)))
(* i (+ 1/4 (pow i 2)))
(fma.f64 #s(literal 1/4 binary64) i (pow.f64 i #s(literal 3 binary64)))
1/4
#s(literal 1/4 binary64)
(+ 1/4 (pow i 2))
(fma.f64 i i #s(literal 1/4 binary64))
(+ 1/4 (pow i 2))
(fma.f64 i i #s(literal 1/4 binary64))
(+ 1/4 (pow i 2))
(fma.f64 i i #s(literal 1/4 binary64))
-4
#s(literal -4 binary64)
(- (* 16 (pow i 2)) 4)
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(- (* 16 (pow i 2)) 4)
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(- (* 16 (pow i 2)) 4)
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(.f64 (fma.f64 (pow.f64 i #s(literal 4 binary64)) #s(literal -4 binary64) (-.f64 #s(literal -1/4 binary64) (.f64 i i))) (*.f64 i i))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(.f64 (fma.f64 (pow.f64 i #s(literal 4 binary64)) (fma.f64 #s(literal -16 binary64) (.f64 i i) #s(literal -4 binary64)) (-.f64 #s(literal -1/4 binary64) (.f64 i i))) (.f64 i i))
-1
#s(literal -1 binary64)
(- (* 4 (pow i 2)) 1)
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(- (* 4 (pow i 2)) 1)
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(- (* 4 (pow i 2)) 1)
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
(* -1 (pow i 4))
(neg.f64 (pow.f64 i #s(literal 4 binary64)))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(pow i 3)
(pow.f64 i #s(literal 3 binary64))
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 1/4 binary64) i (pow.f64 i #s(literal 3 binary64)))
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 1/4 binary64) i (pow.f64 i #s(literal 3 binary64)))
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 1/4 binary64) i (pow.f64 i #s(literal 3 binary64)))
(pow i 2)
(*.f64 i i)
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* 16 (pow i 2))
(.f64 #s(literal 16 binary64) (.f64 i i))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
(* -1 (pow i 4))
(neg.f64 (pow.f64 i #s(literal 4 binary64)))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(pow i 3)
(pow.f64 i #s(literal 3 binary64))
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 1/4 binary64) i (pow.f64 i #s(literal 3 binary64)))
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 1/4 binary64) i (pow.f64 i #s(literal 3 binary64)))
(* (pow i 3) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 1/4 binary64) i (pow.f64 i #s(literal 3 binary64)))
(pow i 2)
(*.f64 i i)
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* 16 (pow i 2))
(.f64 #s(literal 16 binary64) (.f64 i i))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
(* 4 (pow i 2))
(.f64 #s(literal 4 binary64) (.f64 i i))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* (pow i 2) (- 4 (/ 1 (pow i 2))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)

rewrite182.0ms (3.1%)

Memory

-41.8MiB live, 178.4MiB allocated

Rules

6 714×	`lower-fma.f32`
6 710×	`lower-fma.f64`
5 040×	`lower-*.f32`
5 030×	`lower-*.f64`
3 654×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	148
0	37	127
1	164	116
2	1177	96
0	8844	95

Stop Event

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

Counts

12 → 790

Calls

Call 1

Inputs
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i)))
(.f64 #s(literal -1/4 binary64) (.f64 i i))
(*.f64 i i)
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))
(.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))
(*.f64 (fma.f64 i i #s(literal 1/4 binary64)) i)
(fma.f64 i i #s(literal 1/4 binary64))
(.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (.f64 i i) #s(literal -1 binary64)))
(/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))))
(fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))
(neg.f64 i)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval211.0ms (3.6%)

Memory: 13.1MiB live, 206.2MiB allocated
Compiler: Compiled 16 587 to 2 577 computations (84.5% saved)

prune74.0ms (1.3%)

Memory

-8.3MiB live, 73.7MiB allocated

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	998	2	1 000
Fresh	0	0	0
Picked	1	3	4
Done	0	0	0
Total	999	5	1 004

Accuracy

100.0%

Counts

1 004 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	77.3%	(/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)))
▶	49.4%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)))
✓	49.4%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))
✓	49.1%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i)))
✓	52.1%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Compiler

Compiled 38 to 28 computations (26.3% saved)

simplify222.0ms (3.8%)

Memory

3.0MiB live, 196.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(fma.f64 (*.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))
cost-diff	0	(*.f64 i i)
cost-diff	0	(/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)))
cost-diff	0	(*.f64 (neg.f64 i) i)
cost-diff	0	(fma.f64 i i #s(literal 1/4 binary64))
cost-diff	0	(.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))
cost-diff	0	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)))

Rules

9 212×	`lower-fma.f32`
9 208×	`lower-fma.f64`
5 146×	`lower-*.f32`
5 140×	`lower-*.f64`
2 738×	`lower-/.f32`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	21	78
0	29	74
1	71	72
2	243	66
3	1222	66
4	4131	63
5	6294	63
0	8097	63

Stop Event

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

Calls

Call 1

Inputs
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)))
(.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))
(fma.f64 i i #s(literal 1/4 binary64))
i
#s(literal 1/4 binary64)
(*.f64 (neg.f64 i) i)
(neg.f64 i)
(/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)))
(*.f64 i i)
i
(fma.f64 (*.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))
#s(literal 16 binary64)
#s(literal -4 binary64)

Outputs
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 (neg.f64 i) i #s(literal -1/4 binary64)) (.f64 i i)))
(.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))
(.f64 (fma.f64 (neg.f64 i) i #s(literal -1/4 binary64)) (.f64 i i))
(fma.f64 i i #s(literal 1/4 binary64))
i
#s(literal 1/4 binary64)
(*.f64 (neg.f64 i) i)
(neg.f64 i)
(/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)))
(.f64 (/.f64 i (fma.f64 (.f64 #s(literal 16 binary64) i) i #s(literal -4 binary64))) i)
(*.f64 i i)
i
(fma.f64 (*.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))
(fma.f64 (*.f64 #s(literal 16 binary64) i) i #s(literal -4 binary64))
#s(literal 16 binary64)
#s(literal -4 binary64)

localize91.0ms (1.5%)

Memory

-15.3MiB live, 163.7MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 i i)
accuracy	0.00390625	(fma.f64 (*.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))
accuracy	14.060027002165821	(/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)))
accuracy	0	(*.f64 (neg.f64 i) i)
accuracy	0	(neg.f64 i)
accuracy	0.07259750976844201	(.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))
accuracy	32.40920921505965	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)))

Samples

79.0ms

256×

valid

Compiler

Compiled 74 to 22 computations (70.3% saved)

Precisions

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

ival-mult: 45.0ms (63.6% of total)

ival-sub: 16.0ms (22.6% of total)

ival-div: 6.0ms (8.5% of total)

ival-add: 2.0ms (2.8% of total)

exact: 1.0ms (1.4% of total)

ival-neg: 1.0ms (1.4% of total)

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

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

series6.0ms (0.1%)

Memory

22.5MiB live, 22.5MiB allocated

Counts

8 → 96

Calls

Call 1

Inputs
#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())
#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())
#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())
#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())
#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())
#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())
#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())

Outputs
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4)) (taylor 0 i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt 1/4 (taylor 0 i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/4 (pow i 2)) (taylor 0 i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/4 (pow i 2)) (taylor 0 i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1/4 (pow i 2)) (taylor 0 i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor 0 i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor 0 i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor 0 i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor 0 i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt (* -1/4 (pow i 2)) (taylor 0 i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* -1 (pow i 2)) 1/4)) (taylor 0 i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4)) (taylor 0 i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4)) (taylor 0 i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor 0 i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor 0 i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor 0 i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor 0 i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt -4 (taylor 0 i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 16 (pow i 2)) 4) (taylor 0 i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 16 (pow i 2)) 4) (taylor 0 i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* 16 (pow i 2)) 4) (taylor 0 i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor 0 i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor 0 i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor 0 i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor 0 i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 4)) (taylor inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor inf i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor inf i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor inf i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor inf i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor inf i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor inf i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor inf i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (* 16 (pow i 2)) (taylor inf i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor inf i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor -inf i) (#s(alt #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) (patch #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 4)) (taylor -inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor -inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor -inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2)))))) (taylor -inf i) (#s(alt (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) (patch (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor -inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (fma.f64 i i #s(literal 1/4 binary64)) (patch (fma.f64 i i #s(literal 1/4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor -inf i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor -inf i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor -inf i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow i 2)) (taylor -inf i) (#s(alt (.f64 (neg.f64 i) i) (patch (.f64 (neg.f64 i) i) #<representation binary64>) () ())) ())
#s(alt 1/16 (taylor -inf i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (* 1/64 (/ 1 (pow i 2)))) (taylor -inf i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6)))))) (taylor -inf i) (#s(alt (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) (patch (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor -inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor -inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor -inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (pow i 2) (taylor -inf i) (#s(alt (.f64 i i) (patch (.f64 i i) #<representation binary64>) () ())) ())
#s(alt (* 16 (pow i 2)) (taylor -inf i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2))))) (taylor -inf i) (#s(alt (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) (patch (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor -inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor -inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor -inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())
#s(alt (* -1 i) (taylor -inf i) (#s(alt (neg.f64 i) (patch (neg.f64 i) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

inf

((/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (+ (* i i) 1/4) (* (neg i) i)) (+ (* i i) 1/4) (* (neg i) i) (/ (* i i) (+ (* (* i i) 16) -4)) (* i i) (+ (* (* i i) 16) -4) (neg i))

1.0ms

-inf

((/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (+ (* i i) 1/4) (* (neg i) i)) (+ (* i i) 1/4) (* (neg i) i) (/ (* i i) (+ (* (* i i) 16) -4)) (* i i) (+ (* (* i i) 16) -4) (neg i))

1.0ms

((/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (* (+ (* i i) 1/4) (* (neg i) i)) (+ (* i i) 1/4) (* (neg i) i) (/ (* i i) (+ (* (* i i) 16) -4)) (* i i) (+ (* (* i i) 16) -4) (neg i))

simplify151.0ms (2.6%)

Memory

-13.7MiB live, 301.2MiB allocated

Algorithm

1×	egg-herbie

Rules

14 178×	`lower-fma.f64`
14 178×	`lower-fma.f32`
3 156×	`lower-*.f64`
3 156×	`lower-*.f32`
2 560×	`lower--.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	607
1	133	607
2	336	596
3	971	588
4	2312	588
5	4252	588
6	6685	588
0	8174	564

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 96

Calls

Call 1

Inputs
(* -1/4 (pow i 2))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(* -1/4 (pow i 2))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
1/4
(+ 1/4 (pow i 2))
(+ 1/4 (pow i 2))
(+ 1/4 (pow i 2))
(* -1 (pow i 2))
(* -1 (pow i 2))
(* -1 (pow i 2))
(* -1 (pow i 2))
(* -1/4 (pow i 2))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(pow i 2)
(pow i 2)
(pow i 2)
(pow i 2)
-4
(- (* 16 (pow i 2)) 4)
(- (* 16 (pow i 2)) 4)
(- (* 16 (pow i 2)) 4)
(* -1 i)
(* -1 i)
(* -1 i)
(* -1 i)
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(* -1 (pow i 4))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(pow i 2)
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* -1 (pow i 2))
(* -1 (pow i 2))
(* -1 (pow i 2))
(* -1 (pow i 2))
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(pow i 2)
(pow i 2)
(pow i 2)
(pow i 2)
(* 16 (pow i 2))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(* -1 i)
(* -1 i)
(* -1 i)
(* -1 i)
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(* -1 (pow i 4))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(pow i 2)
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(* -1 (pow i 2))
(* -1 (pow i 2))
(* -1 (pow i 2))
(* -1 (pow i 2))
1/16
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(pow i 2)
(pow i 2)
(pow i 2)
(pow i 2)
(* 16 (pow i 2))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(* -1 i)
(* -1 i)
(* -1 i)
(* -1 i)

Outputs
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(.f64 (neg.f64 (fma.f64 (fma.f64 (pow.f64 i #s(literal 3 binary64)) #s(literal 4 binary64) i) i #s(literal 1/4 binary64))) (.f64 i i))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(.f64 (fma.f64 (pow.f64 i #s(literal 6 binary64)) #s(literal -16 binary64) (neg.f64 (fma.f64 (fma.f64 (pow.f64 i #s(literal 3 binary64)) #s(literal 4 binary64) i) i #s(literal 1/4 binary64)))) (.f64 i i))
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
1/4
#s(literal 1/4 binary64)
(+ 1/4 (pow i 2))
(fma.f64 i i #s(literal 1/4 binary64))
(+ 1/4 (pow i 2))
(fma.f64 i i #s(literal 1/4 binary64))
(+ 1/4 (pow i 2))
(fma.f64 i i #s(literal 1/4 binary64))
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
(* -1/4 (pow i 2))
(.f64 (.f64 i i) #s(literal -1/4 binary64))
(* (pow i 2) (- (* -1 (pow i 2)) 1/4))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* (pow i 2) (- (* (pow i 2) (- (* -4 (pow i 2)) 1)) 1/4))
(.f64 (neg.f64 (fma.f64 (fma.f64 (pow.f64 i #s(literal 3 binary64)) #s(literal 4 binary64) i) i #s(literal 1/4 binary64))) (.f64 i i))
(* (pow i 2) (- (* (pow i 2) (- (* (pow i 2) (- (* -16 (pow i 2)) 4)) 1)) 1/4))
(.f64 (fma.f64 (pow.f64 i #s(literal 6 binary64)) #s(literal -16 binary64) (neg.f64 (fma.f64 (fma.f64 (pow.f64 i #s(literal 3 binary64)) #s(literal 4 binary64) i) i #s(literal 1/4 binary64)))) (.f64 i i))
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
-4
#s(literal -4 binary64)
(- (* 16 (pow i 2)) 4)
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(- (* 16 (pow i 2)) 4)
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(- (* 16 (pow i 2)) 4)
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
(* -1 (pow i 4))
(neg.f64 (pow.f64 i #s(literal 4 binary64)))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(pow i 2)
(*.f64 i i)
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(* 16 (pow i 2))
(.f64 #s(literal 16 binary64) (.f64 i i))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
(* -1 (pow i 4))
(neg.f64 (pow.f64 i #s(literal 4 binary64)))
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(* -1 (* (pow i 4) (+ 1 (* 1/4 (/ 1 (pow i 2))))))
(.f64 (.f64 (-.f64 #s(literal -1/4 binary64) (*.f64 i i)) i) i)
(pow i 2)
(*.f64 i i)
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* (pow i 2) (+ 1 (* 1/4 (/ 1 (pow i 2)))))
(fma.f64 i i #s(literal 1/4 binary64))
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
(* -1 (pow i 2))
(*.f64 (neg.f64 i) i)
1/16
#s(literal 1/16 binary64)
(+ 1/16 (* 1/64 (/ 1 (pow i 2))))
(+.f64 (/.f64 #s(literal 1/64 binary64) (*.f64 i i)) #s(literal 1/16 binary64))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (* 1/64 (/ 1 (pow i 2)))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (/.f64 #s(literal 1/64 binary64) (*.f64 i i)))
(+ 1/16 (+ (/ 1/256 (pow i 4)) (+ (* 1/64 (/ 1 (pow i 2))) (* 1/1024 (/ 1 (pow i 6))))))
(+.f64 (+.f64 (/.f64 #s(literal 1/256 binary64) (pow.f64 i #s(literal 4 binary64))) #s(literal 1/16 binary64)) (+.f64 (/.f64 #s(literal 1/1024 binary64) (pow.f64 i #s(literal 6 binary64))) (/.f64 #s(literal 1/64 binary64) (*.f64 i i))))
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(pow i 2)
(*.f64 i i)
(* 16 (pow i 2))
(.f64 #s(literal 16 binary64) (.f64 i i))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* (pow i 2) (- 16 (* 4 (/ 1 (pow i 2)))))
(fma.f64 #s(literal 16 binary64) (*.f64 i i) #s(literal -4 binary64))
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)
(* -1 i)
(neg.f64 i)

rewrite178.0ms (3%)

Memory

26.2MiB live, 218.1MiB allocated

Rules

7 706×	`lower-fma.f32`
7 702×	`lower-fma.f64`
6 438×	`lower-*.f32`
6 432×	`lower-*.f64`
3 838×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	73
0	29	67
1	134	65
2	1041	61
0	8946	60

Stop Event

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

Counts

8 → 352

Calls

Call 1

Inputs
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)))
(.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))
(fma.f64 i i #s(literal 1/4 binary64))
(*.f64 (neg.f64 i) i)
(/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)))
(*.f64 i i)
(fma.f64 (*.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))
(neg.f64 i)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval100.0ms (1.7%)

Memory: -30.4MiB live, 133.6MiB allocated
Compiler: Compiled 7 661 to 1 237 computations (83.9% saved)

prune13.0ms (0.2%)

Memory

-1.0MiB live, 48.9MiB allocated

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	476	0	476
Fresh	0	0	0
Picked	0	2	2
Done	0	3	3
Total	476	5	481

Accuracy

100.0%

Counts

481 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	77.3%	(/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)))
✓	49.4%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)))
✓	49.4%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))
✓	49.1%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i)))
✓	52.1%	#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Compiler

Compiled 113 to 61 computations (46% saved)

regimes7.0ms (0.1%)

Memory

-19.0MiB live, 20.3MiB allocated

Counts

7 → 2

Calls

Call 1

Inputs
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i)))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)))
(/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)))
(/.f64 (.f64 i i) (.f64 #s(literal 4 binary64) (fma.f64 #s(literal 4 binary64) (*.f64 i i) #s(literal -1 binary64))))
(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Outputs
(/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64)))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Calls

2 calls:

3.0ms

2.0ms

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
100.0%	2	`i`
77.3%	1	`(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))`

Compiler

Compiled 26 to 11 computations (57.7% saved)

regimes2.0ms (0%)

Memory

8.2MiB live, 8.2MiB allocated

Counts

4 → 2

Calls

Call 1

Inputs
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i)))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i)))

Outputs

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (*.f64 (fma.f64 i i #s(literal 1/4 binary64)) (*.f64 (neg.f64 i) i)))

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
99.8%	2	`i`

Compiler

Compiled 1 to 1 computations (0% saved)

regimes2.0ms (0%)

Memory

10.9MiB live, 10.9MiB allocated

Counts

3 → 2

Calls

Call 1

Inputs

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (*.f64 #s(literal -1/4 binary64) (*.f64 i i)))

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (*.f64 (*.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))

Outputs

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (*.f64 (*.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i)))

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
99.8%	2	`i`

Compiler

Compiled 1 to 1 computations (0% saved)

regimes2.0ms (0%)

Memory

8.5MiB live, 8.5MiB allocated

Counts

2 → 2

Calls

Call 1

Inputs

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (*.f64 #s(literal -1/4 binary64) (*.f64 i i)))

Outputs

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (*.f64 #s(literal -1/4 binary64) (*.f64 i i)))

#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
99.5%	2	`i`

Compiler

Compiled 1 to 1 computations (0% saved)

regimes3.0ms (0.1%)

Memory

-25.8MiB live, 13.6MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Outputs
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Calls

2 calls:

2.0ms

(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))) (-.f64 (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))

1.0ms

Results

Accuracy	Segments	Branch
52.1%	1	`(/.f64 (/.f64 (.f64 (.f64 i i) (.f64 i i)) (.f64 (.f64 #s(literal 2 binary64) i) (.f64 #s(literal 2 binary64) i))) (-.f64 (.f64 (.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)) #s(literal 1 binary64)))`
52.1%	1	`i`

Compiler

Compiled 26 to 11 computations (57.7% saved)

bsearch14.0ms (0.2%)

Memory

34.7MiB live, 34.6MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	predicate-same

Steps

Time	Left	Right
12.0ms	0.019668463454339386	52116226.61965493

Samples

8.0ms

128×

valid

Compiler

Compiled 124 to 102 computations (17.7% saved)

Precisions

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

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

ival-sub: 1.0ms (19.3% of total)

ival-div: 1.0ms (19.3% of total)

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

exact: 0.0ms (0% of total)

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

bsearch38.0ms (0.7%)

Memory

-22.3MiB live, 16.6MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
36.0ms	0.019668463454339386	52116226.61965493

Samples

8.0ms

128×

valid

Compiler

Compiled 136 to 122 computations (10.3% saved)

Precisions

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

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

ival-sub: 1.0ms (19% of total)

ival-div: 1.0ms (19% of total)

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

exact: 0.0ms (0% of total)

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

bsearch1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.019668463454339386	52116226.61965493

Compiler

Compiled 136 to 122 computations (10.3% saved)

bsearch1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
1.0ms	0.019668463454339386	52116226.61965493

Compiler

Compiled 100 to 104 computations (-4% saved)

simplify43.0ms (0.7%)

Memory

1.0MiB live, 41.6MiB allocated

Algorithm

1×	egg-herbie

Rules

26×	`-commutative-binary64-.f64`
14×	`neg-sub0-binary64--.f64-neg.f64`
14×	`neg-mul-1-binary64-*.f64-neg.f64`
12×	`+-commutative-binary64-+.f64`
12×	`sub-neg-binary64-neg.f64-+.f64--.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	262
1	51	262
2	65	262
3	84	262
4	92	262
5	96	262
6	97	262

Stop Event

1×

saturated

Calls

Call 1

Inputs
(if (<=.f64 i #s(literal 50000000 binary64)) (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)))
(if (<=.f64 i #s(literal 1/2 binary64)) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)))
(if (<=.f64 i #s(literal 1/2 binary64)) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)))
(if (<=.f64 i #s(literal 1/2 binary64)) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

Outputs
(if (<=.f64 i #s(literal 50000000 binary64)) (/.f64 (.f64 i i) (fma.f64 (.f64 i i) #s(literal 16 binary64) #s(literal -4 binary64))) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)))
(if (<=.f64 i #s(literal 1/2 binary64)) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (fma.f64 i i #s(literal 1/4 binary64)) (.f64 (neg.f64 i) i))) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)))
(if (<=.f64 i #s(literal 1/2 binary64)) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (neg.f64 i) i) (fma.f64 i i #s(literal 1/4 binary64)))) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)))
(if (<=.f64 i #s(literal 1/2 binary64)) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 (.f64 (fma.f64 i i #s(literal 1/4 binary64)) i) (neg.f64 i))) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)))
(if (<=.f64 i #s(literal 1/2 binary64)) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) (.f64 #s(literal -1/4 binary64) (.f64 i i))) #s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64)))
#s(approx (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1)) #s(literal 1/16 binary64))

soundness707.0ms (12.1%)

Memory

21.2MiB live, 440.2MiB allocated

Rules

16 840×	`lower-fma.f64`
16 840×	`lower-fma.f32`
6 714×	`lower-fma.f32`
6 710×	`lower-fma.f64`
5 040×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	148
0	37	127
1	164	116
2	1177	96
0	8844	95
0	10	63
0	17	47
1	75	41
2	653	29
0	8740	27
0	49	365
1	94	365
2	218	364
3	505	360
4	1055	360
5	2101	360
6	3988	360
7	6169	360
0	8132	348

Stop Event

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

Compiler

Compiled 147 to 82 computations (44.2% saved)

preprocess49.0ms (0.8%)

Memory: 13.9MiB live, 98.3MiB allocated
Remove: (abs i)
Compiler: Compiled 206 to 98 computations (52.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze3.0ms (0%)

sample1.3s (22.5%)

explain332.0ms (5.7%)

preprocess375.0ms (6.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify203.0ms (3.5%)

localize81.0ms (1.4%)

series108.0ms (1.9%)

simplify262.0ms (4.5%)

rewrite189.0ms (3.2%)

eval123.0ms (2.1%)

prune14.0ms (0.2%)

simplify231.0ms (4%)

localize61.0ms (1%)

series11.0ms (0.2%)

simplify437.0ms (7.5%)

rewrite182.0ms (3.1%)

eval211.0ms (3.6%)

prune74.0ms (1.3%)

simplify222.0ms (3.8%)

localize91.0ms (1.5%)

series6.0ms (0.1%)

simplify151.0ms (2.6%)

rewrite178.0ms (3%)

eval100.0ms (1.7%)

prune13.0ms (0.2%)

regimes7.0ms (0.1%)

regimes2.0ms (0%)

regimes2.0ms (0%)

regimes2.0ms (0%)

regimes3.0ms (0.1%)

bsearch14.0ms (0.2%)

bsearch38.0ms (0.7%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

simplify43.0ms (0.7%)

soundness707.0ms (12.1%)

preprocess49.0ms (0.8%)

end0.0ms (0%)

Profiling