Metrics for Trigonometry B

analyze144.0ms (3.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
50%	50%	50%	0%	0%	0%	0%	4
50%	50%	50%	0%	0%	0%	0%	5
50%	50%	50%	0%	0%	0%	0%	6
50%	50%	50%	0%	0%	0%	0%	7
50%	50%	50%	0%	0%	0%	0%	8
50%	50%	50%	0%	0%	0%	0%	9
50%	50%	50%	0%	0%	0%	0%	10
50%	50%	50%	0%	0%	0%	0%	11
50%	50%	50%	0%	0%	0%	0%	12

Compiler

Compiled 17 to 9 computations (47.1% saved)

Precisions

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

Operation ival-mult, time spent: 34.0ms, 46.0% of total-time

Operation ival-add, time spent: 11.0ms, 15.0% of total-time

Operation ival-tan, time spent: 11.0ms, 15.0% of total-time

Operation ival-sub, time spent: 10.0ms, 13.0% of total-time

Operation ival-div, time spent: 5.0ms, 7.0% of total-time

Operation const, time spent: 3.0ms, 4.0% of total-time

sample1.4s (35.8%)

Results

1.3s	8253×	0	valid
0.0ms	1×	0	valid
0.0ms	1×	2	valid
0.0ms	1×	3	valid

Precisions

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

Operation ival-tan, time spent: 234.0ms, 31.0% of total-time

Operation ival-sub, time spent: 187.0ms, 25.0% of total-time

Operation ival-add, time spent: 150.0ms, 20.0% of total-time

Operation ival-mult, time spent: 77.0ms, 10.0% of total-time

Operation ival-div, time spent: 69.0ms, 9.0% of total-time

Operation const, time spent: 26.0ms, 3.0% of total-time

Bogosity

preprocess1.6s (38.5%)

Algorithm

1×	egg-herbie

Rules

1254×	`sub-neg`
1242×	`fma-neg`
1120×	`div-sub`
896×	`fma-def`
782×	`associate-/r*`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`x`
-	-	`(+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))`
-	-	`(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))`
-	-	`(tan.f64 x)`
-	-	`1`
-	-	`(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))`
-	-	`(*.f64 (tan.f64 x) (tan.f64 x))`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	19	256
1	49	220
2	89	220
3	175	216
4	391	216
5	898	216
6	2474	216
7	4740	216
8	7566	216

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 1 (.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))))
(neg.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 1 (.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x))))))

Outputs
(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (-.f64 1 (.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 1 (.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))))
(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(neg.f64 (/.f64 (-.f64 1 (.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x)))) (+.f64 1 (.f64 (tan.f64 (neg.f64 x)) (tan.f64 (neg.f64 x))))))
(/.f64 (neg.f64 (-.f64 1 (.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x))))) (+.f64 1 (.f64 (neg.f64 (tan.f64 x)) (neg.f64 (tan.f64 x)))))
(/.f64 (+.f64 -1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (+.f64 (*.f64 (tan.f64 x) (tan.f64 x)) -1) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
(/.f64 (fma.f64 (tan.f64 x) (tan.f64 x) -1) (fma.f64 (tan.f64 x) (tan.f64 x) 1))

Symmetry

(abs x)

Compiler

Compiled 96 to 36 computations (62.5% saved)

Precisions

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

Operation ival-tan, time spent: 904.0ms, 73.0% of total-time

Operation ival-sub, time spent: 133.0ms, 11.0% of total-time

Operation ival-add, time spent: 122.0ms, 10.0% of total-time

Operation ival-mult, time spent: 38.0ms, 3.0% of total-time

Operation ival-div, time spent: 26.0ms, 2.0% of total-time

Operation const, time spent: 18.0ms, 1.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 15 to 8 computations (46.7% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
▶	99.5%	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))

Compiler

Compiled 31 to 16 computations (48.4% saved)

localize850.0ms (21.1%)

Compiler: Compiled 76 to 24 computations (68.4% saved)
Precisions: Click to see histograms. Total time spent on operations: 717.0ms
Operation ival-tan, time spent: 434.0ms, 61.0% of total-time
Operation ival-sub, time spent: 115.0ms, 16.0% of total-time
Operation ival-add, time spent: 56.0ms, 8.0% of total-time
Operation ival-fma, time spent: 45.0ms, 6.0% of total-time
Operation ival-div, time spent: 31.0ms, 4.0% of total-time
Operation ival-mult, time spent: 19.0ms, 3.0% of total-time
Operation const, time spent: 15.0ms, 2.0% of total-time

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Accuracy

99.5%

Counts

2 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.4%	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))
✓	99.5%	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))

Compiler

Compiled 61 to 29 computations (52.5% saved)

regimes11.0ms (0.3%)

Accuracy

Total -0.0b remaining (-6.1%)

Threshold costs -0b (-6.1%)

Counts

2 → 1

Calls

Call 1

Inputs
(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (fma.f64 (tan.f64 x) (tan.f64 x) 1))

Outputs
(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))

Calls

4 calls:

3.0ms	(tan.f64 x)
3.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
3.0ms	x
2.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Results

Accuracy	Segments	Branch
99.5%	1	`x`
99.5%	1	`(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))`
99.5%	1	`(*.f64 (tan.f64 x) (tan.f64 x))`
99.5%	1	`(tan.f64 x)`

Compiler

Compiled 27 to 14 computations (48.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	59
1	23	59
2	30	59
3	34	59
4	36	59

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))

Outputs
(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))

Compiler

Compiled 16 to 8 computations (50% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess26.0ms (0.6%)

Remove: (abs x)
Compiler: Compiled 128 to 64 computations (50% saved)

analyze144.0ms (3.6%)

sample1.4s (35.8%)

preprocess1.6s (38.5%)

eval0.0ms (0%)

prune1.0ms (0%)

localize850.0ms (21.1%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes11.0ms (0.3%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess26.0ms (0.6%)

Profiling