Metrics for Expanding a square

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample767.0ms (20.6%)

Memory

27.6MiB live, 710.1MiB allocated

Samples

234.0ms	2 400×	1	valid
161.0ms	1 568×	2	valid
153.0ms	4 288×	0	valid

Precisions

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

ival-mult: 135.0ms (36.9% of total)

ival-add: 86.0ms (23.5% of total)

adjust: 71.0ms (19.4% of total)

ival-sub: 61.0ms (16.7% of total)

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

exact: 4.0ms (1.1% of total)

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

Bogosity

explain107.0ms (2.9%)

Memory

-9.5MiB live, 80.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
136	1	(-0.0006051661457054871)	1	(-0.0069798471463388976)	`(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))`
0	0	-	0	-	`(+.f64 x #s(literal 1 binary64))`
0	0	-	0	-	`(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))`
0	0	-	0	-	`#s(literal 1 binary64)`
0	0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))`	cancellation	136	1

Confusion

	Predicted +	Predicted -
+	135	1
-	1	119

Precision

0.9926470588235294

Recall

0.9926470588235294

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	135	1	0
-	1	0	119

Precision?

0.9927007299270073

Recall?

1.0

Freqs

test

number	freq
0	120
1	136

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

14.0ms	124×	2	valid
11.0ms	140×	1	valid
9.0ms	248×	0	valid

Compiler

Compiled 55 to 19 computations (65.5% saved)

Precisions

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

adjust: 5.0ms (25.1% of total)

ival-add: 5.0ms (25.1% of total)

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

ival-sub: 4.0ms (20.1% of total)

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

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

exact: 0.0ms (0% of total)

preprocess391.0ms (10.5%)

Memory

2.3MiB live, 192.6MiB allocated

Algorithm

1×	egg-herbie

Rules

13 298×	`lower-fma.f64`
13 298×	`lower-fma.f32`
3 478×	`lower-+.f32`
3 476×	`lower-+.f64`
2 492×	`lower-*.f32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	7	23
1	26	19
2	88	13
3	328	10
4	1361	10
5	3610	10
6	4907	10
7	5634	10
8	5972	10
9	6053	10
10	6063	10
11	6407	10
12	6575	10
13	6596	10
14	6827	10
15	6841	10
16	6923	10
17	7003	10
18	7040	10
19	7040	10
20	7040	10
21	7044	10
22	7044	10
0	5	9
0	8	9
1	23	7
2	52	5
3	115	5
4	487	5
5	1667	5
6	4146	5
7	5949	5
8	7292	5
0	8168	5

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

Outputs
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
(*.f64 (-.f64 x #s(literal -2 binary64)) x)

Compiler

Compiled 9 to 5 computations (44.4% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	51.1%	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

Compiler

Compiled 9 to 5 computations (44.4% saved)

simplify221.0ms (5.9%)

Memory

0.4MiB live, 139.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 x #s(literal 1 binary64))
cost-diff	128	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
cost-diff	256	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

New

Metric

Score

Program

cost-diff

(+.f64 x #s(literal 1 binary64))

cost-diff

128

(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))

cost-diff

256

(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

Rules

13 298×	`lower-fma.f64`
13 298×	`lower-fma.f32`
3 478×	`lower-+.f32`
3 476×	`lower-+.f64`
2 492×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	21
0	8	21
1	23	19
2	52	17
3	115	17
4	487	17
5	1667	17
6	4146	17
7	5949	17
8	7292	17
0	8168	16

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
(+.f64 x #s(literal 1 binary64))
x
#s(literal 1 binary64)

Outputs
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
(*.f64 (-.f64 x #s(literal -2 binary64)) x)
(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
(fma.f64 (-.f64 x #s(literal -2 binary64)) x #s(literal 1 binary64))
(+.f64 x #s(literal 1 binary64))
(-.f64 x #s(literal -1 binary64))
x
#s(literal 1 binary64)

localize23.0ms (0.6%)

Memory

-14.8MiB live, 15.9MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
accuracy	0	(+.f64 x #s(literal 1 binary64))
accuracy	0.02734375	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
accuracy	31.268316758293395	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

New

Metric

Score

Program

accuracy

(+.f64 x #s(literal 1 binary64))

accuracy

0.02734375

(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))

accuracy

31.268316758293395

(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

Samples

7.0ms	62×	2	valid
5.0ms	70×	1	valid
5.0ms	124×	0	valid

Compiler

Compiled 23 to 7 computations (69.6% saved)

Precisions

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

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

adjust: 2.0ms (20.4% of total)

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

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

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

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

exact: 0.0ms (0% of total)

series2.0ms (0.1%)

Memory

1.8MiB live, 1.8MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs
#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())

Inputs

#s(alt (-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())

#s(alt (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())

#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())

Outputs
#s(alt (* 2 x) (taylor 0 x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* 2 x)) (taylor 0 x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* x (+ 2 x))) (taylor 0 x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* x (+ 2 x))) (taylor 0 x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 x) (taylor 0 x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 x) (taylor 0 x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 x) (taylor 0 x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2))))) (taylor inf x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2))))) (taylor inf x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor inf x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor inf x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor inf x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) (patch (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) (patch (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor -inf x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor -inf x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor -inf x) (#s(alt (+.f64 x #s(literal 1 binary64)) (patch (+.f64 x #s(literal 1 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	-inf	((- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (+ x 1))
0.0ms	x	@	0	((- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (+ x 1))
0.0ms	x	@	inf	((- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (+ x 1))

simplify206.0ms (5.5%)

Memory

9.9MiB live, 100.6MiB allocated

Algorithm

1×	egg-herbie

Rules

23 092×	`lower-fma.f64`
23 092×	`lower-fma.f32`
5 874×	`lower-*.f64`
5 874×	`lower-*.f32`
2 612×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	148
1	58	148
2	115	148
3	290	148
4	561	148
5	2376	148
6	3744	148
7	4603	148
8	5228	148
9	6074	148
10	6411	148
11	6675	148
0	8086	141

Stop Event

1×	iter limit
1×	node limit

Counts

36 → 34

Calls

Call 1

Inputs
(* 2 x)
(* x (+ 2 x))
(* x (+ 2 x))
(* x (+ 2 x))
1
(+ 1 (* 2 x))
(+ 1 (* x (+ 2 x)))
(+ 1 (* x (+ 2 x)))
1
(+ 1 x)
(+ 1 x)
(+ 1 x)
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
x
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
x
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))

Outputs
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
1
#s(literal 1 binary64)
(+ 1 (* 2 x))
(fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64))
(+ 1 (* x (+ 2 x)))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
(+ 1 (* x (+ 2 x)))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
1
#s(literal 1 binary64)
(+ 1 x)
(+.f64 #s(literal 1 binary64) x)
(+ 1 x)
(+.f64 #s(literal 1 binary64) x)
(+ 1 x)
(+.f64 #s(literal 1 binary64) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
x
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
x
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)

rewrite147.0ms (4%)

Memory

20.8MiB live, 118.0MiB allocated

Rules

5 388×	`lower-fma.f64`
5 388×	`lower-fma.f32`
3 116×	`lower-*.f32`
3 114×	`lower-*.f64`
2 562×	`lower-/.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	5	19
0	8	15
1	48	15
2	379	13
3	6334	13
0	8237	13

Stop Event

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

Counts

3 → 600

Calls

Call 1

Inputs

(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))

(+.f64 x #s(literal 1 binary64))

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>

eval87.0ms (2.3%)

Memory: -21.3MiB live, 104.8MiB allocated
Compiler: Compiled 14 600 to 1 684 computations (88.5% saved)

prune12.0ms (0.3%)

Memory

3.5MiB live, 35.2MiB allocated

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	723	5	728
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	724	5	729

Accuracy

100.0%

Counts

729 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)
▶	4.0%	(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
▶	100.0%	(*.f64 (+.f64 #s(literal 2 binary64) x) x)
▶	47.5%	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
▶	54.4%	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))

Compiler

Compiled 46 to 38 computations (17.4% saved)

simplify167.0ms (4.5%)

Memory

-3.7MiB live, 58.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

New	Metric	Score
cost-diff	0	(+.f64 #s(literal 2 binary64) x)
cost-diff	0	(*.f64 (+.f64 #s(literal 2 binary64) x) x)
cost-diff	0	(*.f64 x x)
cost-diff	0	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
cost-diff	0	(*.f64 x #s(literal 2 binary64))
cost-diff	0	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))
cost-diff	0	#s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64))
cost-diff	0	(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
cost-diff	0	(+.f64 #s(literal 1 binary64) x)
cost-diff	64	(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)

Rules

13 344×	`lower-fma.f32`
13 342×	`lower-fma.f64`
3 492×	`lower-+.f32`
3 488×	`lower-+.f64`
2 440×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	77
0	24	78
1	50	72
2	77	68
3	133	68
4	501	68
5	1688	68
6	4169	68
7	5976	68
8	7328	68
0	8109	66

Stop Event

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

Calls

Call 1

Inputs
(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)
(+.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)
x
(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
#s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
x
#s(literal 2 binary64)
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
(*.f64 x x)
x
(*.f64 (+.f64 #s(literal 2 binary64) x) x)
(+.f64 #s(literal 2 binary64) x)
#s(literal 2 binary64)
x

Outputs
(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)
(*.f64 (-.f64 x #s(literal -2 binary64)) x)
(+.f64 #s(literal 1 binary64) x)
(-.f64 x #s(literal -1 binary64))
#s(literal 1 binary64)
x
(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
#s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 #s(literal 2 binary64) x))
(*.f64 x #s(literal 2 binary64))
(*.f64 #s(literal 2 binary64) x)
x
#s(literal 2 binary64)
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
(*.f64 x x)
x
(*.f64 (+.f64 #s(literal 2 binary64) x) x)
(*.f64 (-.f64 x #s(literal -2 binary64)) x)
(+.f64 #s(literal 2 binary64) x)
(-.f64 x #s(literal -2 binary64))
#s(literal 2 binary64)
x

localize43.0ms (1.2%)

Memory

18.7MiB live, 18.7MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 #s(literal 2 binary64) x)
accuracy	0.01171875	(*.f64 (+.f64 #s(literal 2 binary64) x) x)
accuracy	0	(*.f64 x x)
accuracy	33.57992500740284	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
accuracy	0	(*.f64 x #s(literal 2 binary64))
accuracy	29.21027241501219	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))
accuracy	29.098617398927118	#s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64))
accuracy	31.268316758293395	(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
accuracy	0	(+.f64 #s(literal 1 binary64) x)
accuracy	0.00390625	(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)

Samples

13.0ms	62×	2	valid
10.0ms	124×	0	valid
10.0ms	70×	1	valid

Compiler

Compiled 68 to 15 computations (77.9% saved)

Precisions

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

ival-mult: 8.0ms (37.5% of total)

ival-add: 6.0ms (28.1% of total)

adjust: 5.0ms (23.4% of total)

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

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

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

exact: 0.0ms (0% of total)

series7.0ms (0.2%)

Memory

3.4MiB live, 3.4MiB allocated

Counts

10 → 120

Calls

Call 1

Inputs
#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())
#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())
#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())
#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())
#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())
#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())
#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())

Outputs
#s(alt (* 2 x) (taylor 0 x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 x) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 x) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (+ 1 x) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* 2 x)) (taylor 0 x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* x (+ 2 x))) (taylor 0 x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* x (+ 2 x))) (taylor 0 x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 x)) (taylor 0 x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt 2 (taylor 0 x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (+ 2 x) (taylor 0 x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (+ 2 x) (taylor 0 x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (+ 2 x) (taylor 0 x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2))))) (taylor inf x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2))))) (taylor inf x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt x (taylor inf x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 2 (/ 1 x)))) (taylor inf x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) (patch (fma.f64 (+.f64 #s(literal 1 binary64) x) x x) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (/ 1 x))) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) x) (patch (+.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) (patch (-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) (patch #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64))) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor -inf x) (#s(alt (.f64 x #s(literal 2 binary64)) (patch (.f64 x #s(literal 2 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt #s(approx (- (* (+ x 1) (+ x 1)) 1) (.f64 x x)) (patch #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (.f64 (+.f64 #s(literal 2 binary64) x) x) (patch (.f64 (+.f64 #s(literal 2 binary64) x) x) #<representation binary64>) () ())) ())
#s(alt x (taylor -inf x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 2 (/ 1 x)))) (taylor -inf x) (#s(alt (+.f64 #s(literal 2 binary64) x) (patch (+.f64 #s(literal 2 binary64) x) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

2.0ms

-inf

((+ (* (+ 1 x) x) x) (+ 1 x) (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (- (* (+ x 1) (+ x 1)) 1) (* x 2) (- (* (+ x 1) (+ x 1)) 1) (* x x) (* (+ 2 x) x) (+ 2 x))

1.0ms

((+ (* (+ 1 x) x) x) (+ 1 x) (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (- (* (+ x 1) (+ x 1)) 1) (* x 2) (- (* (+ x 1) (+ x 1)) 1) (* x x) (* (+ 2 x) x) (+ 2 x))

1.0ms

inf

((+ (* (+ 1 x) x) x) (+ 1 x) (- (* (+ x 1) (+ x 1)) 1) (* (+ x 1) (+ x 1)) (- (* (+ x 1) (+ x 1)) 1) (* x 2) (- (* (+ x 1) (+ x 1)) 1) (* x x) (* (+ 2 x) x) (+ 2 x))

simplify488.0ms (13.1%)

Memory

-12.3MiB live, 86.1MiB allocated

Algorithm

1×	egg-herbie

Rules

23 092×	`lower-fma.f64`
23 092×	`lower-fma.f32`
5 950×	`lower-*.f64`
5 950×	`lower-*.f32`
2 612×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	466
1	64	466
2	127	466
3	256	466
4	529	466
5	2260	466
6	3590	466
7	4443	466
8	5060	466
9	5905	466
10	6242	466
11	6507	466
12	7906	466
0	8025	459

Stop Event

1×	iter limit
1×	node limit

Counts

120 → 116

Calls

Call 1

Inputs
(* 2 x)
(* x (+ 2 x))
(* x (+ 2 x))
(* x (+ 2 x))
1
(+ 1 x)
(+ 1 x)
(+ 1 x)
(* 2 x)
(* x (+ 2 x))
(* x (+ 2 x))
(* x (+ 2 x))
1
(+ 1 (* 2 x))
(+ 1 (* x (+ 2 x)))
(+ 1 (* x (+ 2 x)))
(* 2 x)
(* x (+ 2 x))
(* x (+ 2 x))
(* x (+ 2 x))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(* x (+ 2 x))
(* x (+ 2 x))
(* x (+ 2 x))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* 2 x)
(* x (+ 2 x))
(* x (+ 2 x))
(* x (+ 2 x))
2
(+ 2 x)
(+ 2 x)
(+ 2 x)
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
x
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
x
(* x (+ 1 (* 2 (/ 1 x))))
(* x (+ 1 (* 2 (/ 1 x))))
(* x (+ 1 (* 2 (/ 1 x))))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
x
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
(* x (+ 1 (/ 1 x)))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* 2 x)
(* 2 x)
(* 2 x)
(* 2 x)
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
x
(* x (+ 1 (* 2 (/ 1 x))))
(* x (+ 1 (* 2 (/ 1 x))))
(* x (+ 1 (* 2 (/ 1 x))))

Outputs
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
1
#s(literal 1 binary64)
(+ 1 x)
(+.f64 #s(literal 1 binary64) x)
(+ 1 x)
(+.f64 #s(literal 1 binary64) x)
(+ 1 x)
(+.f64 #s(literal 1 binary64) x)
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
1
#s(literal 1 binary64)
(+ 1 (* 2 x))
(fma.f64 x #s(literal 2 binary64) #s(literal 1 binary64))
(+ 1 (* x (+ 2 x)))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
(+ 1 (* x (+ 2 x)))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* x (+ 2 x))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
2
#s(literal 2 binary64)
(+ 2 x)
(+.f64 x #s(literal 2 binary64))
(+ 2 x)
(+.f64 x #s(literal 2 binary64))
(+ 2 x)
(+.f64 x #s(literal 2 binary64))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
x
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
x
(* x (+ 1 (* 2 (/ 1 x))))
(+.f64 x #s(literal 2 binary64))
(* x (+ 1 (* 2 (/ 1 x))))
(+.f64 x #s(literal 2 binary64))
(* x (+ 1 (* 2 (/ 1 x))))
(+.f64 x #s(literal 2 binary64))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
x
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(* x (+ 1 (/ 1 x)))
(+.f64 #s(literal 1 binary64) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (+ (* 2 (/ 1 x)) (/ 1 (pow x 2)))))
(fma.f64 (+.f64 x #s(literal 2 binary64)) x #s(literal 1 binary64))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(* 2 x)
(*.f64 x #s(literal 2 binary64))
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
(* (pow x 2) (+ 1 (* 2 (/ 1 x))))
(*.f64 (+.f64 x #s(literal 2 binary64)) x)
x
(* x (+ 1 (* 2 (/ 1 x))))
(+.f64 x #s(literal 2 binary64))
(* x (+ 1 (* 2 (/ 1 x))))
(+.f64 x #s(literal 2 binary64))
(* x (+ 1 (* 2 (/ 1 x))))
(+.f64 x #s(literal 2 binary64))

rewrite167.0ms (4.5%)

Memory

-6.2MiB live, 92.6MiB allocated

Rules

6 564×	`lower-fma.f32`
6 562×	`lower-fma.f64`
3 928×	`lower-/.f64`
3 928×	`lower-/.f32`
3 682×	`lower-*.f32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	16	69
0	24	62
1	114	60
2	860	56
0	8401	56

Stop Event

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

Counts

10 → 689

Calls

Call 1

Inputs
(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)
(+.f64 #s(literal 1 binary64) x)
(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
#s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))
(*.f64 x #s(literal 2 binary64))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
(*.f64 x x)
(*.f64 (+.f64 #s(literal 2 binary64) x) x)
(+.f64 #s(literal 2 binary64) x)

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>

eval119.0ms (3.2%)

Memory: 18.9MiB live, 77.7MiB allocated
Compiler: Compiled 15 173 to 1 166 computations (92.3% saved)

prune39.0ms (1%)

Memory

-27.3MiB live, 40.6MiB allocated

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	805	0	805
Fresh	0	0	0
Picked	0	5	5
Done	0	0	0
Total	805	5	810

Accuracy

100.0%

Counts

810 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)
✓	4.0%	(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
✓	100.0%	(*.f64 (+.f64 #s(literal 2 binary64) x) x)
✓	47.5%	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
✓	54.4%	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))

Compiler

Compiled 55 to 35 computations (36.4% saved)

regimes10.0ms (0.3%)

Memory

13.4MiB live, 13.4MiB allocated

Counts

6 → 1

Calls

Call 1

Inputs
(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
(*.f64 (+.f64 #s(literal 2 binary64) x) x)
(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

Outputs
(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)

Calls

4 calls:

2.0ms	x
2.0ms	(+.f64 x #s(literal 1 binary64))
2.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
2.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))`
100.0%	1	`(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))`
100.0%	1	`(+.f64 x #s(literal 1 binary64))`

Compiler

Compiled 20 to 13 computations (35% saved)

regimes7.0ms (0.2%)

Memory

11.1MiB live, 11.1MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
(*.f64 (+.f64 #s(literal 2 binary64) x) x)

Outputs
(*.f64 (+.f64 #s(literal 2 binary64) x) x)

Calls

4 calls:

2.0ms	x
2.0ms	(+.f64 x #s(literal 1 binary64))
2.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
2.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))`
100.0%	1	`(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))`
100.0%	1	`(+.f64 x #s(literal 1 binary64))`

Compiler

Compiled 20 to 13 computations (35% saved)

regimes9.0ms (0.2%)

Memory

-21.2MiB live, 8.5MiB allocated

Counts

3 → 2

Calls

Call 1

Inputs

(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))

#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))

#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))

Outputs
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))

Calls

4 calls:

4.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
2.0ms	x
2.0ms	(+.f64 x #s(literal 1 binary64))
1.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
96.8%	3	`x`
96.8%	2	`(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))`
96.8%	2	`(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))`
96.8%	3	`(+.f64 x #s(literal 1 binary64))`

Compiler

Compiled 20 to 13 computations (35% saved)

regimes6.0ms (0.2%)

Memory

8.3MiB live, 8.3MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs
(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))

Outputs
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))

Calls

4 calls:

1.0ms	x
1.0ms	(+.f64 x #s(literal 1 binary64))
1.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
1.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

Results

Accuracy	Segments	Branch
54.4%	1	`x`
54.4%	1	`(+.f64 x #s(literal 1 binary64))`
54.4%	1	`(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))`
54.4%	1	`(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))`

Compiler

Compiled 20 to 13 computations (35% saved)

regimes5.0ms (0.1%)

Memory

7.5MiB live, 7.5MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))

Outputs
(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))

Calls

4 calls:

1.0ms	x
1.0ms	(+.f64 x #s(literal 1 binary64))
1.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
1.0ms	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
4.0%	1	`x`
4.0%	1	`(+.f64 x #s(literal 1 binary64))`
4.0%	1	`(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))`
4.0%	1	`(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))`

Compiler

Compiled 20 to 13 computations (35% saved)

bsearch0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.7847006035776942	31711.460842369925

Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify21.0ms (0.6%)

Memory

3.0MiB live, 32.9MiB allocated

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative-binary64-+.f64`
6×	`-commutative-binary64-.f64`
4×	`neg-mul-1-binary64-*.f64-neg.f64`
4×	`unsub-neg-binary64--.f64-neg.f64-+.f64`
4×	`sub-neg-binary64-neg.f64-+.f64--.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	71
1	29	71
2	33	71
3	36	71
4	39	71
5	42	71

Stop Event

1×

saturated

Calls

Call 1

Inputs
(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)
(*.f64 (+.f64 #s(literal 2 binary64) x) x)
(if (<=.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 2 binary64)) #s(approx (- ( (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))
(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))

Outputs
(fma.f64 (+.f64 #s(literal 1 binary64) x) x x)
(fma.f64 (+.f64 x #s(literal 1 binary64)) x x)
(*.f64 (+.f64 #s(literal 2 binary64) x) x)
(if (<=.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 2 binary64)) #s(approx (- ( (+ x 1) (+ x 1)) 1) (.f64 x #s(literal 2 binary64))) #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)))
(if (<=.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 2 binary64)) #s(approx (- ( (+ x 1) (+ x 1)) 1) (.f64 #s(literal 2 binary64) x)) #s(approx (- ( (+ x 1) (+ x 1)) 1) (*.f64 x x)))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))
#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 #s(literal 2 binary64) x))
(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))

soundness591.0ms (15.9%)

Memory

-18.3MiB live, 111.5MiB allocated

Rules

23 092×	`lower-fma.f64`
23 092×	`lower-fma.f32`
5 874×	`lower-*.f64`
5 874×	`lower-*.f32`
5 388×	`lower-fma.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	5	19
0	8	15
1	48	15
2	379	13
3	6334	13
0	8237	13
0	20	148
1	58	148
2	115	148
3	290	148
4	561	148
5	2376	148
6	3744	148
7	4603	148
8	5228	148
9	6074	148
10	6411	148
11	6675	148
0	8086	141

Stop Event

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

Compiler

Compiled 84 to 43 computations (48.8% saved)

preprocess78.0ms (2.1%)

Memory: 9.9MiB live, 51.2MiB allocated
Compiler: Compiled 92 to 42 computations (54.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample767.0ms (20.6%)

explain107.0ms (2.9%)

preprocess391.0ms (10.5%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify221.0ms (5.9%)

localize23.0ms (0.6%)

series2.0ms (0.1%)

simplify206.0ms (5.5%)

rewrite147.0ms (4%)

eval87.0ms (2.3%)

prune12.0ms (0.3%)

simplify167.0ms (4.5%)

localize43.0ms (1.2%)

series7.0ms (0.2%)

simplify488.0ms (13.1%)

rewrite167.0ms (4.5%)

eval119.0ms (3.2%)

prune39.0ms (1%)

regimes10.0ms (0.3%)

regimes7.0ms (0.2%)

regimes9.0ms (0.2%)

regimes6.0ms (0.2%)

regimes5.0ms (0.1%)

bsearch0.0ms (0%)

simplify21.0ms (0.6%)

soundness591.0ms (15.9%)

preprocess78.0ms (2.1%)

end0.0ms (0%)

Profiling