Metrics for Numeric.Integration.TanhSinh:nonNegative from integration-0.2.1

start0.0ms (0%)

Memory: 0.1MiB live, 0.0MiB allocated

analyze1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
50%	50%	50%	0%	0%	0%	0%	2
75%	75%	25%	0%	0%	0%	0%	3
87.5%	87.5%	12.5%	0%	0%	0%	0%	4
93.8%	93.7%	6.2%	0%	0%	0%	0%	5
96.9%	96.8%	3.1%	0%	0%	0%	0%	6
98.4%	98.4%	1.6%	0%	0%	0%	0%	7
99.2%	99.2%	0.8%	0%	0%	0%	0%	8
99.6%	99.6%	0.4%	0%	0%	0%	0%	9
99.8%	99.8%	0.2%	0%	0%	0%	0%	10
99.9%	99.9%	0.1%	0%	0%	0%	0%	11
100%	99.9%	0%	0%	0%	0%	0%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample696.0ms (14.2%)

Memory

16.3MiB live, 775.5MiB allocated

Samples

372.0ms

8 256×

valid

Precisions

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

ival-sub: 63.0ms (45.6% of total)

ival-div: 63.0ms (45.6% of total)

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

exact: 4.0ms (2.9% of total)

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

Bogosity

explain69.0ms (1.4%)

Memory

-12.3MiB live, 62.3MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 x (-.f64 #s(literal 1 binary64) x))`
-	-	`(-.f64 #s(literal 1 binary64) x)`
-	-	`#s(literal 1 binary64)`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

47.0ms

512×

valid

Compiler

Compiled 39 to 20 computations (48.7% saved)

Precisions

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

ival-sub: 29.0ms (87.6% of total)

ival-div: 4.0ms (12.1% of total)

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

exact: 0.0ms (0% of total)

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

preprocess18.0ms (0.4%)

Memory

25.1MiB live, 25.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	15
1	20	11
2	47	10
3	100	10
4	195	10
5	284	10
6	295	10
7	309	10
8	322	10
0	4	5
0	6	5
1	10	5
2	14	5
3	19	5
4	26	5
5	36	5
6	51	5
7	74	5
8	96	5
9	104	5
10	106	5
0	106	5

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

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

Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))

Compiler

Compiled 5 to 4 computations (20% 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
▶	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Compiler

Compiled 5 to 4 computations (20% saved)

simplify5.0ms (0.1%)

Memory

4.0MiB live, 4.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(-.f64 #s(literal 1 binary64) x)
cost-diff	0	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	10
0	6	10
1	10	10
2	14	10
3	19	10
4	26	10
5	36	10
6	51	10
7	74	10
8	96	10
9	104	10
10	106	10
0	106	10

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))
x
(-.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)

localize28.0ms (0.6%)

Memory

-33.2MiB live, 11.7MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0	(-.f64 #s(literal 1 binary64) x)
accuracy	0.00390625	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Samples

24.0ms

256×

valid

Compiler

Compiled 22 to 10 computations (54.5% saved)

Precisions

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

ival-div: 2.0ms (54.9% of total)

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

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

exact: 0.0ms (0% of total)

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

series2.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Counts

2 → 24

Calls

Call 1

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

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

Calls

3 calls:

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

simplify164.0ms (3.4%)

Memory

15.8MiB live, 53.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	135
1	93	120
2	220	114
3	545	112
4	1047	112
5	1955	112
6	3384	112
7	4540	112
8	4656	112
9	4656	112
10	4818	112
11	4893	112
12	4893	112
0	4893	109

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 23

Calls

Call 1

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

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

rewrite210.0ms (4.3%)

Memory

0.0MiB live, 156.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	8
0	6	8
1	29	8
2	183	8
3	1612	8
0	9347	8

Stop Event

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

Counts

2 → 425

Calls

Call 1

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

eval67.0ms (1.4%)

Memory: 7.7MiB live, 125.8MiB allocated
Compiler: Compiled 10 317 to 1 292 computations (87.5% saved)

prune10.0ms (0.2%)

Memory

-1.4MiB live, 35.1MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	444	4	448
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	444	5	449

Accuracy

100.0%

Counts

449 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	71.9%	(/.f64 (neg.f64 (fma.f64 x x x)) (+.f64 #s(literal -1 binary64) (*.f64 x x)))
✓	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))
▶	45.4%	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
▶	44.3%	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
▶	56.8%	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Compiler

Compiled 46 to 30 computations (34.8% saved)

simplify266.0ms (5.4%)

Memory

-11.7MiB live, 248.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

New	Metric	Score
cost-diff	0	(fma.f64 x x x)
cost-diff	0	(neg.f64 (fma.f64 x x x))
cost-diff	128	(+.f64 #s(literal -1 binary64) (*.f64 x x))
cost-diff	704	(/.f64 (neg.f64 (fma.f64 x x x)) (+.f64 #s(literal -1 binary64) (*.f64 x x)))
cost-diff	0	(fma.f64 x x x)
cost-diff	0	(fma.f64 (fma.f64 x x x) x x)
cost-diff	0	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
cost-diff	0	(fma.f64 x x x)
cost-diff	0	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
cost-diff	0	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	78
0	21	78
1	39	78
2	86	78
3	213	72
4	502	72
5	1704	72
6	6009	72
0	8070	71

Stop Event

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

Calls

Call 1

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

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

localize80.0ms (1.6%)

Memory

-36.2MiB live, 54.4MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 #s(literal -1 binary64) (*.f64 x x))
accuracy	0	(*.f64 x x)
accuracy	0	(neg.f64 (fma.f64 x x x))
accuracy	17.88697878092816	(/.f64 (neg.f64 (fma.f64 x x x)) (+.f64 #s(literal -1 binary64) (*.f64 x x)))
accuracy	0	(fma.f64 x x x)
accuracy	0.0234375	(fma.f64 (fma.f64 x x x) x x)
accuracy	34.94593551052783	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
accuracy	0	(fma.f64 x x x)
accuracy	35.668347190153305	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
accuracy	27.659873861959152	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Samples

56.0ms

256×

valid

Compiler

Compiled 150 to 28 computations (81.3% saved)

Precisions

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

ival-div: 38.0ms (80.6% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series6.0ms (0.1%)

Memory

6.3MiB live, 6.3MiB allocated

Counts

9 → 108

Calls

Call 1

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

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

Calls

3 calls:

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

Time

Variable

Point

Expression

1.0ms

inf

((/ x (- 1 x)) (/ x (- 1 x)) (+ (* x x) x) (/ x (- 1 x)) (+ (* (+ (* x x) x) x) x) (/ (neg (+ (* x x) x)) (+ -1 (* x x))) (+ -1 (* x x)) (neg (+ (* x x) x)) (* x x))

1.0ms

-inf

((/ x (- 1 x)) (/ x (- 1 x)) (+ (* x x) x) (/ x (- 1 x)) (+ (* (+ (* x x) x) x) x) (/ (neg (+ (* x x) x)) (+ -1 (* x x))) (+ -1 (* x x)) (neg (+ (* x x) x)) (* x x))

1.0ms

((/ x (- 1 x)) (/ x (- 1 x)) (+ (* x x) x) (/ x (- 1 x)) (+ (* (+ (* x x) x) x) x) (/ (neg (+ (* x x) x)) (+ -1 (* x x))) (+ -1 (* x x)) (neg (+ (* x x) x)) (* x x))

simplify471.0ms (9.6%)

Memory

8.3MiB live, 160.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	664
1	129	640
2	366	603
3	1145	595
4	2989	595
5	6208	595
0	8133	542

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 102

Calls

Call 1

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

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

rewrite209.0ms (4.3%)

Memory

20.1MiB live, 251.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	65
0	21	65
1	96	59
2	702	59
0	8322	58

Stop Event

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

Counts

9 → 793

Calls

Call 1

Inputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) (fma.f64 x x x))
(fma.f64 x x x)
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
(fma.f64 (fma.f64 x x x) x x)
(/.f64 (neg.f64 (fma.f64 x x x)) (+.f64 #s(literal -1 binary64) (*.f64 x x)))
(+.f64 #s(literal -1 binary64) (*.f64 x x))
(neg.f64 (fma.f64 x x x))
(*.f64 x 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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval229.0ms (4.7%)

Memory: 15.0MiB live, 326.8MiB allocated
Compiler: Compiled 26 989 to 2 671 computations (90.1% saved)

prune29.0ms (0.6%)

Memory

-13.3MiB live, 72.3MiB allocated

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	1 216	3	1 219
Fresh	0	0	0
Picked	1	3	4
Done	0	1	1
Total	1 217	7	1 224

Accuracy

100.0%

Counts

1 224 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	71.9%	(/.f64 (fma.f64 x x x) (-.f64 #s(literal 1 binary64) (*.f64 x x)))
✓	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓	45.4%	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
✓	44.3%	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
▶	44.3%	#s(approx (/ x (- 1 x)) (*.f64 (+.f64 #s(literal 1 binary64) x) x))
▶	2.9%	#s(approx (/ x (- 1 x)) #s(approx (+ (* x x) x) (*.f64 x x)))
✓	56.8%	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Compiler

Compiled 71 to 46 computations (35.2% saved)

simplify189.0ms (3.9%)

Memory

10.0MiB live, 240.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

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

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	15	71
0	21	69
1	34	69
2	52	69
3	64	69
4	118	69
5	198	69
6	484	64
7	1687	64
8	3618	64
9	6828	64
0	8010	64

Stop Event

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

Calls

Call 1

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

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

localize58.0ms (1.2%)

Memory

-27.6MiB live, 69.5MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 x x x)
accuracy	0	(-.f64 #s(literal 1 binary64) (*.f64 x x))
accuracy	0	(*.f64 x x)
accuracy	17.88697878092816	(/.f64 (fma.f64 x x x) (-.f64 #s(literal 1 binary64) (*.f64 x x)))
accuracy	0	(+.f64 #s(literal 1 binary64) x)
accuracy	0.015625	(*.f64 (+.f64 #s(literal 1 binary64) x) x)
accuracy	35.668347190153305	#s(approx (/ x (- 1 x)) (*.f64 (+.f64 #s(literal 1 binary64) x) x))
accuracy	0	(*.f64 x x)
accuracy	27.167981222220657	#s(approx (+ (* x x) x) (*.f64 x x))
accuracy	35.668347190153305	#s(approx (/ x (- 1 x)) #s(approx (+ (* x x) x) (*.f64 x x)))

Samples

25.0ms

256×

valid

Compiler

Compiled 130 to 28 computations (78.5% saved)

Precisions

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

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series6.0ms (0.1%)

Memory

11.5MiB live, 11.5MiB allocated

Counts

9 → 108

Calls

Call 1

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

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

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

-inf

((/ x (- 1 x)) (+ (* x x) x) (* x x) (* (+ 1 x) x) (/ x (- 1 x)) (+ 1 x) (/ (+ (* x x) x) (- 1 (* x x))) (+ (* x x) x) (- 1 (* x x)))

1.0ms

inf

((/ x (- 1 x)) (+ (* x x) x) (* x x) (* (+ 1 x) x) (/ x (- 1 x)) (+ 1 x) (/ (+ (* x x) x) (- 1 (* x x))) (+ (* x x) x) (- 1 (* x x)))

1.0ms

((/ x (- 1 x)) (+ (* x x) x) (* x x) (* (+ 1 x) x) (/ x (- 1 x)) (+ 1 x) (/ (+ (* x x) x) (- 1 (* x x))) (+ (* x x) x) (- 1 (* x x)))

simplify158.0ms (3.2%)

Memory

18.3MiB live, 200.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	567
1	98	540
2	219	522
3	704	516
4	2769	516
5	4928	516
0	8145	474

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 100

Calls

Call 1

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

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

rewrite177.0ms (3.6%)

Memory

-2.4MiB live, 241.1MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	63
0	21	61
1	82	56
2	574	56
3	7912	56
0	8397	56

Stop Event

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

Counts

9 → 832

Calls

Call 1

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

eval134.0ms (2.7%)

Memory: 5.3MiB live, 202.5MiB allocated
Compiler: Compiled 21 279 to 2 168 computations (89.8% saved)

prune19.0ms (0.4%)

Memory

16.4MiB live, 53.0MiB allocated

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	957	1	958
Fresh	0	0	0
Picked	1	2	3
Done	0	4	4
Total	958	7	965

Accuracy

100.0%

Counts

965 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	71.9%	(/.f64 (fma.f64 x x x) (-.f64 #s(literal 1 binary64) (*.f64 x x)))
✓	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓	45.4%	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
✓	44.3%	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
✓	44.3%	#s(approx (/ x (- 1 x)) (*.f64 (+.f64 #s(literal 1 binary64) x) x))
▶	45.0%	#s(approx (/ x (- 1 x)) (*.f64 #s(approx (+ 1 x) #s(literal 1 binary64)) x))
✓	56.8%	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Compiler

Compiled 69 to 46 computations (33.3% saved)

simplify6.0ms (0.1%)

Memory

-31.3MiB live, 7.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	27
0	9	27
1	15	27
2	19	27
3	24	27
4	31	27
5	41	27
6	56	27
7	86	27
8	111	27
9	119	27
10	121	27
0	121	27

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize17.0ms (0.3%)

Memory

27.5MiB live, 27.5MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0.015625	(*.f64 #s(approx (+ 1 x) #s(literal 1 binary64)) x)
accuracy	35.298173808642815	#s(approx (+ 1 x) #s(literal 1 binary64))
accuracy	35.668347190153305	#s(approx (/ x (- 1 x)) (*.f64 #s(approx (+ 1 x) #s(literal 1 binary64)) x))

Samples

12.0ms

256×

valid

Compiler

Compiled 44 to 17 computations (61.4% saved)

Precisions

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

ival-div: 2.0ms (31.3% of total)

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

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

ival-add: 1.0ms (15.7% of total)

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

exact: 0.0ms (0% of total)

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

series2.0ms (0%)

Memory

3.6MiB live, 3.6MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs

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

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

#s(alt #<batchref> (patch #s(approx (+ 1 x) #s(literal 1 binary64)) #<representation binary64>) () ())

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

Calls

3 calls:

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

simplify201.0ms (4.1%)

Memory

-2.1MiB live, 198.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	176
1	89	170
2	197	164
3	620	162
4	2726	162
5	5294	162
0	8123	148

Stop Event

1×	iter limit
1×	node limit

Counts

36 → 32

Calls

Call 1

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

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

rewrite159.0ms (3.2%)

Memory

-11.6MiB live, 97.5MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	25
0	9	25
1	38	25
2	244	25
3	2471	25
0	11448	25

Stop Event

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

Counts

3 → 8

Calls

Call 1

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

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

eval4.0ms (0.1%)

Memory: 9.0MiB live, 9.0MiB allocated
Compiler: Compiled 574 to 54 computations (90.6% saved)

prune5.0ms (0.1%)

Memory

11.9MiB live, 11.9MiB allocated

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	40	7	47

Accuracy

100.0%

Counts

47 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	71.9%	(/.f64 (fma.f64 x x x) (-.f64 #s(literal 1 binary64) (*.f64 x x)))
✓	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓	45.4%	#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))
✓	44.3%	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
✓	44.3%	#s(approx (/ x (- 1 x)) (*.f64 (+.f64 #s(literal 1 binary64) x) x))
✓	45.0%	#s(approx (/ x (- 1 x)) (*.f64 #s(approx (+ 1 x) #s(literal 1 binary64)) x))
✓	56.8%	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Compiler

Compiled 164 to 76 computations (53.7% saved)

regimes68.0ms (1.4%)

Memory

-24.9MiB live, 22.6MiB allocated

Counts

9 → 1

Calls

Call 1

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

Outputs
(/.f64 x (-.f64 #s(literal 1 binary64) x))

Calls

2 calls:

64.0ms	x
3.0ms	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Results

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

Compiler

Compiled 6 to 5 computations (16.7% saved)

regimes6.0ms (0.1%)

Memory

14.8MiB live, 14.8MiB allocated

Counts

6 → 2

Calls

Call 1

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

Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) (fma.f64 (fma.f64 x x x) x x))

Calls

2 calls:

3.0ms	x
2.0ms	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Results

Accuracy	Segments	Branch
99.2%	3	`x`
99.2%	2	`(/.f64 x (-.f64 #s(literal 1 binary64) x))`

Compiler

Compiled 6 to 5 computations (16.7% saved)

regimes2.0ms (0%)

Memory

5.9MiB live, 5.9MiB allocated

Counts

5 → 2

Calls

Call 1

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

Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))
#s(approx (/ x (- 1 x)) (fma.f64 x x x))

Calls

1 calls:

2.0ms

(/.f64 x (-.f64 #s(literal 1 binary64) x))

Results

Accuracy	Segments	Branch
98.9%	2	`(/.f64 x (-.f64 #s(literal 1 binary64) x))`

Compiler

Compiled 5 to 4 computations (20% saved)

regimes4.0ms (0.1%)

Memory

-33.2MiB live, 4.8MiB allocated

Counts

3 → 2

Calls

Call 1

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

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

Calls

1 calls:

3.0ms

(/.f64 x (-.f64 #s(literal 1 binary64) x))

Results

Accuracy	Segments	Branch
98.3%	2	`(/.f64 x (-.f64 #s(literal 1 binary64) x))`

Compiler

Compiled 5 to 4 computations (20% saved)

regimes3.0ms (0.1%)

Memory

8.7MiB live, 8.7MiB allocated

Accuracy

Total -35.3b remaining (-127.5%)

Threshold costs -35.3b (-127.5%)

Counts

2 → 1

Calls

Call 1

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

Outputs
#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Calls

2 calls:

2.0ms	x
1.0ms	(/.f64 x (-.f64 #s(literal 1 binary64) x))

Results

Accuracy	Segments	Branch
56.8%	1	`x`
56.8%	1	`(/.f64 x (-.f64 #s(literal 1 binary64) x))`

Compiler

Compiled 6 to 5 computations (16.7% saved)

bsearch0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.9999061662819801	-0.005314990941554031

Compiler

Compiled 8 to 8 computations (0% saved)

bsearch0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.9999061662819801	-0.005314990941554031

Compiler

Compiled 8 to 8 computations (0% saved)

bsearch0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.9999061662819801	-0.005314990941554031

Compiler

Compiled 8 to 8 computations (0% saved)

simplify24.0ms (0.5%)

Memory

21.1MiB live, 59.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	93
1	27	93
2	30	93
3	32	93
4	33	93

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness1.1s (21.9%)

Memory

-14.7MiB live, 382.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	567
1	98	540
2	219	522
3	704	516
4	2769	516
5	4928	516
0	8145	474
0	14	65
0	21	65
1	96	59
2	702	59
0	8322	58
0	33	135
1	93	120
2	220	114
3	545	112
4	1047	112
5	1955	112
6	3384	112
7	4540	112
8	4656	112
9	4656	112
10	4818	112
11	4893	112
12	4893	112
0	4893	109

Stop Event

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

Compiler

Compiled 131 to 50 computations (61.8% saved)

preprocess34.0ms (0.7%)

Memory: 14.6MiB live, 88.1MiB allocated
Compiler: Compiled 196 to 52 computations (73.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	6	15
1	20	11
2	47	10
3	100	10
4	195	10
5	284	10
6	295	10
7	309	10
8	322	10
0	4	5
0	6	5
1	10	5
2	14	5
3	19	5
4	26	5
5	36	5
6	51	5
7	74	5
8	96	5
9	104	5
10	106	5
0	106	5

Iter	Nodes	Cost
0	4	10
0	6	10
1	10	10
2	14	10
3	19	10
4	26	10
5	36	10
6	51	10
7	74	10
8	96	10
9	104	10
10	106	10
0	106	10

Iter	Nodes	Cost
0	8	27
0	9	27
1	15	27
2	19	27
3	24	27
4	31	27
5	41	27
6	56	27
7	86	27
8	111	27
9	119	27
10	121	27
0	121	27

Iter	Nodes	Cost
0	6	15
1	20	11
2	47	10
3	100	10
4	195	10
5	284	10
6	295	10
7	309	10
8	322	10
0	4	5
0	6	5
1	10	5
2	14	5
3	19	5
4	26	5
5	36	5
6	51	5
7	74	5
8	96	5
9	104	5
10	106	5
0	106	5

Iter	Nodes	Cost
0	4	10
0	6	10
1	10	10
2	14	10
3	19	10
4	26	10
5	36	10
6	51	10
7	74	10
8	96	10
9	104	10
10	106	10
0	106	10

Iter	Nodes	Cost
0	8	27
0	9	27
1	15	27
2	19	27
3	24	27
4	31	27
5	41	27
6	56	27
7	86	27
8	111	27
9	119	27
10	121	27
0	121	27

start0.0ms (0%)

analyze1.0ms (0%)

sample696.0ms (14.2%)

explain69.0ms (1.4%)

preprocess18.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify5.0ms (0.1%)

localize28.0ms (0.6%)

series2.0ms (0%)

simplify164.0ms (3.4%)

rewrite210.0ms (4.3%)

eval67.0ms (1.4%)

prune10.0ms (0.2%)

simplify266.0ms (5.4%)

localize80.0ms (1.6%)

series6.0ms (0.1%)

simplify471.0ms (9.6%)

rewrite209.0ms (4.3%)

eval229.0ms (4.7%)

prune29.0ms (0.6%)

simplify189.0ms (3.9%)

localize58.0ms (1.2%)

series6.0ms (0.1%)

simplify158.0ms (3.2%)

rewrite177.0ms (3.6%)

eval134.0ms (2.7%)

prune19.0ms (0.4%)

simplify6.0ms (0.1%)

localize17.0ms (0.3%)

series2.0ms (0%)

simplify201.0ms (4.1%)

rewrite159.0ms (3.2%)

eval4.0ms (0.1%)

prune5.0ms (0.1%)

regimes68.0ms (1.4%)

regimes6.0ms (0.1%)

regimes2.0ms (0%)

regimes4.0ms (0.1%)

regimes3.0ms (0.1%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify24.0ms (0.5%)

soundness1.1s (21.9%)

preprocess34.0ms (0.7%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	6	15
1	20	11
2	47	10
3	100	10
4	195	10
5	284	10
6	295	10
7	309	10
8	322	10
0	4	5
0	6	5
1	10	5
2	14	5
3	19	5
4	26	5
5	36	5
6	51	5
7	74	5
8	96	5
9	104	5
10	106	5
0	106	5

Iter	Nodes	Cost
0	4	10
0	6	10
1	10	10
2	14	10
3	19	10
4	26	10
5	36	10
6	51	10
7	74	10
8	96	10
9	104	10
10	106	10
0	106	10

Iter	Nodes	Cost
0	8	27
0	9	27
1	15	27
2	19	27
3	24	27
4	31	27
5	41	27
6	56	27
7	86	27
8	111	27
9	119	27
10	121	27
0	121	27