Details

analyze74.0ms (5.8%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
40.6%	40.6%	59.3%	0.1%	0%	0%	0%	7
46%	45.3%	53.1%	0.1%	1.6%	0%	0%	8
65.3%	63.2%	33.6%	0.1%	3.1%	0%	0%	9
69.5%	66%	28.9%	0.1%	5.1%	0%	0%	10
80.9%	75.1%	17.8%	0.1%	7%	0%	0%	11
83.6%	76.6%	15%	0.1%	8.3%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample839.0ms (66%)

Results

784.0ms	8256×	body	256	valid
43.0ms	367×	body	256	infinite

Bogosity

preprocess47.0ms (3.7%)

Algorithm

2×	egg-herbie

Rules

80×	`fma-def`
50×	`associate-/l*`
50×	`associate-/r*`
48×	`associate-r`
44×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	42
1	18	42
2	26	42
3	39	42
4	67	42
5	120	42
6	189	42
7	227	42
8	276	42
9	382	42
10	416	42
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.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 x))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 x))

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify20.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

80×	`fma-def`
60×	`associate--r+`
36×	`associate-+l-`
36×	`+-commutative`
34×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	13	21
2	20	21
3	30	21
4	48	21
5	95	21
6	188	21
7	243	21
8	268	21
9	298	21
10	335	21
11	343	21

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize7.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))

Compiler

Compiled 20 to 6 computations (70% saved)

series3.0ms (0.3%)

Counts

1 → 8

Calls

6 calls:

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

rewrite59.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1922×	`add-sqr-sqrt`
1906×	`*-un-lft-identity`
1784×	`add-cube-cbrt`
1764×	`add-cbrt-cube`
212×	`pow1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	199	13
2	2975	13

Stop Event

1×	node limit

Counts

1 → 39

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x y) (/.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fabs.f64 (-.f64 x y)) (/.f64 1 y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (pow.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) 2) (.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 y) (fabs.f64 (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (fabs.f64 (-.f64 x y)) (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) 2) 1) (/.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 y (fabs.f64 (-.f64 x y))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fabs.f64 (-.f64 x y)) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (fabs.f64 (-.f64 x y)) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (-.f64 y x) y))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (-.f64 y x) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (fabs.f64 (-.f64 x y))) y))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x y) (/.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fabs.f64 (-.f64 x y)) (/.f64 1 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (*.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (pow.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) 2) (*.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 y) (fabs.f64 (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fabs.f64 (-.f64 x y))) (/.f64 1 (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 y) 2)) (/.f64 (fabs.f64 (-.f64 x y)) (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) 1) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))) (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) 2) 1) (/.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))) 2) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 y (fabs.f64 (-.f64 x y))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fabs.f64 (-.f64 x y)) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (fabs.f64 (-.f64 x y)) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (-.f64 y x) y))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (-.f64 y x) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (fabs.f64 (-.f64 x y))) y))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))))

simplify66.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

1644×	`distribute-lft-in`
1630×	`distribute-rgt-in`
1198×	`associate-r`
948×	`associate-l`
654×	`associate-+r+`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	108	933
1	259	909
2	943	909
3	4720	909

Stop Event

1×	node limit

Counts

47 → 52

Calls

Call 1

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

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

eval10.0ms (0.7%)

Compiler: Compiled 593 to 189 computations (68.1% saved)

prune7.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	50	2	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	51	2	53

Error

Counts

53 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	51.0b	(+.f64 (/.f64 x y) -1)
▶	0b	(fabs.f64 (-.f64 1 (/.f64 x y)))

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize7.0ms (0.5%)

Compiler: Compiled 19 to 9 computations (52.6% saved)

localize5.0ms (0.4%)

Compiler: Compiled 13 to 6 computations (53.8% saved)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

2 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	51.0b	(+.f64 (/.f64 x y) -1)
✓	0b	(fabs.f64 (-.f64 1 (/.f64 x y)))

Compiler

Compiled 15 to 11 computations (26.7% saved)

regimes10.0ms (0.8%)

Accuracy

Total -51.0b remaining (-∞%)

Threshold costs -51.0b (-∞%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))`

Compiler

Compiled 35 to 22 computations (37.1% saved)

simplify5.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

8×	`sub-neg`
8×	`+-commutative`
4×	`neg-mul-1`
4×	`*-commutative`
4×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	18	30
2	24	30
3	28	30
4	31	30
5	32	30

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 15 to 11 computations (26.7% saved)

soundness95.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

1644×	`distribute-lft-in`
1630×	`distribute-rgt-in`
1198×	`associate-r`
948×	`associate-l`
654×	`associate-+r+`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	108	933
1	259	909
2	943	909
3	4720	909

Stop Event

1×	node limit

Compiler

Compiled 56 to 29 computations (48.2% saved)

end15.0ms (1.2%)

Compiler: Compiled 13 to 8 computations (38.5% saved)

Iter	Nodes	Cost
0	13	42
1	18	42
2	26	42
3	39	42
4	67	42
5	120	42
6	189	42
7	227	42
8	276	42
9	382	42
10	416	42
0	2	2

Iter	Nodes	Cost
0	9	21
1	13	21
2	20	21
3	30	21
4	48	21
5	95	21
6	188	21
7	243	21
8	268	21
9	298	21
10	335	21
11	343	21

Iter	Nodes	Cost
0	13	42
1	18	42
2	26	42
3	39	42
4	67	42
5	120	42
6	189	42
7	227	42
8	276	42
9	382	42
10	416	42
0	2	2

Iter	Nodes	Cost
0	9	21
1	13	21
2	20	21
3	30	21
4	48	21
5	95	21
6	188	21
7	243	21
8	268	21
9	298	21
10	335	21
11	343	21

Details

analyze74.0ms (5.8%)

sample839.0ms (66%)

preprocess47.0ms (3.7%)

simplify20.0ms (1.6%)

eval0.0ms (0%)

prune2.0ms (0.1%)

localize7.0ms (0.5%)

series3.0ms (0.3%)

rewrite59.0ms (4.7%)

simplify66.0ms (5.2%)

eval10.0ms (0.7%)

prune7.0ms (0.5%)

localize7.0ms (0.5%)

localize5.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes10.0ms (0.8%)

simplify5.0ms (0.4%)

soundness95.0ms (7.5%)

end15.0ms (1.2%)

Profiling

Iter	Nodes	Cost
0	13	42
1	18	42
2	26	42
3	39	42
4	67	42
5	120	42
6	189	42
7	227	42
8	276	42
9	382	42
10	416	42
0	2	2

Iter	Nodes	Cost
0	9	21
1	13	21
2	20	21
3	30	21
4	48	21
5	95	21
6	188	21
7	243	21
8	268	21
9	298	21
10	335	21
11	343	21