Metrics for Expanding a square

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.5MiB live, 0.4MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample656.0ms (17.3%)

Memory

27.6MiB live, 613.7MiB allocated

Samples

230.0ms	3 172×	1	valid
213.0ms	5 080×	0	valid
0.0ms	4×	2	valid

Precisions

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

ival-mult: 73.0ms (29.7% of total)

ival-add: 64.0ms (26% of total)

ival-sub: 54.0ms (22% of total)

adjust: 42.0ms (17.1% of total)

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

exact: 4.0ms (1.6% of total)

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

Bogosity

explain111.0ms (2.9%)

Memory

-14.9MiB live, 75.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
110	-	-	`(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))`
0	-	-	`(+.f64 x #s(literal 1 binary64))`
0	-	-	`(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))`
0	-	-	`#s(literal 1 binary64)`
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	110	0

Confusion

	Predicted +	Predicted -
+	110	1
-	0	145

Precision

1.0

Recall

0.990990990990991

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	110	0	1
-	0	0	145

Precision?

1.0

Recall?

0.990990990990991

Freqs

test

number	freq
0	146
1	110

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

18.0ms	360×	0	valid
12.0ms	152×	1	valid

Compiler

Compiled 76 to 24 computations (68.4% saved)

Precisions

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

ival-add: 7.0ms (39.6% of total)

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

ival-sub: 3.0ms (17% of total)

adjust: 2.0ms (11.3% of total)

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

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

exact: 0.0ms (0% of total)

preprocess440.0ms (11.6%)

Memory

-2.2MiB live, 189.2MiB allocated

Algorithm

1×	egg-herbie

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

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	59.8%	(-.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)

simplify138.0ms (3.6%)

Memory

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

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)

localize20.0ms (0.5%)

Memory

-11.2MiB live, 18.1MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
accuracy	0	(+.f64 x #s(literal 1 binary64))
accuracy	0.0078125	(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))
accuracy	25.72112660695824	(-.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.0078125

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

accuracy

25.72112660695824

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

Samples

9.0ms	76×	1	valid
7.0ms	180×	0	valid

Compiler

Compiled 44 to 12 computations (72.7% saved)

Precisions

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

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

ival-mult: 2.0ms (21% of total)

adjust: 1.0ms (10.5% of total)

ival-sub: 1.0ms (10.5% 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

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

simplify449.0ms (11.8%)

Memory

-5.4MiB live, 157.1MiB allocated

Algorithm

1×	egg-herbie

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)

rewrite155.0ms (4.1%)

Memory

14.5MiB live, 109.1MiB allocated

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>

eval88.0ms (2.3%)

Memory: 1.1MiB live, 101.2MiB allocated
Compiler: Compiled 14 600 to 1 684 computations (88.5% saved)

prune11.0ms (0.3%)

Memory

0.7MiB live, 30.1MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	724	4	728
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	725	4	729

Accuracy

100.0%

Counts

729 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	3.3%	(-.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)
▶	58.4%	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
▶	44.5%	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))

Compiler

Compiled 17 to 15 computations (11.8% saved)

simplify303.0ms (8%)

Memory

-25.8MiB live, 43.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Score	Program
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 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)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	66
0	19	66
1	38	62
2	68	58
3	125	58
4	500	58
5	1679	58
6	4157	58
7	5999	58
8	7351	58
0	8131	56

Stop Event

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

Calls

Call 1

Inputs
#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
(-.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)

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

localize30.0ms (0.8%)

Memory

12.7MiB live, 12.7MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	25.72112660695824	(-.f64 #s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64)) #s(literal 1 binary64))
accuracy	35.13958097462361	#s(approx (* (+ x 1) (+ x 1)) #s(literal 1 binary64))
accuracy	0	(+.f64 #s(literal 2 binary64) x)
accuracy	0.00390625	(*.f64 (+.f64 #s(literal 2 binary64) x) x)
accuracy	0	(*.f64 x x)
accuracy	26.654191787597178	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
accuracy	0	(*.f64 x #s(literal 2 binary64))
accuracy	35.48966742596117	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))

Samples

12.0ms	180×	0	valid
9.0ms	76×	1	valid

Compiler

Compiled 90 to 23 computations (74.4% saved)

Precisions

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

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

ival-add: 3.0ms (23.9% of total)

adjust: 2.0ms (15.9% of total)

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

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

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

exact: 0.0ms (0% of total)

series5.0ms (0.1%)

Memory

2.9MiB live, 2.9MiB allocated

Counts

8 → 96

Calls

Call 1

Inputs
#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>) () ())
#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>) () ())

Outputs
#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 (* 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 (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 (-.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 (-.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>) () ())) ())

Calls

3 calls:

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

Time

Variable

Point

Expression

1.0ms

-inf

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

1.0ms

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

1.0ms

inf

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

simplify360.0ms (9.5%)

Memory

-5.5MiB live, 81.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	382
1	54	382
2	118	382
3	278	382
4	540	382
5	2080	382
6	3387	382
7	4407	382
8	5047	382
9	5901	382
10	6238	382
11	6504	382
12	7409	382
0	8090	375

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 94

Calls

Call 1

Inputs
(* 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)
(* 2 x)
(* x (+ 2 x))
(* x (+ 2 x))
(* x (+ 2 x))
1
(+ 1 (* 2 x))
(+ 1 (* x (+ 2 x)))
(+ 1 (* 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))))
(* 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))))
(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))))
(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)))))

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

rewrite223.0ms (5.9%)

Memory

-9.0MiB live, 98.2MiB allocated

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	60
0	19	52
1	84	52
2	612	48
0	8557	48

Stop Event

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

Counts

8 → 643

Calls

Call 1

Inputs
#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)
(-.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))

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>

eval97.0ms (2.6%)

Memory: 30.6MiB live, 90.6MiB allocated
Compiler: Compiled 13 615 to 1 453 computations (89.3% saved)

prune18.0ms (0.5%)

Memory

-15.5MiB live, 42.7MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	737	0	737
Fresh	0	0	0
Picked	0	4	4
Done	0	0	0
Total	737	4	741

Accuracy

100.0%

Counts

741 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	3.3%	(-.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)
✓	58.4%	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x x))
✓	44.5%	#s(approx (- (* (+ x 1) (+ x 1)) 1) (*.f64 x #s(literal 2 binary64)))

Compiler

Compiled 43 to 29 computations (32.6% saved)

regimes9.0ms (0.2%)

Memory

7.8MiB live, 7.8MiB allocated

Counts

5 → 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)
(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

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

5.8MiB live, 5.8MiB 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:

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)))
1.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))

Results

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

Compiler

Compiled 20 to 13 computations (35% saved)

regimes6.0ms (0.2%)

Memory

5.6MiB live, 5.6MiB 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
44.5%	1	`x`
44.5%	1	`(+.f64 x #s(literal 1 binary64))`
44.5%	1	`(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))`
44.5%	1	`(*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64)))`

Compiler

Compiled 20 to 13 computations (35% saved)

regimes27.0ms (0.7%)

Memory

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

23.0ms	(-.f64 (*.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal 1 binary64))) #s(literal 1 binary64))
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)))

Results

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

Compiler

Compiled 20 to 13 computations (35% saved)

bsearch0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.059038832716881	63988024.88315324

Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify24.0ms (0.6%)

Memory

-10.5MiB live, 29.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	65
1	27	65
2	31	65
3	34	65
4	37	65
5	40	65

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.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
(*.f64 (+.f64 #s(literal 2 binary64) x) x)
(*.f64 (+.f64 x #s(literal 2 binary64)) 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 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) x)) #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))

soundness553.0ms (14.6%)

Memory

27.1MiB live, 119.0MiB allocated

Iterations

Useful iterations: 2 (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
0	5	19
0	8	15
1	48	15
2	379	13
3	6334	13
0	8237	13

Stop Event

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

Compiler

Compiled 57 to 34 computations (40.4% saved)

preprocess61.0ms (1.6%)

Memory: -9.5MiB live, 58.0MiB allocated
Compiler: Compiled 80 to 40 computations (50% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample656.0ms (17.3%)

explain111.0ms (2.9%)

preprocess440.0ms (11.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify138.0ms (3.6%)

localize20.0ms (0.5%)

series2.0ms (0.1%)

simplify449.0ms (11.8%)

rewrite155.0ms (4.1%)

eval88.0ms (2.3%)

prune11.0ms (0.3%)

simplify303.0ms (8%)

localize30.0ms (0.8%)

series5.0ms (0.1%)

simplify360.0ms (9.5%)

rewrite223.0ms (5.9%)

eval97.0ms (2.6%)

prune18.0ms (0.5%)

regimes9.0ms (0.2%)

regimes7.0ms (0.2%)

regimes6.0ms (0.2%)

regimes27.0ms (0.7%)

bsearch0.0ms (0%)

simplify24.0ms (0.6%)

soundness553.0ms (14.6%)

preprocess61.0ms (1.6%)

end0.0ms (0%)

Profiling