Metrics for Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, B

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

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

sample591.0ms (20.5%)

Memory

7.7MiB live, 788.1MiB allocated

Samples

350.0ms

8 256×

valid

Precisions

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

ival-add: 81.0ms (47.5% of total)

ival-mult: 75.0ms (44% of total)

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

exact: 5.0ms (2.9% of total)

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

Bogosity

explain47.0ms (1.6%)

Memory

-10.7MiB live, 78.9MiB allocated

FPErrors

Click to see full error table

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

19.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-add: 3.0ms (41.3% of total)

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

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

exact: 0.0ms (0% of total)

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

preprocess133.0ms (4.6%)

Memory

-8.1MiB live, 29.8MiB allocated

Algorithm

1×	egg-herbie

Rules

102×	`unsub-neg`
74×	`distribute-lft-in`
68×	`distribute-rgt-in`
68×	`associate-r`
68×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	31
1	57	27
2	162	25
3	388	25
4	514	25
5	615	25
6	620	25
0	5	5
0	7	5
1	17	5
2	21	5
3	34	5
4	34	5
0	34	4

Stop Event

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

Calls

Call 1

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

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

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 5 to 5 computations (0% saved)

simplify4.0ms (0.1%)

Memory

3.1MiB live, 3.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

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

Rules

28×	`lower-*.f32`
26×	`lower-*.f64`
16×	`lower-fma.f64`
16×	`lower-fma.f32`
8×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
0	7	11
1	17	11
2	21	11
3	34	11
4	34	11
0	34	10

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize13.0ms (0.5%)

Memory

16.3MiB live, 16.3MiB allocated

Localize:

Found 2 expressions of interest:

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

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.7% of total)

ival-add: 1.0ms (28.4% 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

5.0MiB live, 5.0MiB allocated

Counts

2 → 36

Calls

Call 1

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

Inputs

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

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

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

Calls

6 calls:

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

simplify232.0ms (8%)

Memory

-8.6MiB live, 71.4MiB allocated

Algorithm

1×	egg-herbie

Rules

3 472×	`lower-fma.f64`
3 472×	`lower-fma.f32`
2 232×	`lower-/.f32`
2 232×	`lower-/.f64`
2 112×	`lower-*.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	142
1	63	142
2	136	142
3	336	142
4	1268	142
5	2642	142
6	3266	142
7	3557	142
8	3733	142
9	3767	142
10	4347	142
11	5640	142
12	6396	142
13	6645	142
14	6701	142
15	6701	142
16	7189	142
17	7285	142
18	7437	142
19	7497	142
0	8093	121

Stop Event

1×	iter limit
1×	node limit

Counts

36 → 33

Calls

Call 1

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

rewrite192.0ms (6.7%)

Memory

17.8MiB live, 215.0MiB allocated

Rules

7 892×	`lower-fma.f64`
7 892×	`lower-fma.f32`
4 072×	`lower-/.f64`
4 072×	`lower-/.f32`
3 458×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
0	7	8
1	30	8
2	173	8
3	1266	8
0	8426	7

Stop Event

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

Counts

2 → 279

Calls

Call 1

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

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

eval87.0ms (3%)

Memory: -28.1MiB live, 89.3MiB allocated
Compiler: Compiled 6 423 to 807 computations (87.4% saved)

prune5.0ms (0.2%)

Memory

31.7MiB live, 31.7MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	309	3	312
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	310	3	313

Accuracy

100.0%

Counts

313 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 y x x)
▶	47.7%	(*.f64 x #s(approx (+ y 1) #s(literal 1 binary64)))
▶	54.8%	#s(approx (* x (+ y 1)) (*.f64 y x))

Compiler

Compiled 12 to 12 computations (0% saved)

simplify6.0ms (0.2%)

Memory

-26.5MiB live, 12.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 5 expressions of interest:

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

Rules

40×	`lower-*.f32`
36×	`lower-*.f64`
16×	`lower-fma.f32`
14×	`lower-fma.f64`
12×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	34
0	13	33
1	25	33
2	25	33
3	44	33
4	44	33
0	44	33

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize23.0ms (0.8%)

Memory

13.6MiB live, 49.3MiB allocated

Localize:

Found 5 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 y x x)
accuracy	0.00390625	(*.f64 x #s(approx (+ y 1) #s(literal 1 binary64)))
accuracy	33.701080739740654	#s(approx (+ y 1) #s(literal 1 binary64))
accuracy	0	(*.f64 y x)
accuracy	28.922364329606417	#s(approx (* x (+ y 1)) (*.f64 y x))

Samples

17.0ms

256×

valid

Compiler

Compiled 29 to 9 computations (69% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

series6.0ms (0.2%)

Memory

15.0MiB live, 15.0MiB allocated

Counts

5 → 108

Calls

Call 1

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

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

Calls

6 calls:

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

simplify252.0ms (8.7%)

Memory

-21.1MiB live, 104.3MiB allocated

Algorithm

1×	egg-herbie

Rules

2 840×	`lower-fma.f64`
2 840×	`lower-fma.f32`
1 792×	`lower-/.f32`
1 792×	`lower-/.f64`
1 676×	`lower-*.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	438
1	74	438
2	162	438
3	389	438
4	1416	438
5	2597	438
6	3130	438
7	3458	438
8	3618	438
9	3624	438
10	4475	438
11	5777	438
12	6911	438
13	7598	438
14	7637	438
15	7649	438
0	8329	375

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 103

Calls

Call 1

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

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

rewrite261.0ms (9%)

Memory

9.6MiB live, 336.8MiB allocated

Rules

8 298×	`lower-fma.f32`
8 296×	`lower-fma.f64`
4 642×	`lower-/.f64`
4 642×	`lower-/.f32`
4 138×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	28
0	13	27
1	50	27
2	292	27
3	2641	27
0	9223	27

Stop Event

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

Counts

5 → 177

Calls

Call 1

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

eval131.0ms (4.5%)

Memory: -24.0MiB live, 52.2MiB allocated
Compiler: Compiled 4 698 to 510 computations (89.1% saved)

prune6.0ms (0.2%)

Memory

19.2MiB live, 19.2MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	280	0	280
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	280	3	283

Accuracy

100.0%

Counts

283 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 y x x)
✓	47.7%	(*.f64 x #s(approx (+ y 1) #s(literal 1 binary64)))
✓	54.8%	#s(approx (* x (+ y 1)) (*.f64 y x))

Compiler

Compiled 29 to 22 computations (24.1% saved)

regimes12.0ms (0.4%)

Memory

-28.3MiB live, 16.3MiB allocated

Counts

4 → 1

Calls

Call 1

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

Outputs
(fma.f64 y x x)

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes6.0ms (0.2%)

Memory

17.0MiB live, 17.0MiB allocated

Counts

2 → 3

Calls

Call 1

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
60.3%	3	`x`
98.7%	3	`y`
85.6%	3	`(*.f64 x (+.f64 y #s(literal 1 binary64)))`
98.7%	3	`(+.f64 y #s(literal 1 binary64))`

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes5.0ms (0.2%)

Memory

14.5MiB live, 14.5MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (* x (+ y 1)) (*.f64 y x))

Outputs
#s(approx (* x (+ y 1)) (*.f64 y x))

Calls

4 calls:

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

Results

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

Compiler

Compiled 10 to 13 computations (-30% saved)

bsearch1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.0000169247538682	229768.85415199565
0.0ms	-3372.6748024929466	0.9999999628618257

Compiler

Compiled 8 to 10 computations (-25% saved)

simplify40.0ms (1.4%)

Memory

-25.1MiB live, 51.6MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`-commutative-binary64-.f64`
2×	`1-exp-binary32-exp.f32`
2×	`1-exp-binary64-exp.f64`
2×	`+-commutative-binary64-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	50
1	23	50

Stop Event

1×

saturated

Calls

Call 1

Inputs

(fma.f64 y x x)

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

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

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

soundness725.0ms (25.1%)

Memory

10.8MiB live, 197.8MiB allocated

Rules

7 892×	`lower-fma.f64`
7 892×	`lower-fma.f32`
4 072×	`lower-/.f64`
4 072×	`lower-/.f32`
3 472×	`lower-fma.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
0	7	8
1	30	8
2	173	8
3	1266	8
0	8426	7
0	19	142
1	63	142
2	136	142
3	336	142
4	1268	142
5	2642	142
6	3266	142
7	3557	142
8	3733	142
9	3767	142
10	4347	142
11	5640	142
12	6396	142
13	6645	142
14	6701	142
15	6701	142
16	7189	142
17	7285	142
18	7437	142
19	7497	142
0	8093	121

Stop Event

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

Compiler

Compiled 50 to 31 computations (38% saved)

preprocess104.0ms (3.6%)

Memory: 3.4MiB live, 96.5MiB allocated
Remove: (negabs x)
Compiler: Compiled 100 to 60 computations (40% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	13	31
1	57	27
2	162	25
3	388	25
4	514	25
5	615	25
6	620	25
0	5	5
0	7	5
1	17	5
2	21	5
3	34	5
4	34	5
0	34	4

Iter	Nodes	Cost
0	13	31
1	57	27
2	162	25
3	388	25
4	514	25
5	615	25
6	620	25
0	5	5
0	7	5
1	17	5
2	21	5
3	34	5
4	34	5
0	34	4

start0.0ms (0%)

analyze0.0ms (0%)

sample591.0ms (20.5%)

explain47.0ms (1.6%)

preprocess133.0ms (4.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify4.0ms (0.1%)

localize13.0ms (0.5%)

series3.0ms (0.1%)

simplify232.0ms (8%)

rewrite192.0ms (6.7%)

eval87.0ms (3%)

prune5.0ms (0.2%)

simplify6.0ms (0.2%)

localize23.0ms (0.8%)

series6.0ms (0.2%)

simplify252.0ms (8.7%)

rewrite261.0ms (9%)

eval131.0ms (4.5%)

prune6.0ms (0.2%)

regimes12.0ms (0.4%)

regimes6.0ms (0.2%)

regimes5.0ms (0.2%)

bsearch1.0ms (0%)

simplify40.0ms (1.4%)

soundness725.0ms (25.1%)

preprocess104.0ms (3.6%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	13	31
1	57	27
2	162	25
3	388	25
4	514	25
5	615	25
6	620	25
0	5	5
0	7	5
1	17	5
2	21	5
3	34	5
4	34	5
0	34	4