Metrics for Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, H

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 7 to 7 computations (0% saved)

sample1.0s (27.9%)

Memory

-12.4MiB live, 660.3MiB allocated

Samples

704.0ms

8 256×

valid

Precisions

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

ival-sub: 273.0ms (66.5% of total)

ival-mult: 123.0ms (29.9% of total)

ival-true: 7.0ms (1.7% of total)

exact: 5.0ms (1.2% of total)

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

Bogosity

explain102.0ms (2.8%)

Memory

4.6MiB live, 57.3MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f64 #s(literal 1 binary64) y)`
-	-	`(*.f64 x (-.f64 #s(literal 1 binary64) y))`
-	-	`y`
-	-	`#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

79.0ms

512×

valid

Compiler

Compiled 31 to 19 computations (38.7% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

preprocess81.0ms (2.2%)

Memory

2.6MiB live, 40.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	31
1	40	26
2	106	25
3	323	25
4	517	25
5	612	25
0	5	5
0	7	5
1	12	5
2	22	5
3	38	5
4	83	5
5	114	5
6	154	5
7	219	5
8	265	5
9	301	5
10	307	5
0	307	5

Stop Event

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

Calls

Call 1

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

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

Symmetry

(negabs x)

Compiler

Compiled 5 to 5 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 5 to 5 computations (0% saved)

simplify61.0ms (1.6%)

Memory

-15.2MiB live, 22.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
0	7	11
1	12	11
2	22	11
3	38	11
4	83	11
5	114	11
6	154	11
7	219	11
8	265	11
9	301	11
10	307	11
0	307	11

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize13.0ms (0.4%)

Memory

17.2MiB live, 17.2MiB allocated

Localize:

Found 2 expressions of interest:

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

Samples

9.0ms

256×

valid

Compiler

Compiled 13 to 7 computations (46.2% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

series3.0ms (0.1%)

Memory

2.9MiB live, 2.9MiB allocated

Counts

2 → 36

Calls

Call 1

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

Inputs

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

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

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

Calls

6 calls:

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

simplify271.0ms (7.4%)

Memory

-13.5MiB live, 68.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	167
1	69	146
2	160	146
3	294	146
4	858	146
5	2435	146
6	3645	146
7	4189	146
8	4362	146
9	4399	146
10	4431	146
11	5099	146
12	5547	146
13	5648	146
14	5668	146
15	5678	146
16	5684	146
17	5684	146
18	5688	146
19	5692	146
20	6668	146
0	8367	146

Stop Event

1×	iter limit
1×	node limit

Counts

36 → 35

Calls

Call 1

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

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

rewrite162.0ms (4.4%)

Memory

-11.3MiB live, 101.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
0	7	8
1	25	8
2	145	8
3	1149	8
0	9894	7

Stop Event

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

Counts

2 → 353

Calls

Call 1

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

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>

eval107.0ms (2.9%)

Memory: 32.4MiB live, 111.0MiB allocated
Compiler: Compiled 8 399 to 1 080 computations (87.1% saved)

prune9.0ms (0.2%)

Memory

-10.9MiB live, 26.7MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	386	2	388
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	386	3	389

Accuracy

100.0%

Counts

389 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 x (-.f64 #s(literal 1 binary64) y))
▶	51.3%	(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
▶	51.6%	(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))

Compiler

Compiled 14 to 15 computations (-7.1% saved)

simplify5.0ms (0.1%)

Memory

7.6MiB live, 7.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 5 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
0	12	32
1	20	32
2	24	32
3	29	32
4	37	32
5	47	32
6	62	32
7	65	32
0	65	32

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize19.0ms (0.5%)

Memory

2.9MiB live, 40.8MiB allocated

Localize:

Found 5 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
accuracy	0	(neg.f64 y)
accuracy	31.48983796133468	#s(approx (- 1 y) (neg.f64 y))
accuracy	0	(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
accuracy	31.064444015050903	#s(approx (- 1 y) #s(literal 1 binary64))

Samples

13.0ms

256×

valid

Compiler

Compiled 24 to 8 computations (66.7% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series3.0ms (0.1%)

Memory

8.3MiB live, 8.3MiB allocated

Counts

5 → 84

Calls

Call 1

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

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

Calls

6 calls:

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

simplify239.0ms (6.5%)

Memory

-8.0MiB live, 151.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	358
1	69	316
2	160	316
3	294	316
4	858	316
5	2435	316
6	3645	316
7	4189	316
8	4362	316
9	4399	316
10	4431	316
11	5099	316
12	5547	316
13	5648	316
14	5668	316
15	5678	316
16	5684	316
17	5684	316
18	5688	316
19	5692	316
20	6668	316
0	8367	316

Stop Event

1×	iter limit
1×	node limit

Counts

84 → 82

Calls

Call 1

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

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

rewrite123.0ms (3.3%)

Memory

-13.9MiB live, 232.4MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	9	28
0	12	28
1	33	28
2	149	28
3	1178	25
0	9575	25

Stop Event

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

Counts

5 → 137

Calls

Call 1

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

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>

eval21.0ms (0.6%)

Memory: 20.9MiB live, 59.7MiB allocated
Compiler: Compiled 2 207 to 475 computations (78.5% saved)

prune87.0ms (2.4%)

Memory

-19.2MiB live, 19.0MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	219	0	219
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	219	3	222

Accuracy

100.0%

Counts

222 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 x (-.f64 #s(literal 1 binary64) y))
✓	51.3%	(*.f64 x #s(approx (- 1 y) (neg.f64 y)))
✓	51.6%	(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))

Compiler

Compiled 28 to 25 computations (10.7% saved)

regimes8.0ms (0.2%)

Memory

18.6MiB live, 18.6MiB allocated

Counts

3 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes13.0ms (0.4%)

Memory

-28.4MiB live, 17.0MiB allocated

Counts

2 → 3

Calls

Call 1

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
61.2%	3	`x`
98.9%	3	`y`
82.9%	3	`(*.f64 x (-.f64 #s(literal 1 binary64) y))`
98.9%	3	`(-.f64 #s(literal 1 binary64) y)`

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes6.0ms (0.2%)

Memory

15.1MiB live, 15.1MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 13 computations (-30% saved)

bsearch1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0	478777.70834929217
0.0ms	-29957028.924406834	0.9987710486821678

Compiler

Compiled 8 to 10 computations (-25% saved)

simplify283.0ms (7.7%)

Memory

-21.8MiB live, 57.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	47
1	27	47
2	30	47
3	31	47

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

(if (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal -20000000 binary64)) (*.f64 x #s(approx (- 1 y) (neg.f64 y))) (if (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal 2 binary64)) (*.f64 x #s(approx (- 1 y) #s(literal 1 binary64))) (*.f64 x #s(approx (- 1 y) (neg.f64 y)))))

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

Outputs
(*.f64 x (-.f64 #s(literal 1 binary64) y))
(*.f64 (-.f64 #s(literal 1 binary64) y) x)
(if (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal -20000000 binary64)) (.f64 x #s(approx (- 1 y) (neg.f64 y))) (if (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal 2 binary64)) (.f64 x #s(approx (- 1 y) #s(literal 1 binary64))) (*.f64 x #s(approx (- 1 y) (neg.f64 y)))))
(if (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal -20000000 binary64)) (.f64 #s(approx (- 1 y) (neg.f64 y)) x) (if (<=.f64 (-.f64 #s(literal 1 binary64) y) #s(literal 2 binary64)) (.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x) (*.f64 #s(approx (- 1 y) (neg.f64 y)) x)))
(*.f64 x #s(approx (- 1 y) #s(literal 1 binary64)))
(*.f64 #s(approx (- 1 y) #s(literal 1 binary64)) x)

soundness942.0ms (25.6%)

Memory

10.6MiB live, 134.7MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	167
1	69	146
2	160	146
3	294	146
4	858	146
5	2435	146
6	3645	146
7	4189	146
8	4362	146
9	4399	146
10	4431	146
11	5099	146
12	5547	146
13	5648	146
14	5668	146
15	5678	146
16	5684	146
17	5684	146
18	5688	146
19	5692	146
20	6668	146
0	8367	146

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 45 to 28 computations (37.8% saved)

preprocess96.0ms (2.6%)

Memory: -9.7MiB live, 68.4MiB allocated
Remove: (negabs x)
Compiler: Compiled 110 to 72 computations (34.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	13	31
1	40	26
2	106	25
3	323	25
4	517	25
5	612	25
0	5	5
0	7	5
1	12	5
2	22	5
3	38	5
4	83	5
5	114	5
6	154	5
7	219	5
8	265	5
9	301	5
10	307	5
0	307	5

Iter	Nodes	Cost
0	5	11
0	7	11
1	12	11
2	22	11
3	38	11
4	83	11
5	114	11
6	154	11
7	219	11
8	265	11
9	301	11
10	307	11
0	307	11

Iter	Nodes	Cost
0	13	31
1	40	26
2	106	25
3	323	25
4	517	25
5	612	25
0	5	5
0	7	5
1	12	5
2	22	5
3	38	5
4	83	5
5	114	5
6	154	5
7	219	5
8	265	5
9	301	5
10	307	5
0	307	5

Iter	Nodes	Cost
0	5	11
0	7	11
1	12	11
2	22	11
3	38	11
4	83	11
5	114	11
6	154	11
7	219	11
8	265	11
9	301	11
10	307	11
0	307	11

start0.0ms (0%)

analyze0.0ms (0%)

sample1.0s (27.9%)

explain102.0ms (2.8%)

preprocess81.0ms (2.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify61.0ms (1.6%)

localize13.0ms (0.4%)

series3.0ms (0.1%)

simplify271.0ms (7.4%)

rewrite162.0ms (4.4%)

eval107.0ms (2.9%)

prune9.0ms (0.2%)

simplify5.0ms (0.1%)

localize19.0ms (0.5%)

series3.0ms (0.1%)

simplify239.0ms (6.5%)

rewrite123.0ms (3.3%)

eval21.0ms (0.6%)

prune87.0ms (2.4%)

regimes8.0ms (0.2%)

regimes13.0ms (0.4%)

regimes6.0ms (0.2%)

bsearch1.0ms (0%)

simplify283.0ms (7.7%)

soundness942.0ms (25.6%)

preprocess96.0ms (2.6%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	13	31
1	40	26
2	106	25
3	323	25
4	517	25
5	612	25
0	5	5
0	7	5
1	12	5
2	22	5
3	38	5
4	83	5
5	114	5
6	154	5
7	219	5
8	265	5
9	301	5
10	307	5
0	307	5

Iter	Nodes	Cost
0	5	11
0	7	11
1	12	11
2	22	11
3	38	11
4	83	11
5	114	11
6	154	11
7	219	11
8	265	11
9	301	11
10	307	11
0	307	11