Details

analyze24.0ms (0.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	50%	50%	0%	0%	0%	0
0%	0%	50%	50%	0%	0%	0%	1
50%	25%	25%	50%	0%	0%	0%	2
50%	25%	25%	50%	0%	0%	0%	3
75%	37.5%	12.5%	50%	0%	0%	0%	4
75%	37.5%	12.5%	50%	0%	0%	0%	5
87.5%	43.7%	6.2%	50%	0%	0%	0%	6
87.5%	43.7%	6.2%	50%	0%	0%	0%	7
93.8%	46.8%	3.1%	50%	0%	0%	0%	8
93.8%	46.8%	3.1%	50%	0%	0%	0%	9
96.9%	48.4%	1.6%	50%	0%	0%	0%	10
96.9%	48.4%	1.6%	50%	0%	0%	0%	11
98.4%	49.2%	0.8%	50%	0%	0%	0%	12

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample3.9s (60.7%)

Results

3.8s

8256×

body

256

valid

Bogosity

preprocess825.0ms (13%)

Algorithm

2×	egg-herbie

Rules

6792×	`rational_best-simplify-108`
3668×	`rational_best-simplify-65`
1092×	`rational_best-simplify-107`
704×	`rational_best-simplify-3`
582×	`rational_best-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	13	22
2	21	22
3	33	22
4	61	22
5	130	22
6	299	22
7	769	22
8	1346	22
9	1632	22
10	1816	22
11	2000	22
12	2184	22
13	2368	22
14	2552	22
15	2736	22
16	2736	22
17	2920	22
18	3104	22
19	5464	22
20	5464	22
21	5690	22
22	5690	22
23	6098	22
24	6506	22
25	6914	22
26	7322	22
27	7730	22
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 8 to 6 computations (25% saved)

simplify626.0ms (9.8%)

Algorithm

1×	egg-herbie

Rules

6964×	`rational_best-simplify-108`
4356×	`rational_best-simplify-65`
684×	`rational_best-simplify-3`
526×	`rational_best-simplify-47`
390×	`rational_best-simplify-107`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	24	11
4	45	11
5	96	11
6	224	11
7	592	11
8	940	11
9	1541	11
10	2101	11
11	2483	11
12	2865	11
13	2865	11
14	3940	11
15	3958	11
16	4371	11
17	4784	11
18	5197	11
19	5197	11
20	5197	11
21	6612	11
22	6612	11
23	7193	11
24	7752	11

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

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

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

eval2.0ms (0%)

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

prune2.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	(atan.f64 (/.f64 y x))

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize15.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 4 computations (63.6% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

rewrite267.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1154×	`rational_best-simplify-55`
760×	`rational_best-simplify-64`
634×	`rational_best-4`
634×	`rational_best-2`
634×	`rational_best-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	47	11
2	110	11
3	334	11
4	1542	11

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

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

Outputs

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

simplify619.0ms (9.7%)

Algorithm

1×	egg-herbie

Rules

1528×	`rational_best-simplify-85`
954×	`rational_best-simplify-3`
732×	`rational_best-simplify-50`
682×	`rational_best-simplify-49`
676×	`rational_best-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	220
1	91	220
2	232	220
3	857	220
4	5391	220

Stop Event

1×	node limit

Counts

20 → 21

Calls

Call 1

Inputs
(+.f64 (atan.f64 (/.f64 y x)) 0)
(+.f64 0 (atan.f64 (/.f64 y x)))
(+.f64 (/.f64 (atan.f64 (/.f64 y x)) 2) (/.f64 (atan.f64 (/.f64 y x)) 2))
(+.f64 (/.f64 (/.f64 (atan.f64 (/.f64 y x)) 2) 2) (+.f64 (/.f64 (/.f64 (atan.f64 (/.f64 y x)) 2) 2) (/.f64 (atan.f64 (/.f64 y x)) 2)))
(-.f64 (atan.f64 (/.f64 y x)) 0)
(-.f64 (/.f64 (atan.f64 (/.f64 y x)) 2) (/.f64 (neg.f64 (atan.f64 (/.f64 y x))) 2))
(-.f64 (/.f64 (atan.f64 (/.f64 y x)) 2) (neg.f64 (/.f64 (atan.f64 (/.f64 y x)) 2)))
(*.f64 (atan.f64 (/.f64 y x)) 1)
(*.f64 1 (atan.f64 (/.f64 y x)))
(.f64 2 (.f64 (atan.f64 (/.f64 y x)) 1/2))
(.f64 (.f64 (atan.f64 (/.f64 y x)) 2) 1/2)
(.f64 1/2 (.f64 (atan.f64 (/.f64 y x)) 2))
(.f64 (.f64 (atan.f64 (/.f64 y x)) 4) 1/4)
(.f64 1/4 (.f64 (atan.f64 (/.f64 y x)) 4))
(.f64 (.f64 2 (*.f64 (atan.f64 (/.f64 y x)) 4)) 1/8)
(/.f64 (atan.f64 (/.f64 y x)) 1)
(/.f64 (*.f64 (atan.f64 (/.f64 y x)) 2) 2)
(/.f64 (*.f64 (atan.f64 (/.f64 y x)) 4) 4)
(/.f64 (.f64 2 (.f64 (atan.f64 (/.f64 y x)) 4)) 8)
(pow.f64 (atan.f64 (/.f64 y x)) 1)

Outputs
(+.f64 (atan.f64 (/.f64 y x)) 0)
(atan.f64 (/.f64 y x))
(+.f64 0 (atan.f64 (/.f64 y x)))
(atan.f64 (/.f64 y x))
(+.f64 (/.f64 (atan.f64 (/.f64 y x)) 2) (/.f64 (atan.f64 (/.f64 y x)) 2))
(atan.f64 (/.f64 y x))
(+.f64 (/.f64 (/.f64 (atan.f64 (/.f64 y x)) 2) 2) (+.f64 (/.f64 (/.f64 (atan.f64 (/.f64 y x)) 2) 2) (/.f64 (atan.f64 (/.f64 y x)) 2)))
(atan.f64 (/.f64 y x))
(-.f64 (atan.f64 (/.f64 y x)) 0)
(atan.f64 (/.f64 y x))
(-.f64 (/.f64 (atan.f64 (/.f64 y x)) 2) (/.f64 (neg.f64 (atan.f64 (/.f64 y x))) 2))
(atan.f64 (/.f64 y x))
(-.f64 (/.f64 (atan.f64 (/.f64 y x)) 2) (neg.f64 (/.f64 (atan.f64 (/.f64 y x)) 2)))
(atan.f64 (/.f64 y x))
(*.f64 (atan.f64 (/.f64 y x)) 1)
(atan.f64 (/.f64 y x))
(*.f64 1 (atan.f64 (/.f64 y x)))
(atan.f64 (/.f64 y x))
(.f64 2 (.f64 (atan.f64 (/.f64 y x)) 1/2))
(atan.f64 (/.f64 y x))
(.f64 (.f64 (atan.f64 (/.f64 y x)) 2) 1/2)
(atan.f64 (/.f64 y x))
(.f64 1/2 (.f64 (atan.f64 (/.f64 y x)) 2))
(atan.f64 (/.f64 y x))
(.f64 (.f64 (atan.f64 (/.f64 y x)) 4) 1/4)
(atan.f64 (/.f64 y x))
(.f64 1/4 (.f64 (atan.f64 (/.f64 y x)) 4))
(atan.f64 (/.f64 y x))
(.f64 (.f64 2 (*.f64 (atan.f64 (/.f64 y x)) 4)) 1/8)
(atan.f64 (/.f64 y x))
(/.f64 (atan.f64 (/.f64 y x)) 1)
(atan.f64 (/.f64 y x))
(/.f64 (*.f64 (atan.f64 (/.f64 y x)) 2) 2)
(atan.f64 (/.f64 y x))
(/.f64 (*.f64 (atan.f64 (/.f64 y x)) 4) 4)
(atan.f64 (/.f64 y x))
(/.f64 (.f64 2 (.f64 (atan.f64 (/.f64 y x)) 4)) 8)
(atan.f64 (/.f64 y x))
(pow.f64 (atan.f64 (/.f64 y x)) 1)
(atan.f64 (/.f64 y x))

eval6.0ms (0.1%)

Compiler: Compiled 189 to 87 computations (54% saved)

prune77.0ms (1.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	1	22

Error

0.0b

Counts

22 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(atan.f64 (/.f64 y x))

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

soundness0.0ms (0%)

end30.0ms (0.5%)

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

Details

analyze24.0ms (0.4%)

sample3.9s (60.7%)

preprocess825.0ms (13%)

simplify626.0ms (9.8%)

eval2.0ms (0%)

prune2.0ms (0%)

localize15.0ms (0.2%)

series2.0ms (0%)

rewrite267.0ms (4.2%)

simplify619.0ms (9.7%)

eval6.0ms (0.1%)

prune77.0ms (1.2%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end30.0ms (0.5%)

Profiling