Metrics for ABCF->ab-angle angle

analyze91.0ms (2.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%	49.9%	49.9%	0.1%	0%	0%	0%	3
50%	49.9%	49.9%	0.1%	0%	0%	0%	4
50%	49.9%	49.9%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
75%	74.9%	25%	0.1%	0%	0%	0%	7
75%	74.9%	25%	0.1%	0%	0%	0%	8
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	9
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	10
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	11
93.8%	93.6%	6.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 27 to 21 computations (22.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 56.0ms

ival-pow: 14.0ms (25.1% of total)

ival-mult: 13.0ms (23.3% of total)

ival-sub: 8.0ms (14.4% of total)

ival-div: 7.0ms (12.6% of total)

ival-sqrt: 4.0ms (7.2% of total)

ival-add: 3.0ms (5.4% of total)

ival-atan: 3.0ms (5.4% of total)

ival-pi: 2.0ms (3.6% of total)

const: 1.0ms (1.8% of total)

sample3.3s (93.9%)

Results

1.1s	5632×	0	valid
776.0ms	1214×	2	valid
306.0ms	748×	1	valid
580.0ms	662×	3	valid

Precisions

Click to see histograms. Total time spent on operations: 2.0s

ival-pow: 418.0ms (20.9% of total)

backward-pass: 319.0ms (15.9% of total)

ival-div: 285.0ms (14.2% of total)

ival-sub: 258.0ms (12.9% of total)

ival-mult: 232.0ms (11.6% of total)

ival-atan: 163.0ms (8.1% of total)

ival-sqrt: 140.0ms (7% of total)

ival-add: 78.0ms (3.9% of total)

ival-pi: 70.0ms (3.5% of total)

const: 39.0ms (1.9% of total)

Bogosity

preprocess127.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

864×	`fma-define`
813×	`div-sub`
420×	`distribute-lft-in`
397×	`distribute-rgt-in`
349×	`sub-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	93	1027
1	222	761
2	650	753
3	2100	745
4	6813	745

Stop Event

1×	node limit

ABCF->ab-angle angle

analyze91.0ms (2.6%)

sample3.3s (93.9%)

preprocess127.0ms (3.6%)

end0.0ms (0%)

Profiling