Details

analyze167.0ms (6.3%)

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
25%	25%	74.9%	0.1%	0%	0%	0%	6
40.6%	40.6%	59.3%	0.1%	0%	0%	0%	7
55.6%	54.6%	43.7%	0.1%	1.6%	0%	0%	8
65.3%	63.2%	33.6%	0.1%	3.1%	0%	0%	9
75.1%	70.6%	23.4%	0.1%	5.9%	0%	0%	10
80.9%	75.1%	17.8%	0.1%	7%	0%	0%	11
86.7%	78.9%	12.1%	0.1%	8.9%	0%	0%	12

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample1.3s (48.5%)

Results

1.2s	8256×	body	256	valid
62.0ms	343×	body	256	infinite

Bogosity

preprocess31.0ms (1.2%)

Algorithm

2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify30.0ms (1.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 7 to 4 computations (42.9% 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 (-.f64 x y) x)

Compiler

Compiled 7 to 4 computations (42.9% saved)

localize12.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite123.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1292×	`rational.json-5`
1290×	`exponential.json-3`
1290×	`rational.json-1`
1290×	`rational.json-2`
1290×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	50	13
2	181	13
3	663	13
4	2514	13

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 (-.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (/.f64 (-.f64 x y) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 x y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 x y) x) (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (-.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (-.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 1 (/.f64 (-.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (-.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))) (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 x y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (-.f64 x y) x)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x y) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 (-.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (/.f64 (-.f64 x y) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x y) x) (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (-.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (-.f64 x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 1 (/.f64 (-.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (-.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))) (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))) (*.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))) (*.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))) (*.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 x y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (-.f64 x y) x)))))))

simplify164.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

1502×	`rational.json-simplify-111`
1030×	`rational.json-simplify-47`
788×	`rational.json-simplify-2`
702×	`rational.json-simplify-55`
620×	`rational.json-simplify-54`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	605
1	81	563
2	179	563
3	943	491
4	4631	491

Stop Event

1×	node limit

Counts

41 → 25

Calls

Call 1

Inputs
(*.f64 -1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(*.f64 -1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(*.f64 -1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (/.f64 (-.f64 x y) x) 0)
(+.f64 0 (/.f64 (-.f64 x y) x))
(-.f64 (/.f64 (-.f64 x y) x) 0)
(-.f64 0 (neg.f64 (/.f64 (-.f64 x y) x)))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (-.f64 x y) x))) 1)
(*.f64 (/.f64 (-.f64 x y) x) 1)
(*.f64 (/.f64 (-.f64 x y) x) (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))
(*.f64 1 (/.f64 (-.f64 x y) x))
(*.f64 (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (-.f64 x y) x))
(.f64 (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 1 (/.f64 (-.f64 x y) x)))
(.f64 (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (-.f64 x y) x)))
(.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))
(.f64 (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))) (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))
(.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))))
(.f64 (.f64 (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))))
(pow.f64 (/.f64 (-.f64 x y) x) 1)
(neg.f64 (neg.f64 (/.f64 (-.f64 x y) x)))

Outputs
(*.f64 -1 (/.f64 y x))
(neg.f64 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
1
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(*.f64 -1 (/.f64 y x))
(neg.f64 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(*.f64 -1 (/.f64 y x))
(neg.f64 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 1 (*.f64 -1 (/.f64 y x)))
(+.f64 (*.f64 -1 (/.f64 y x)) 1)
(+.f64 (neg.f64 (/.f64 y x)) 1)
(-.f64 1 (/.f64 y x))
(+.f64 (/.f64 (-.f64 x y) x) 0)
(/.f64 (-.f64 x y) x)
(+.f64 0 (/.f64 (-.f64 x y) x))
(/.f64 (-.f64 x y) x)
(-.f64 (/.f64 (-.f64 x y) x) 0)
(/.f64 (-.f64 x y) x)
(-.f64 0 (neg.f64 (/.f64 (-.f64 x y) x)))
(/.f64 (-.f64 x y) x)
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (-.f64 x y) x))) 1)
(/.f64 (-.f64 x y) x)
(*.f64 (/.f64 (-.f64 x y) x) 1)
(/.f64 (-.f64 x y) x)
(*.f64 (/.f64 (-.f64 x y) x) (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))
(/.f64 (-.f64 x y) x)
(*.f64 1 (/.f64 (-.f64 x y) x))
(/.f64 (-.f64 x y) x)
(*.f64 (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (-.f64 x y) x))
(/.f64 (-.f64 x y) x)
(.f64 (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 1 (/.f64 (-.f64 x y) x)))
(/.f64 (-.f64 x y) x)
(.f64 (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (/.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)) (/.f64 (-.f64 x y) x)))
(/.f64 (-.f64 x y) x)
(.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))
(/.f64 (-.f64 x y) x)
(.f64 (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))) (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))
(/.f64 (-.f64 x y) x)
(.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (*.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))))
(/.f64 (-.f64 x y) x)
(.f64 (.f64 (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x)))) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x y) x)) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (.f64 (/.f64 (-.f64 x y) x) (/.f64 (-.f64 x y) x))))))
(/.f64 (-.f64 x y) x)
(pow.f64 (/.f64 (-.f64 x y) x) 1)
(/.f64 (-.f64 x y) x)
(neg.f64 (neg.f64 (/.f64 (-.f64 x y) x)))
(/.f64 (-.f64 x y) x)

eval5.0ms (0.2%)

Compiler: Compiled 388 to 71 computations (81.7% saved)

prune11.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	22	3	25
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	23	3	26

Error

Counts

26 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(-.f64 1 (/.f64 y x))
▶	33.4b	(neg.f64 (/.f64 y x))
	30.1b	1

Compiler

Compiled 16 to 12 computations (25% saved)

localize7.0ms (0.3%)

Compiler: Compiled 11 to 4 computations (63.6% saved)

localize8.0ms (0.3%)

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

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(-.f64 1 (/.f64 y x))
✓	33.4b	(neg.f64 (/.f64 y x))
	30.1b	1

Compiler

Compiled 16 to 12 computations (25% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(-.f64 1 (/.f64 y x))
✓	33.4b	(neg.f64 (/.f64 y x))
	30.1b	1

Compiler

Compiled 16 to 12 computations (25% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(-.f64 1 (/.f64 y x))
✓	33.4b	(neg.f64 (/.f64 y x))
	30.1b	1

Compiler

Compiled 16 to 12 computations (25% saved)

regimes23.0ms (0.9%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

3 calls:

10.0ms	(/.f64 (-.f64 x y) x)
6.0ms	y
6.0ms	x

Results

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

Compiler

Compiled 30 to 17 computations (43.3% saved)

regimes71.0ms (2.7%)

Accuracy

Total -47.0b remaining (-316.8%)

Threshold costs -47.0b (-316.8%)

Counts

2 → 9

Calls

Call 1

Inputs
1
(neg.f64 (/.f64 y x))

Outputs
1
(neg.f64 (/.f64 y x))
1
(neg.f64 (/.f64 y x))
1
(neg.f64 (/.f64 y x))
1
(neg.f64 (/.f64 y x))
1

Calls

2 calls:

50.0ms	x
20.0ms	y

Results

Error	Segments	Branch
14.8b	9	`x`
18.1b	3	`y`

Compiler

Compiled 13 to 9 computations (30.8% saved)

bsearch165.0ms (6.3%)

Algorithm

8×	binary-search

Steps

Time	Left	Right
25.0ms	5.497939013774029e+53	9.915885416875169e+64
20.0ms	1.1376133148520458e+33	2.387394260060269e+36
26.0ms	5.341034917980553e-60	4.958351409206993e-56
26.0ms	-1.8144198521097095e-105	-6.4706260766745e-119
21.0ms	-1.470206237393211e-50	-1.0013491673884803e-56
13.0ms	-49776540.75997023	-36426559.158511266
13.0ms	-6.298353890047497e+37	-7.943259659936651e+36
20.0ms	-7.022184092473792e+84	-8.661946614676229e+83

Results

139.0ms	960×	body	256	valid
5.0ms	43×	body	256	infinite

Compiler

Compiled 672 to 548 computations (18.5% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	135

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 x -879999999999999994757927642668658325237403690843704639481016440762156093239384342528) 1 (if (<=.f64 x -35000000000000000156556734783540953088) (neg.f64 (/.f64 y x)) (if (<=.f64 x -38000000) 1 (if (<=.f64 x -8424983333484575/1684996666696914987166688442938726917102321526408785780068975640576) (neg.f64 (/.f64 y x)) (if (<=.f64 x -2231063894667089/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064) 1 (if (<=.f64 x 7067388259113537/1766847064778384329583297500742918515827483896875618958121606201292619776) (neg.f64 (/.f64 y x)) (if (<=.f64 x 2000000000000000084841274748035923968) 1 (if (<=.f64 x 549999999999999975003873838340241420593026678583721984) (neg.f64 (/.f64 y x)) 1))))))))

Outputs

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

(if (<=.f64 x -879999999999999994757927642668658325237403690843704639481016440762156093239384342528) 1 (if (<=.f64 x -35000000000000000156556734783540953088) (neg.f64 (/.f64 y x)) (if (<=.f64 x -38000000) 1 (if (<=.f64 x -8424983333484575/1684996666696914987166688442938726917102321526408785780068975640576) (neg.f64 (/.f64 y x)) (if (<=.f64 x -2231063894667089/165263992197562149737978827008192759957101170741070304821162198818601447809077836456297302609928821211897803006255839576064) 1 (if (<=.f64 x 7067388259113537/1766847064778384329583297500742918515827483896875618958121606201292619776) (neg.f64 (/.f64 y x)) (if (<=.f64 x 2000000000000000084841274748035923968) 1 (if (<=.f64 x 549999999999999975003873838340241420593026678583721984) (neg.f64 (/.f64 y x)) 1))))))))

Compiler

Compiled 65 to 41 computations (36.9% saved)

soundness454.0ms (17.2%)

Algorithm

1×	egg-herbie

Rules

1502×	`rational.json-simplify-111`
1030×	`rational.json-simplify-47`
788×	`rational.json-simplify-2`
702×	`rational.json-simplify-55`
620×	`rational.json-simplify-54`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	605
1	81	563
2	179	563
3	943	491
4	4631	491

Stop Event

1×	node limit

Compiler

Compiled 48 to 28 computations (41.7% saved)

end73.0ms (2.8%)

Compiler: Compiled 61 to 36 computations (41% saved)

Details

analyze167.0ms (6.3%)

sample1.3s (48.5%)

preprocess31.0ms (1.2%)

simplify30.0ms (1.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize12.0ms (0.5%)

series3.0ms (0.1%)

rewrite123.0ms (4.7%)

simplify164.0ms (6.2%)

eval5.0ms (0.2%)

prune11.0ms (0.4%)

localize7.0ms (0.3%)

localize8.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes23.0ms (0.9%)

regimes71.0ms (2.7%)

bsearch165.0ms (6.3%)

simplify5.0ms (0.2%)

soundness454.0ms (17.2%)

end73.0ms (2.8%)

Profiling