Metrics for Numeric.LinearAlgebra.Util:formatSparse from hmatrix-0.16.1.5

analyze11.0ms (0.7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
50%	50%	50%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	7
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	8
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	9
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	10
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	11
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample746.0ms (51.3%)

Results

649.0ms	7230×	body	256	valid
85.0ms	1026×	body	256	infinite

Bogosity

preprocess54.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

130×	`fma-def`
48×	`times-frac`
36×	`associate-/r*`
34×	`sub-neg`
32×	`associate-/l*`

Problems

256×

No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	158
1	42	150
2	83	150
3	174	150
4	253	150
5	316	150
6	363	150
7	371	150

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 (neg.f64 x) y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x (neg.f64 y))) (fabs.f64 (neg.f64 y)))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 x))

Outputs
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 (neg.f64 x) y)) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x (neg.f64 y))) (fabs.f64 (neg.f64 y)))
(/.f64 (fabs.f64 (-.f64 (neg.f64 x) y)) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 x))

Compiler

Compiled 30 to 13 computations (56.7% saved)

eval0.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
▶	100.0%	(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))

Compiler

Compiled 18 to 12 computations (33.3% saved)

localize25.0ms (1.7%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))

Compiler

Compiled 21 to 7 computations (66.7% saved)

series4.0ms (0.3%)

Counts

1 → 8

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
1.0ms	y	@	-inf	(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
0.0ms	y	@	inf	(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
0.0ms	y	@	0	(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
0.0ms	x	@	inf	(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))

rewrite99.0ms (6.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1242×	`prod-diff`
645×	`log1p-expm1-u`
645×	`expm1-log1p-u`
570×	`log-prod`
472×	`fma-def`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	149	22
2	2315	22

Stop Event

1×	node limit

Counts

1 → 51

Calls

Call 1

Inputs
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))

Outputs
(+.f64 0 (/.f64 (-.f64 y x) y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 y x) y))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 y x) y))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 y x) y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 y x) y)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 y x) y)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 y x) y))) 1)
(-.f64 (/.f64 y y) (/.f64 x y))
(*.f64 (-.f64 y x) (/.f64 1 y))
(*.f64 (/.f64 (-.f64 y x) y) 1)
(*.f64 (/.f64 (-.f64 y x) y) (log.f64 (exp.f64 1)))
(*.f64 1 (/.f64 (-.f64 y x) y))
(*.f64 (cbrt.f64 (/.f64 (-.f64 y x) y)) (cbrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2)) (cbrt.f64 (/.f64 (-.f64 y x) y)))
(.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (.f64 (cbrt.f64 (-.f64 y x)) (/.f64 1 y)))
(*.f64 (sqrt.f64 (/.f64 (-.f64 y x) y)) (sqrt.f64 (/.f64 (-.f64 y x) y)))
(.f64 (sqrt.f64 (-.f64 y x)) (.f64 (sqrt.f64 (-.f64 y x)) (/.f64 1 y)))
(*.f64 (neg.f64 (-.f64 y x)) (/.f64 1 (neg.f64 y)))
(*.f64 (/.f64 1 y) (-.f64 y x))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 (-.f64 y x) y)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (sqrt.f64 y)) (/.f64 (cbrt.f64 (-.f64 y x)) (sqrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 y x) (cbrt.f64 y)))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (-.f64 y x) (sqrt.f64 y)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) 1) (/.f64 (cbrt.f64 (-.f64 y x)) y))
(*.f64 (/.f64 (sqrt.f64 (-.f64 y x)) 1) (/.f64 (sqrt.f64 (-.f64 y x)) y))
(*.f64 (/.f64 (sqrt.f64 (-.f64 y x)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (-.f64 y x)) (cbrt.f64 y)))
(pow.f64 (/.f64 (-.f64 y x) y) 1)
(pow.f64 (cbrt.f64 (/.f64 (-.f64 y x) y)) 3)
(pow.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2) 1/2)
(pow.f64 (pow.f64 (/.f64 (-.f64 y x) y) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (-.f64 y x) y)) 2)
(pow.f64 (/.f64 y (-.f64 y x)) -1)
(pow.f64 (/.f64 (/.f64 y (-.f64 y x)) 1) -1)
(neg.f64 (/.f64 (-.f64 y x) (neg.f64 y)))
(sqrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2))
(fabs.f64 (/.f64 (-.f64 y x) y))
(fabs.f64 (neg.f64 (/.f64 (-.f64 y x) y)))
(fabs.f64 (/.f64 (-.f64 y x) (neg.f64 y)))
(fabs.f64 (/.f64 (neg.f64 (-.f64 y x)) y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (/.f64 (-.f64 x y) (neg.f64 y)))
(log.f64 (exp.f64 (/.f64 (-.f64 y x) y)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 y x) y))))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 y x) y) 3))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 y x) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 y x) y)))
(exp.f64 (log.f64 (/.f64 (-.f64 y x) y)))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 y x) y)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 (-.f64 y x) y)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (-.f64 y x) y))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 (-.f64 y x) y))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (-.f64 y x) y))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 y (-.f64 y x))) -1))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 y x) y)))

simplify60.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

876×	`log-prod`
860×	`fma-def`
670×	`log-div`
664×	`distribute-lft-in`
646×	`distribute-rgt-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	147	1754
1	332	1496
2	1082	1460
3	6191	1434

Stop Event

1×	node limit

Counts

59 → 73

Calls

Call 1

Inputs
(/.f64 (fabs.f64 (neg.f64 (+.f64 x (*.f64 -1 y)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 x (*.f64 -1 y)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 x (*.f64 -1 y)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 x (*.f64 -1 y)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (*.f64 -1 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (*.f64 -1 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (*.f64 -1 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (*.f64 -1 x))) (fabs.f64 y))
(+.f64 0 (/.f64 (-.f64 y x) y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 y x) y))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 y x) y))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 y x) y)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 y x) y)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 y x) y)))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 y x) y))) 1)
(-.f64 (/.f64 y y) (/.f64 x y))
(*.f64 (-.f64 y x) (/.f64 1 y))
(*.f64 (/.f64 (-.f64 y x) y) 1)
(*.f64 (/.f64 (-.f64 y x) y) (log.f64 (exp.f64 1)))
(*.f64 1 (/.f64 (-.f64 y x) y))
(*.f64 (cbrt.f64 (/.f64 (-.f64 y x) y)) (cbrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2)) (cbrt.f64 (/.f64 (-.f64 y x) y)))
(.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (.f64 (cbrt.f64 (-.f64 y x)) (/.f64 1 y)))
(*.f64 (sqrt.f64 (/.f64 (-.f64 y x) y)) (sqrt.f64 (/.f64 (-.f64 y x) y)))
(.f64 (sqrt.f64 (-.f64 y x)) (.f64 (sqrt.f64 (-.f64 y x)) (/.f64 1 y)))
(*.f64 (neg.f64 (-.f64 y x)) (/.f64 1 (neg.f64 y)))
(*.f64 (/.f64 1 y) (-.f64 y x))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 (-.f64 y x) y)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (sqrt.f64 y)) (/.f64 (cbrt.f64 (-.f64 y x)) (sqrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 y x) (cbrt.f64 y)))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (-.f64 y x) (sqrt.f64 y)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) 1) (/.f64 (cbrt.f64 (-.f64 y x)) y))
(*.f64 (/.f64 (sqrt.f64 (-.f64 y x)) 1) (/.f64 (sqrt.f64 (-.f64 y x)) y))
(*.f64 (/.f64 (sqrt.f64 (-.f64 y x)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (-.f64 y x)) (cbrt.f64 y)))
(pow.f64 (/.f64 (-.f64 y x) y) 1)
(pow.f64 (cbrt.f64 (/.f64 (-.f64 y x) y)) 3)
(pow.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2) 1/2)
(pow.f64 (pow.f64 (/.f64 (-.f64 y x) y) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (-.f64 y x) y)) 2)
(pow.f64 (/.f64 y (-.f64 y x)) -1)
(pow.f64 (/.f64 (/.f64 y (-.f64 y x)) 1) -1)
(neg.f64 (/.f64 (-.f64 y x) (neg.f64 y)))
(sqrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2))
(fabs.f64 (/.f64 (-.f64 y x) y))
(fabs.f64 (neg.f64 (/.f64 (-.f64 y x) y)))
(fabs.f64 (/.f64 (-.f64 y x) (neg.f64 y)))
(fabs.f64 (/.f64 (neg.f64 (-.f64 y x)) y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (/.f64 (-.f64 x y) (neg.f64 y)))
(log.f64 (exp.f64 (/.f64 (-.f64 y x) y)))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 y x) y))))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 y x) y) 3))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 y x) 3) (pow.f64 y 3)))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 y x) y)))
(exp.f64 (log.f64 (/.f64 (-.f64 y x) y)))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 y x) y)) 1))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 (-.f64 y x) y)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (-.f64 y x) y))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 (-.f64 y x) y))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (-.f64 y x) y))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 y (-.f64 y x))) -1))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 y x) y)))

Outputs
(/.f64 (fabs.f64 (neg.f64 (+.f64 x (*.f64 -1 y)))) (fabs.f64 y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 x (*.f64 -1 y)))) (fabs.f64 y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 x (*.f64 -1 y)))) (fabs.f64 y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 x (*.f64 -1 y)))) (fabs.f64 y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(/.f64 (fabs.f64 (+.f64 y (*.f64 -1 x))) (fabs.f64 y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(/.f64 (fabs.f64 (+.f64 y (*.f64 -1 x))) (fabs.f64 y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(/.f64 (fabs.f64 (+.f64 y (*.f64 -1 x))) (fabs.f64 y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(/.f64 (fabs.f64 (+.f64 y (*.f64 -1 x))) (fabs.f64 y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(+.f64 0 (/.f64 (-.f64 y x) y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 y x) y))) (cbrt.f64 (exp.f64 (/.f64 (-.f64 y x) y))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (-.f64 y x) y)))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 x y)))) (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 x y)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 x y))))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 x y)))))) (log.f64 (cbrt.f64 (exp.f64 (-.f64 1 (/.f64 x y))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (+.f64 -1 (/.f64 x y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 y x) y)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 y x) y)))))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 y x) y))) 1)
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(-.f64 (/.f64 y y) (/.f64 x y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(*.f64 (-.f64 y x) (/.f64 1 y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(*.f64 (/.f64 (-.f64 y x) y) 1)
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(*.f64 (/.f64 (-.f64 y x) y) (log.f64 (exp.f64 1)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(*.f64 1 (/.f64 (-.f64 y x) y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(*.f64 (cbrt.f64 (/.f64 (-.f64 y x) y)) (cbrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2)))
(*.f64 (cbrt.f64 (-.f64 1 (/.f64 x y))) (cbrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2)))
(*.f64 (cbrt.f64 (-.f64 1 (/.f64 x y))) (cbrt.f64 (pow.f64 (-.f64 1 (/.f64 x y)) 2)))
(*.f64 (cbrt.f64 (+.f64 -1 (/.f64 x y))) (cbrt.f64 (pow.f64 (+.f64 -1 (/.f64 x y)) 2)))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2)) (cbrt.f64 (/.f64 (-.f64 y x) y)))
(*.f64 (cbrt.f64 (-.f64 1 (/.f64 x y))) (cbrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2)))
(*.f64 (cbrt.f64 (-.f64 1 (/.f64 x y))) (cbrt.f64 (pow.f64 (-.f64 1 (/.f64 x y)) 2)))
(*.f64 (cbrt.f64 (+.f64 -1 (/.f64 x y))) (cbrt.f64 (pow.f64 (+.f64 -1 (/.f64 x y)) 2)))
(.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (.f64 (cbrt.f64 (-.f64 y x)) (/.f64 1 y)))
(.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (.f64 (/.f64 1 y) (cbrt.f64 (-.f64 y x))))
(*.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (/.f64 (cbrt.f64 (-.f64 y x)) y))
(/.f64 (cbrt.f64 (-.f64 x y)) (/.f64 y (cbrt.f64 (pow.f64 (-.f64 x y) 2))))
(*.f64 (sqrt.f64 (/.f64 (-.f64 y x) y)) (sqrt.f64 (/.f64 (-.f64 y x) y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(.f64 (sqrt.f64 (-.f64 y x)) (.f64 (sqrt.f64 (-.f64 y x)) (/.f64 1 y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(*.f64 (neg.f64 (-.f64 y x)) (/.f64 1 (neg.f64 y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(*.f64 (/.f64 1 y) (-.f64 y x))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 (-.f64 y x) y)))
(*.f64 (cbrt.f64 (-.f64 1 (/.f64 x y))) (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (pow.f64 (cbrt.f64 y) 2)))
(/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (/.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 (+.f64 -1 (/.f64 x y)))))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (sqrt.f64 y)) (/.f64 (cbrt.f64 (-.f64 y x)) (sqrt.f64 y)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (sqrt.f64 y)) (/.f64 (cbrt.f64 (-.f64 x y)) (sqrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 y x) (cbrt.f64 y)))
(/.f64 (/.f64 (-.f64 y x) (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2))
(/.f64 (-.f64 x y) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
(/.f64 (-.f64 x y) (pow.f64 (cbrt.f64 y) 3))
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (-.f64 y x) (sqrt.f64 y)))
(/.f64 (/.f64 (-.f64 y x) (sqrt.f64 y)) (sqrt.f64 y))
(/.f64 (-.f64 x y) (*.f64 (sqrt.f64 y) (sqrt.f64 y)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) 1) (/.f64 (cbrt.f64 (-.f64 y x)) y))
(.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (.f64 (/.f64 1 y) (cbrt.f64 (-.f64 y x))))
(*.f64 (cbrt.f64 (pow.f64 (-.f64 x y) 2)) (/.f64 (cbrt.f64 (-.f64 y x)) y))
(/.f64 (cbrt.f64 (-.f64 x y)) (/.f64 y (cbrt.f64 (pow.f64 (-.f64 x y) 2))))
(*.f64 (/.f64 (sqrt.f64 (-.f64 y x)) 1) (/.f64 (sqrt.f64 (-.f64 y x)) y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(*.f64 (/.f64 (sqrt.f64 (-.f64 y x)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (-.f64 y x)) (cbrt.f64 y)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 y x) (cbrt.f64 y)))
(/.f64 (/.f64 (-.f64 y x) (cbrt.f64 y)) (pow.f64 (cbrt.f64 y) 2))
(/.f64 (-.f64 x y) (*.f64 (pow.f64 (cbrt.f64 y) 2) (cbrt.f64 y)))
(/.f64 (-.f64 x y) (pow.f64 (cbrt.f64 y) 3))
(pow.f64 (/.f64 (-.f64 y x) y) 1)
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(pow.f64 (cbrt.f64 (/.f64 (-.f64 y x) y)) 3)
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(pow.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2) 1/2)
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(pow.f64 (pow.f64 (/.f64 (-.f64 y x) y) 3) 1/3)
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(pow.f64 (sqrt.f64 (/.f64 (-.f64 y x) y)) 2)
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(pow.f64 (/.f64 y (-.f64 y x)) -1)
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(pow.f64 (/.f64 (/.f64 y (-.f64 y x)) 1) -1)
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(neg.f64 (/.f64 (-.f64 y x) (neg.f64 y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(sqrt.f64 (pow.f64 (/.f64 y (-.f64 y x)) -2))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(fabs.f64 (/.f64 (-.f64 y x) y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(fabs.f64 (neg.f64 (/.f64 (-.f64 y x) y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(fabs.f64 (/.f64 (-.f64 y x) (neg.f64 y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(fabs.f64 (/.f64 (neg.f64 (-.f64 y x)) y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(fabs.f64 (/.f64 (-.f64 x y) y))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(fabs.f64 (/.f64 (-.f64 x y) (neg.f64 y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(log.f64 (exp.f64 (/.f64 (-.f64 y x) y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (-.f64 y x) y))))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 y x) y) 3))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 y x) 3) (pow.f64 y 3)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 y x) y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(exp.f64 (log.f64 (/.f64 (-.f64 y x) y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 y x) y)) 1))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(exp.f64 (.f64 (.f64 (log.f64 (/.f64 (-.f64 y x) y)) 1) 1))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (-.f64 y x) y))) 3))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(exp.f64 (.f64 (.f64 3 (log.f64 (/.f64 (-.f64 y x) y))) 1/3))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (-.f64 y x) y))) 2))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(exp.f64 (*.f64 (log.f64 (/.f64 y (-.f64 y x))) -1))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 y x) y)))
(fabs.f64 (-.f64 (/.f64 x y) 1))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))

eval13.0ms (0.9%)

Compiler: Compiled 791 to 322 computations (59.3% saved)

prune10.0ms (0.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	2	74

Accuracy

100.0%

Counts

74 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	68.6%	(-.f64 1 (/.f64 x y))
▶	32.5%	(+.f64 -1 (/.f64 x y))
▶	68.6%	(-.f64 1 (/.f64 x y))
▶	32.5%	(+.f64 -1 (/.f64 x y))

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize32.0ms (2.2%)

Compiler: Compiled 25 to 10 computations (60% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	2	2
Done	0	0
Total	2	2

Accuracy

100.0%

Counts

2 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	68.6%	(-.f64 1 (/.f64 x y))
✓	32.5%	(+.f64 -1 (/.f64 x y))

Compiler

Compiled 40 to 24 computations (40% saved)

regimes13.0ms (0.9%)

Counts

4 → 1

Calls

Call 1

Inputs
(+.f64 -1 (/.f64 x y))
(-.f64 1 (/.f64 x y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))

Outputs
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))

Calls

3 calls:

4.0ms	x
4.0ms	y
3.0ms	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))`

Compiler

Compiled 41 to 24 computations (41.5% saved)

regimes32.0ms (2.2%)

Counts

2 → 5

Calls

Call 1

Inputs
(+.f64 -1 (/.f64 x y))
(-.f64 1 (/.f64 x y))

Outputs
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(-.f64 1 (/.f64 x y))
(+.f64 -1 (/.f64 x y))
(-.f64 1 (/.f64 x y))

Calls

2 calls:

16.0ms	y
15.0ms	x

Results

Accuracy	Segments	Branch
73.6%	4	`x`
76.0%	5	`y`

Compiler

Compiled 18 to 11 computations (38.9% saved)

regimes6.0ms (0.4%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(+.f64 -1 (/.f64 x y))

Outputs
(+.f64 -1 (/.f64 x y))

Calls

2 calls:

3.0ms	x
3.0ms	y

Results

Accuracy	Segments	Branch
32.5%	1	`x`
32.5%	1	`y`

Compiler

Compiled 13 to 9 computations (30.8% saved)

bsearch34.0ms (2.3%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
6.0ms	4.838085232598409e-139	7.459155383869937e-139
7.0ms	7.832397939907066e-173	1.1613101565307502e-172
14.0ms	5.939777447825279e-204	1.1612952709165632e-197
6.0ms	-7.291059225878803e-213	-4.6968524546498106e-213

Results

20.0ms	228×	body	256	valid
9.0ms	108×	body	256	infinite

Compiler

Compiled 350 to 262 computations (25.1% saved)

simplify8.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative`
12×	`sub-neg`
8×	`not-or`
6×	`neg-mul-1`
6×	`not-not`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	32	180
1	46	168
2	58	156
3	71	152
4	79	152
5	84	152
6	85	152
7	86	152

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))

(if (<=.f64 y -483266740157081/94758184344525691842589080106353915726128296943157752144717531617800961467674370503593652882607817257720198406807316479868870852301929589321550737002025216015896910157522577243058183937475491017166931103132108688408987234729984) (-.f64 1 (/.f64 x y)) (if (<=.f64 y 3033608744706093/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144) (+.f64 -1 (/.f64 x y)) (if (<=.f64 y 3654909247210163/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (-.f64 1 (/.f64 x y)) (if (<=.f64 y 6569825885671873/13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096) (+.f64 -1 (/.f64 x y)) (-.f64 1 (/.f64 x y))))))

(+.f64 -1 (/.f64 x y))

Outputs
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(if (<=.f64 y -483266740157081/94758184344525691842589080106353915726128296943157752144717531617800961467674370503593652882607817257720198406807316479868870852301929589321550737002025216015896910157522577243058183937475491017166931103132108688408987234729984) (-.f64 1 (/.f64 x y)) (if (<=.f64 y 3033608744706093/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144) (+.f64 -1 (/.f64 x y)) (if (<=.f64 y 3654909247210163/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (-.f64 1 (/.f64 x y)) (if (<=.f64 y 6569825885671873/13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096) (+.f64 -1 (/.f64 x y)) (-.f64 1 (/.f64 x y))))))
(if (<=.f64 y -483266740157081/94758184344525691842589080106353915726128296943157752144717531617800961467674370503593652882607817257720198406807316479868870852301929589321550737002025216015896910157522577243058183937475491017166931103132108688408987234729984) (-.f64 1 (/.f64 x y)) (if (<=.f64 y 3033608744706093/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144) (+.f64 (/.f64 x y) -1) (if (or (<=.f64 y 3654909247210163/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (not (<=.f64 y 6569825885671873/13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096))) (-.f64 1 (/.f64 x y)) (+.f64 (/.f64 x y) -1))))
(if (<=.f64 y -483266740157081/94758184344525691842589080106353915726128296943157752144717531617800961467674370503593652882607817257720198406807316479868870852301929589321550737002025216015896910157522577243058183937475491017166931103132108688408987234729984) (-.f64 1 (/.f64 x y)) (if (or (<=.f64 y 3033608744706093/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144) (not (or (<=.f64 y 3654909247210163/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (not (<=.f64 y 6569825885671873/13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096))))) (+.f64 (/.f64 x y) -1) (-.f64 1 (/.f64 x y))))
(if (or (<=.f64 y -483266740157081/94758184344525691842589080106353915726128296943157752144717531617800961467674370503593652882607817257720198406807316479868870852301929589321550737002025216015896910157522577243058183937475491017166931103132108688408987234729984) (not (or (<=.f64 y 3033608744706093/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144) (not (or (<=.f64 y 3654909247210163/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (not (<=.f64 y 6569825885671873/13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096))))))) (-.f64 1 (/.f64 x y)) (+.f64 (/.f64 x y) -1))
(if (or (<=.f64 y -483266740157081/94758184344525691842589080106353915726128296943157752144717531617800961467674370503593652882607817257720198406807316479868870852301929589321550737002025216015896910157522577243058183937475491017166931103132108688408987234729984) (not (or (<=.f64 y 3033608744706093/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144) (and (not (<=.f64 y 3654909247210163/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608)) (<=.f64 y 6569825885671873/13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096))))) (-.f64 1 (/.f64 x y)) (+.f64 (/.f64 x y) -1))
(if (or (<=.f64 y -483266740157081/94758184344525691842589080106353915726128296943157752144717531617800961467674370503593652882607817257720198406807316479868870852301929589321550737002025216015896910157522577243058183937475491017166931103132108688408987234729984) (and (not (<=.f64 y 3033608744706093/1378913065775496824682182051857728448902028277271278088224317349054049721856053955032165000485952146958446223387833982704161766047792183079895777875237766653530662154044294980748355504146827894396365898183024673030144)) (or (<=.f64 y 3654909247210163/34808659497239648579720852704622583960672214563358764118798771041101647699040812580153753748454066465596331097210650690541753423472407821641942301328447068696990926165468330002463334596608) (not (<=.f64 y 6569825885671873/13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096))))) (-.f64 1 (/.f64 x y)) (+.f64 (/.f64 x y) -1))
(+.f64 -1 (/.f64 x y))
(+.f64 (/.f64 x y) -1)

Compiler

Compiled 46 to 32 computations (30.4% saved)

soundness264.0ms (18.2%)

Rules

876×	`log-prod`
876×	`log-prod`
860×	`fma-def`
860×	`fma-def`
670×	`log-div`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	158
1	42	150
2	83	150
3	174	150
4	253	150
5	316	150
6	363	150
7	371	150
0	147	1754
1	332	1496
2	1082	1460
3	6191	1434
0	147	1754
1	332	1496
2	1082	1460
3	6191	1434

Stop Event

1×	node limit
1×	node limit
1×	saturated

Compiler

Compiled 308 to 120 computations (61% saved)

end0.0ms (0%)

preprocess38.0ms (2.7%)

Compiler: Compiled 102 to 66 computations (35.3% saved)

analyze11.0ms (0.7%)

sample746.0ms (51.3%)

preprocess54.0ms (3.7%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize25.0ms (1.7%)

series4.0ms (0.3%)

rewrite99.0ms (6.8%)

simplify60.0ms (4.2%)

eval13.0ms (0.9%)

prune10.0ms (0.7%)

localize32.0ms (2.2%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes13.0ms (0.9%)

regimes32.0ms (2.2%)

regimes6.0ms (0.4%)

bsearch34.0ms (2.3%)

simplify8.0ms (0.5%)

soundness264.0ms (18.2%)

end0.0ms (0%)

preprocess38.0ms (2.7%)

Profiling