Details

analyze198.0ms (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
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)

sample2.0s (61.4%)

Results

1.9s	8256×	body	256	valid
56.0ms	392×	body	256	infinite

Bogosity

preprocess31.0ms (1%)

Algorithm

2×	egg-herbie

Rules

6×	`rational.json-simplify-71`
2×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	42
1	17	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)

simplify640.0ms (19.5%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-71`
2×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	13	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))

eval1.0ms (0%)

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

prune1.0ms (0%)

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)

localize13.0ms (0.4%)

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)

series13.0ms (0.4%)

Counts

1 → 8

Calls

6 calls:

Time	Variable		Point	Expression
9.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))
1.0ms	x	@	inf	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
1.0ms	x	@	0	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
1.0ms	y	@	inf	(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))

rewrite109.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1992×	`rational.json-5`
1990×	`rational.json-1`
1990×	`rational.json-2`
1990×	`rational.json-4`
1990×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	78	21
2	274	21
3	1096	21
4	4328	21

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 0)))) (#(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 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (/.f64 (fabs.f64 (-.f64 x y)) y) (/.f64 (fabs.f64 (-.f64 x y)) y)))))) (#(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 (.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (.f64 (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) (/.f64 (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.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)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 0)))) (#(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 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (/.f64 (fabs.f64 (-.f64 x y)) y) (/.f64 (fabs.f64 (-.f64 x y)) y)))))) (#(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 (*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (*.f64 (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) (/.f64 (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.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)))))

simplify240.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

1964×	`rational.json-simplify-47`
962×	`rational.json-simplify-2`
886×	`rational.json-simplify-50`
822×	`rational.json-simplify-104`
770×	`rational.json-simplify-1`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	39	589
1	76	551
2	144	475
3	454	475
4	1870	399
5	5721	399

Stop Event

1×	node limit

Counts

19 → 17

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

Outputs
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 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 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 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 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 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 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 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 (*.f64 -1 y) x)) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 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 (*.f64 -1 y) x)) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 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 (*.f64 -1 y) x)) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 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 (*.f64 -1 y) x)) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(+.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 0)
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(+.f64 0 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(-.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 0)
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 1)
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (/.f64 (fabs.f64 (-.f64 x y)) y) (/.f64 (fabs.f64 (-.f64 x y)) y)))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(*.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(.f64 (.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(.f64 (.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (*.f64 (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) 1))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(.f64 (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(.f64 (.f64 (.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))) (/.f64 (/.f64 1 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))) (*.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)))))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))
(pow.f64 (/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y)) 1)
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (*.f64 -1 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (neg.f64 (+.f64 y (neg.f64 x)))) (fabs.f64 y))
(/.f64 (fabs.f64 (+.f64 y (neg.f64 x))) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 x y)) (fabs.f64 y))
(/.f64 (fabs.f64 (-.f64 y x)) (fabs.f64 y))

eval4.0ms (0.1%)

Compiler: Compiled 261 to 59 computations (77.4% saved)

prune3.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	1	18

Error

0.0b

Counts

18 → 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 18 to 12 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

soundness0.0ms (0%)

end14.0ms (0.4%)

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

Details

analyze198.0ms (6%)

sample2.0s (61.4%)

preprocess31.0ms (1%)

simplify640.0ms (19.5%)

eval1.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.4%)

series13.0ms (0.4%)

rewrite109.0ms (3.3%)

simplify240.0ms (7.3%)

eval4.0ms (0.1%)

prune3.0ms (0.1%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end14.0ms (0.4%)

Profiling