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

analyze11.0ms (0.6%)

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)

sample1.0s (57%)

Results

911.0ms	7176×	body	256	valid
89.0ms	1080×	body	256	infinite

Bogosity

preprocess92.0ms (5.2%)

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.4%)

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.2%)

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

rewrite98.0ms (5.5%)

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

simplify55.0ms (3.1%)

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

eval16.0ms (0.9%)

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

prune12.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
▶	74.7%	(-.f64 1 (/.f64 x y))
▶	26.3%	(+.f64 -1 (/.f64 x y))
▶	74.7%	(-.f64 1 (/.f64 x y))
▶	26.3%	(+.f64 -1 (/.f64 x y))

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize30.0ms (1.7%)

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
✓	74.7%	(-.f64 1 (/.f64 x y))
✓	26.3%	(+.f64 -1 (/.f64 x y))

Compiler

Compiled 40 to 24 computations (40% saved)

regimes13.0ms (0.7%)

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:

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

regimes35.0ms (2%)

Counts

2 → 6

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))
(+.f64 -1 (/.f64 x y))

Calls

2 calls:

18.0ms	x
16.0ms	y

Results

Accuracy	Segments	Branch
80.6%	6	`x`
78.6%	5	`y`

Compiler

Compiled 18 to 11 computations (38.9% saved)

regimes6.0ms (0.3%)

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	y
3.0ms	x

Results

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

bsearch57.0ms (3.2%)

Algorithm

5×	binary-search

Stop Event

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

Steps

Time	Left	Right
16.0ms	2.502679645493713e+286	9.416775193273515e+298
6.0ms	2.1003741310700312e+260	3.1457071023901104e+260
3.0ms	1.3319110444211103e+154	1.6276293474694453e+154
17.0ms	-2.3020480448128857e+126	-6.420671991896411e+113
14.0ms	-5.965358322307174e+159	-8.684193961851912e+158

Results

30.0ms	340×	body	256	valid
20.0ms	172×	body	256	infinite

Compiler

Compiled 526 to 394 computations (25.1% saved)

simplify8.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative`
12×	`sub-neg`
12×	`not-or`
10×	`not-not`
10×	`if-not`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	35	211
1	49	199
2	61	187
3	74	171
4	85	171
5	93	167
6	97	167
7	99	167
8	100	167

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 x -3999999999999999713938775948673683089222933880237876272519723551711089625219576494466961122018984802295926681725673198094806934918755122597676251531346781929472) (-.f64 1 (/.f64 x y)) (if (<=.f64 x -1700000000000000006142121970396393462026334495711435944860589440557232770274433522561292370929471288808444007235030477701120) (+.f64 -1 (/.f64 x y)) (if (<=.f64 x 15000000000000001298496038999574854037221349022080675856012921172039509217266793356799400692677585977189403561424740135192327629840926310196001356373819392) (-.f64 1 (/.f64 x y)) (if (<=.f64 x 235000000000000010574039639362071127797106675184992440979398736170805297391385958077316916339688459915767776365730052311517502673080316669647529449727506721787947188622343968459981902494557574299922096179124042847748990236671627756442043164545811054204261761024) (+.f64 -1 (/.f64 x y)) (if (<=.f64 x 40999999999999998327692692992208781554210731232819217357663914076955575432913324466511059424680081255896041979496063757666910578266680959365716228828909640280135681269525306866976436325225659382828654911207788231136957042010089681568949342613813818639274406358843628746082656739165651101915545600) (-.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 x -3999999999999999713938775948673683089222933880237876272519723551711089625219576494466961122018984802295926681725673198094806934918755122597676251531346781929472) (-.f64 1 (/.f64 x y)) (if (<=.f64 x -1700000000000000006142121970396393462026334495711435944860589440557232770274433522561292370929471288808444007235030477701120) (+.f64 -1 (/.f64 x y)) (if (<=.f64 x 15000000000000001298496038999574854037221349022080675856012921172039509217266793356799400692677585977189403561424740135192327629840926310196001356373819392) (-.f64 1 (/.f64 x y)) (if (<=.f64 x 235000000000000010574039639362071127797106675184992440979398736170805297391385958077316916339688459915767776365730052311517502673080316669647529449727506721787947188622343968459981902494557574299922096179124042847748990236671627756442043164545811054204261761024) (+.f64 -1 (/.f64 x y)) (if (<=.f64 x 40999999999999998327692692992208781554210731232819217357663914076955575432913324466511059424680081255896041979496063757666910578266680959365716228828909640280135681269525306866976436325225659382828654911207788231136957042010089681568949342613813818639274406358843628746082656739165651101915545600) (-.f64 1 (/.f64 x y)) (+.f64 -1 (/.f64 x y)))))))
(if (<=.f64 x -3999999999999999713938775948673683089222933880237876272519723551711089625219576494466961122018984802295926681725673198094806934918755122597676251531346781929472) (-.f64 1 (/.f64 x y)) (if (<=.f64 x -1700000000000000006142121970396393462026334495711435944860589440557232770274433522561292370929471288808444007235030477701120) (+.f64 (/.f64 x y) -1) (if (<=.f64 x 15000000000000001298496038999574854037221349022080675856012921172039509217266793356799400692677585977189403561424740135192327629840926310196001356373819392) (-.f64 1 (/.f64 x y)) (if (or (<=.f64 x 235000000000000010574039639362071127797106675184992440979398736170805297391385958077316916339688459915767776365730052311517502673080316669647529449727506721787947188622343968459981902494557574299922096179124042847748990236671627756442043164545811054204261761024) (not (<=.f64 x 40999999999999998327692692992208781554210731232819217357663914076955575432913324466511059424680081255896041979496063757666910578266680959365716228828909640280135681269525306866976436325225659382828654911207788231136957042010089681568949342613813818639274406358843628746082656739165651101915545600))) (+.f64 (/.f64 x y) -1) (-.f64 1 (/.f64 x y))))))
(if (<=.f64 x -3999999999999999713938775948673683089222933880237876272519723551711089625219576494466961122018984802295926681725673198094806934918755122597676251531346781929472) (-.f64 1 (/.f64 x y)) (if (<=.f64 x -1700000000000000006142121970396393462026334495711435944860589440557232770274433522561292370929471288808444007235030477701120) (+.f64 (/.f64 x y) -1) (if (or (<=.f64 x 15000000000000001298496038999574854037221349022080675856012921172039509217266793356799400692677585977189403561424740135192327629840926310196001356373819392) (not (or (<=.f64 x 235000000000000010574039639362071127797106675184992440979398736170805297391385958077316916339688459915767776365730052311517502673080316669647529449727506721787947188622343968459981902494557574299922096179124042847748990236671627756442043164545811054204261761024) (not (<=.f64 x 40999999999999998327692692992208781554210731232819217357663914076955575432913324466511059424680081255896041979496063757666910578266680959365716228828909640280135681269525306866976436325225659382828654911207788231136957042010089681568949342613813818639274406358843628746082656739165651101915545600))))) (-.f64 1 (/.f64 x y)) (+.f64 (/.f64 x y) -1))))
(if (<=.f64 x -3999999999999999713938775948673683089222933880237876272519723551711089625219576494466961122018984802295926681725673198094806934918755122597676251531346781929472) (-.f64 1 (/.f64 x y)) (if (or (<=.f64 x -1700000000000000006142121970396393462026334495711435944860589440557232770274433522561292370929471288808444007235030477701120) (not (or (<=.f64 x 15000000000000001298496038999574854037221349022080675856012921172039509217266793356799400692677585977189403561424740135192327629840926310196001356373819392) (not (or (<=.f64 x 235000000000000010574039639362071127797106675184992440979398736170805297391385958077316916339688459915767776365730052311517502673080316669647529449727506721787947188622343968459981902494557574299922096179124042847748990236671627756442043164545811054204261761024) (not (<=.f64 x 40999999999999998327692692992208781554210731232819217357663914076955575432913324466511059424680081255896041979496063757666910578266680959365716228828909640280135681269525306866976436325225659382828654911207788231136957042010089681568949342613813818639274406358843628746082656739165651101915545600))))))) (+.f64 (/.f64 x y) -1) (-.f64 1 (/.f64 x y))))
(if (or (<=.f64 x -3999999999999999713938775948673683089222933880237876272519723551711089625219576494466961122018984802295926681725673198094806934918755122597676251531346781929472) (not (or (<=.f64 x -1700000000000000006142121970396393462026334495711435944860589440557232770274433522561292370929471288808444007235030477701120) (not (or (<=.f64 x 15000000000000001298496038999574854037221349022080675856012921172039509217266793356799400692677585977189403561424740135192327629840926310196001356373819392) (and (not (<=.f64 x 235000000000000010574039639362071127797106675184992440979398736170805297391385958077316916339688459915767776365730052311517502673080316669647529449727506721787947188622343968459981902494557574299922096179124042847748990236671627756442043164545811054204261761024)) (<=.f64 x 40999999999999998327692692992208781554210731232819217357663914076955575432913324466511059424680081255896041979496063757666910578266680959365716228828909640280135681269525306866976436325225659382828654911207788231136957042010089681568949342613813818639274406358843628746082656739165651101915545600))))))) (-.f64 1 (/.f64 x y)) (+.f64 (/.f64 x y) -1))
(if (or (<=.f64 x -3999999999999999713938775948673683089222933880237876272519723551711089625219576494466961122018984802295926681725673198094806934918755122597676251531346781929472) (and (not (<=.f64 x -1700000000000000006142121970396393462026334495711435944860589440557232770274433522561292370929471288808444007235030477701120)) (or (<=.f64 x 15000000000000001298496038999574854037221349022080675856012921172039509217266793356799400692677585977189403561424740135192327629840926310196001356373819392) (and (not (<=.f64 x 235000000000000010574039639362071127797106675184992440979398736170805297391385958077316916339688459915767776365730052311517502673080316669647529449727506721787947188622343968459981902494557574299922096179124042847748990236671627756442043164545811054204261761024)) (<=.f64 x 40999999999999998327692692992208781554210731232819217357663914076955575432913324466511059424680081255896041979496063757666910578266680959365716228828909640280135681269525306866976436325225659382828654911207788231136957042010089681568949342613813818639274406358843628746082656739165651101915545600))))) (-.f64 1 (/.f64 x y)) (+.f64 (/.f64 x y) -1))
(+.f64 -1 (/.f64 x y))
(+.f64 (/.f64 x y) -1)

Compiler

Compiled 50 to 35 computations (30% saved)

soundness262.0ms (14.7%)

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

preprocess37.0ms (2.1%)

Compiler: Compiled 110 to 72 computations (34.5% saved)

analyze11.0ms (0.6%)

sample1.0s (57%)

preprocess92.0ms (5.2%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize25.0ms (1.4%)

series4.0ms (0.2%)

rewrite98.0ms (5.5%)

simplify55.0ms (3.1%)

eval16.0ms (0.9%)

prune12.0ms (0.7%)

localize30.0ms (1.7%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes13.0ms (0.7%)

regimes35.0ms (2%)

regimes6.0ms (0.3%)

bsearch57.0ms (3.2%)

simplify8.0ms (0.5%)

soundness262.0ms (14.7%)

end0.0ms (0%)

preprocess37.0ms (2.1%)

Profiling