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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze1.0ms (0%)

Memory

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

sample912.0ms (27%)

Memory

-120.7MiB live, 830.7MiB allocated

Samples

684.0ms

8 256×

valid

Precisions

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

ival-div: 326.0ms (79.4% of total)

ival-sub: 71.0ms (17.3% of total)

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

exact: 4.0ms (1% of total)

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

Bogosity

explain54.0ms (1.6%)

Memory

-10.0MiB live, 84.8MiB 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

18.0ms

512×

valid

Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

preprocess24.0ms (0.7%)

Memory

-11.1MiB live, 63.2MiB 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.9MiB live, 0.9MiB 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)

simplify4.0ms (0.1%)

Memory

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

localize13.0ms (0.4%)

Memory

11.1MiB live, 11.1MiB 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

9.0ms

256×

valid

Compiler

Compiled 12 to 6 computations (50% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

series29.0ms (0.8%)

Memory

-45.4MiB live, 2.5MiB allocated

Counts

2 → 24

Calls

Call 1

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

Inputs

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

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

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

Calls

3 calls:

Time	Variable		Point	Expression
26.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 (4.9%)

Memory

21.0MiB live, 94.2MiB 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
(* x (+ 1 x))
(fma.f64 x x x)
(* x (+ 1 (* x (+ 1 x))))
(fma.f64 (fma.f64 x x x) x x)
(* x (+ 1 (* x (+ 1 (* x (+ 1 x))))))
(*.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) x) (-.f64 x #s(literal -1 binary64)))
1
#s(literal 1 binary64)
(+ 1 (* -1 x))
(-.f64 #s(literal 1 binary64) x)
(+ 1 (* -1 x))
(-.f64 #s(literal 1 binary64) x)
(+ 1 (* -1 x))
(-.f64 #s(literal 1 binary64) x)
-1
#s(literal -1 binary64)
(* -1 (+ 1 (/ 1 x)))
(-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x))
(- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)
(-.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) x))
(- (* -1 (/ (+ 1 (/ 1 x)) (pow x 2))) (+ 1 (/ 1 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)))
(* -1 x)
(neg.f64 x)
(* x (- (/ 1 x) 1))
(-.f64 #s(literal 1 binary64) x)
(* x (- (/ 1 x) 1))
(-.f64 #s(literal 1 binary64) x)
(* x (- (/ 1 x) 1))
(-.f64 #s(literal 1 binary64) x)
-1
#s(literal -1 binary64)
(* -1 (+ 1 (/ 1 x)))
(-.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) x))
(- (* -1 (/ (+ 1 (/ 1 x)) x)) 1)
(-.f64 #s(literal -1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64)) x))
(- (* -1 (/ (+ 1 (+ (/ 1 x) (/ 1 (pow x 2)))) x)) 1)
(*.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)))
(* -1 x)
(neg.f64 x)
(* -1 (* x (- 1 (/ 1 x))))
(-.f64 #s(literal 1 binary64) x)
(* -1 (* x (- 1 (/ 1 x))))
(-.f64 #s(literal 1 binary64) x)
(* -1 (* x (- 1 (/ 1 x))))
(-.f64 #s(literal 1 binary64) x)

rewrite162.0ms (4.8%)

Memory

23.6MiB live, 173.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>

eval75.0ms (2.2%)

Memory: -23.9MiB live, 174.0MiB allocated
Compiler: Compiled 10 226 to 1 289 computations (87.4% saved)

prune14.0ms (0.4%)

Memory

-34.9MiB live, 38.2MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	446	2	448
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	446	3	449

Accuracy

100.0%

Counts

449 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))
▶	47.7%	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
▶	54.1%	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify16.0ms (0.5%)

Memory

37.3MiB live, 37.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
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	8	23
0	10	23
1	17	23
2	22	23
3	33	23
4	40	23
5	67	23
6	97	23
7	174	23
8	273	23
9	298	23
10	325	23
11	354	23
12	434	23
13	500	23
14	506	23
0	506	23

Stop Event

1×	iter limit
1×	saturated
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

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

localize22.0ms (0.6%)

Memory

-36.8MiB live, 41.9MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 x x x)
accuracy	33.458016203444494	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
accuracy	29.39584968251383	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Samples

14.0ms

256×

valid

Compiler

Compiled 19 to 9 computations (52.6% saved)

Precisions

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

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

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

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

ival-add: 1.0ms (15.2% 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.1%)

Memory

3.7MiB live, 3.7MiB allocated

Counts

3 → 36

Calls

Call 1

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

Inputs

#s(alt #s(approx (/ x (- 1 x)) #s(literal -1 binary64)) (patch #s(approx (/ x (- 1 x)) #s(literal -1 binary64)) #<representation binary64>) () ())

#s(alt #s(approx (/ x (- 1 x)) (fma.f64 x x x)) (patch #s(approx (/ x (- 1 x)) (fma.f64 x x x)) #<representation binary64>) () ())

#s(alt (fma.f64 x x x) (patch (fma.f64 x x x) #<representation binary64>) () ())

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

Calls

3 calls:

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

simplify265.0ms (7.8%)

Memory

4.8MiB live, 83.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	240
1	83	228
2	192	216
3	471	212
4	1273	212
5	3937	212
6	7129	212
0	8035	193

Stop Event

1×	iter limit
1×	node limit

Counts

36 → 33

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

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

rewrite154.0ms (4.5%)

Memory

32.9MiB live, 71.4MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	21
0	10	21
1	47	21
2	303	21
3	3025	21
0	10641	21

Stop Event

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

Counts

3 → 178

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)

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>

eval190.0ms (5.6%)

Memory: -26.4MiB live, 49.0MiB allocated
Compiler: Compiled 3 400 to 577 computations (83% saved)

prune5.0ms (0.1%)

Memory

17.9MiB live, 17.9MiB allocated

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	210	1	211
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	210	4	214

Accuracy

100.0%

Counts

214 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓	47.7%	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
▶	3.4%	#s(approx (/ x (- 1 x)) #s(approx (+ (* x x) x) (*.f64 x x)))
✓	54.1%	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Compiler

Compiled 17 to 14 computations (17.6% saved)

simplify40.0ms (1.2%)

Memory

-19.1MiB live, 24.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
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: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
0	10	28
1	17	28
2	23	28
3	34	28
4	41	28
5	68	28
6	98	28
7	175	28
8	274	28
9	297	28
10	324	28
11	353	28
12	435	28
13	501	28
14	506	28
0	506	26

Stop Event

1×	iter limit
1×	saturated
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

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

localize48.0ms (1.4%)

Memory

1.6MiB live, 37.4MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x x)
accuracy	28.59478542973559	#s(approx (+ (* x x) x) (*.f64 x x))
accuracy	33.458016203444494	#s(approx (/ x (- 1 x)) #s(approx (+ (* x x) x) (*.f64 x x)))

Samples

42.0ms

256×

valid

Compiler

Compiled 16 to 8 computations (50% saved)

Precisions

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

ival-sub: 31.0ms (85.1% of total)

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

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

ival-add: 1.0ms (2.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.1%)

Memory

4.3MiB live, 4.3MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs

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

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

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

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

Calls

3 calls:

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

simplify266.0ms (7.9%)

Memory

27.3MiB live, 225.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	182
1	83	176
2	192	170
3	473	168
4	1275	168
5	4018	168
6	7206	168
0	8103	154

Stop Event

1×	iter limit
1×	node limit

Counts

36 → 34

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

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

rewrite275.0ms (8.1%)

Memory

-23.2MiB live, 134.0MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27
0	10	27
1	47	27
2	304	27
3	3039	27
0	10644	25

Stop Event

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

Counts

3 → 19

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)

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

eval6.0ms (0.2%)

Memory: 17.8MiB live, 17.8MiB allocated
Compiler: Compiled 360 to 95 computations (73.6% saved)

prune7.0ms (0.2%)

Memory

-24.7MiB live, 12.1MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	53	0	53
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	53	4	57

Accuracy

100.0%

Counts

57 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 x (-.f64 #s(literal 1 binary64) x))
✓	47.7%	#s(approx (/ x (- 1 x)) (fma.f64 x x x))
✓	3.4%	#s(approx (/ x (- 1 x)) #s(approx (+ (* x x) x) (*.f64 x x)))
✓	54.1%	#s(approx (/ x (- 1 x)) #s(literal -1 binary64))

Compiler

Compiled 34 to 25 computations (26.5% saved)

regimes4.0ms (0.1%)

Memory

9.9MiB live, 9.9MiB allocated

Counts

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

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

Calls

2 calls:

2.0ms	x
2.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)

regimes4.0ms (0.1%)

Memory

8.4MiB live, 8.4MiB 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)) (fma.f64 x x x))

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 6 to 5 computations (16.7% saved)

regimes3.0ms (0.1%)

Memory

7.6MiB live, 7.6MiB allocated

Accuracy

Total -33.4b remaining (-113.7%)

Threshold costs -33.4b (-113.7%)

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

Compiler

Compiled 6 to 5 computations (16.7% saved)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-0.999999998575359	-1.3042846197005237e-15

Compiler

Compiled 8 to 8 computations (0% saved)

simplify41.0ms (1.2%)

Memory

-15.3MiB live, 69.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	37
1	18	37
2	21	37
3	23	37
4	24	37

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

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

soundness553.0ms (16.3%)

Memory

2.5MiB live, 123.4MiB allocated

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×	done
1×	iter limit
1×	saturated

Compiler

Compiled 28 to 17 computations (39.3% saved)

preprocess26.0ms (0.8%)

Memory: 15.7MiB live, 92.9MiB allocated
Compiler: Compiled 54 to 30 computations (44.4% 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	23
0	10	23
1	17	23
2	22	23
3	33	23
4	40	23
5	67	23
6	97	23
7	174	23
8	273	23
9	298	23
10	325	23
11	354	23
12	434	23
13	500	23
14	506	23
0	506	23

Iter	Nodes	Cost
0	9	28
0	10	28
1	17	28
2	23	28
3	34	28
4	41	28
5	68	28
6	98	28
7	175	28
8	274	28
9	297	28
10	324	28
11	353	28
12	435	28
13	501	28
14	506	28
0	506	26

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	23
0	10	23
1	17	23
2	22	23
3	33	23
4	40	23
5	67	23
6	97	23
7	174	23
8	273	23
9	298	23
10	325	23
11	354	23
12	434	23
13	500	23
14	506	23
0	506	23

Iter	Nodes	Cost
0	9	28
0	10	28
1	17	28
2	23	28
3	34	28
4	41	28
5	68	28
6	98	28
7	175	28
8	274	28
9	297	28
10	324	28
11	353	28
12	435	28
13	501	28
14	506	28
0	506	26

start0.0ms (0%)

analyze1.0ms (0%)

sample912.0ms (27%)

explain54.0ms (1.6%)

preprocess24.0ms (0.7%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify4.0ms (0.1%)

localize13.0ms (0.4%)

series29.0ms (0.8%)

simplify164.0ms (4.9%)

rewrite162.0ms (4.8%)

eval75.0ms (2.2%)

prune14.0ms (0.4%)

simplify16.0ms (0.5%)

localize22.0ms (0.6%)

series2.0ms (0.1%)

simplify265.0ms (7.8%)

rewrite154.0ms (4.5%)

eval190.0ms (5.6%)

prune5.0ms (0.1%)

simplify40.0ms (1.2%)

localize48.0ms (1.4%)

series2.0ms (0.1%)

simplify266.0ms (7.9%)

rewrite275.0ms (8.1%)

eval6.0ms (0.2%)

prune7.0ms (0.2%)

regimes4.0ms (0.1%)

regimes4.0ms (0.1%)

regimes3.0ms (0.1%)

bsearch0.0ms (0%)

simplify41.0ms (1.2%)

soundness553.0ms (16.3%)

preprocess26.0ms (0.8%)

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	23
0	10	23
1	17	23
2	22	23
3	33	23
4	40	23
5	67	23
6	97	23
7	174	23
8	273	23
9	298	23
10	325	23
11	354	23
12	434	23
13	500	23
14	506	23
0	506	23

Iter	Nodes	Cost
0	9	28
0	10	28
1	17	28
2	23	28
3	34	28
4	41	28
5	68	28
6	98	28
7	175	28
8	274	28
9	297	28
10	324	28
11	353	28
12	435	28
13	501	28
14	506	28
0	506	26