Metrics for Hyperbolic arc-(co)secant

analyze18.0ms (0.7%)

Memory

-10.4MiB live, 5.4MiB allocated

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
0%	0%	50%	0%	0%	50%	0%	3
33.3%	12.5%	25%	0%	0%	62.5%	0%	4
60%	18.7%	12.5%	0%	0%	68.7%	0%	5
77.8%	21.9%	6.2%	0%	0%	71.8%	0%	6
88.2%	23.4%	3.1%	0%	0%	73.4%	0%	7
93.9%	24.2%	1.6%	0%	0%	74.2%	0%	8
96.9%	24.6%	0.8%	0%	0%	74.6%	0%	9
98.4%	24.8%	0.4%	0%	0%	74.8%	0%	10
99.2%	24.9%	0.2%	0%	0%	74.9%	0%	11
99.6%	24.9%	0.1%	0%	0%	74.9%	0%	12

Compiler

Compiled 30 to 21 computations (30% saved)

sample2.6s (93%)

Memory

-79.0MiB live, 659.5MiB allocated

Samples

618.0ms	8 255×	valid-baseline
565.0ms	8 255×	valid-rival
369.0ms	8 255×	valid-sollya
0.0ms	1×	valid-rival+baseline-real

Precisions

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

ival-div: 117.0ms (29.2% of total)

ival-log: 88.0ms (22% of total)

ival-sqrt: 60.0ms (15% of total)

ival-mult: 52.0ms (13% of total)

ival-sub: 38.0ms (9.5% of total)

ival-add: 33.0ms (8.2% of total)

ival-true: 7.0ms (1.7% of total)

ival-assert: 3.0ms (0.7% of total)

...in/eval/compile.rkt:76:19: 2.0ms (0.5% of total)

Precisions

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

ival-div: 134.0ms (33% of total)

ival-log: 80.0ms (19.7% of total)

ival-sqrt: 56.0ms (13.8% of total)

ival-mult: 53.0ms (13% of total)

ival-sub: 38.0ms (9.4% of total)

ival-add: 34.0ms (8.4% of total)

const: 10.0ms (2.5% of total)

Bogosity

preprocess154.0ms (5.6%)

Memory

4.2MiB live, 20.9MiB allocated

Algorithm

1×	egg-herbie

Rules

832×	`fma-define`
504×	`fmm-def`
430×	`distribute-lft-out--`
423×	`associate-+r+`
401×	`distribute-neg-in`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	23	224
1	50	208
2	84	208
3	170	208
4	305	196
5	510	196
6	788	172
7	1361	172
8	2104	172
9	2955	172
10	5579	172
11	7059	172

Stop Event

1×	node limit

Calls

Call 1

Inputs
(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)))
(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)))
(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) (neg.f64 x)))) (neg.f64 x))))
(neg.f64 (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) (neg.f64 x)))) (neg.f64 x)))))

Outputs
(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)))
(log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (-.f64 #s(literal -1 binary64) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))))))
(log.f64 (.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))))))
(log.f64 (/.f64 (+.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 (fma.f64 x x #s(literal -1 binary64))))) x))
(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)))
(log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (-.f64 #s(literal -1 binary64) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))))))
(log.f64 (.f64 (/.f64 #s(literal 1 binary64) x) (+.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))))))
(log.f64 (/.f64 (+.f64 #s(literal 1 binary64) (sqrt.f64 (neg.f64 (fma.f64 x x #s(literal -1 binary64))))) x))
(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) (neg.f64 x)))) (neg.f64 x))))
(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) (neg.f64 x))))
(log.f64 (-.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)))
(log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (-.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) #s(literal -1 binary64))))
(log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (+.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))))))
(log.f64 (/.f64 (-.f64 #s(literal -1 binary64) (sqrt.f64 (neg.f64 (fma.f64 x x #s(literal -1 binary64))))) x))
(neg.f64 (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) (neg.f64 x)))) (neg.f64 x)))))
(neg.f64 (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) (neg.f64 x)))))
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal -1 binary64) x) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) x))))
(neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (-.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x))) #s(literal -1 binary64)))))
(neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (+.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 x x)))))))
(neg.f64 (log.f64 (/.f64 (-.f64 #s(literal -1 binary64) (sqrt.f64 (neg.f64 (fma.f64 x x #s(literal -1 binary64))))) x)))

Compiler

Compiled 14 to 9 computations (35.7% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)))

Compiler

Compiled 28 to 18 computations (35.7% saved)

simplify2.0ms (0.1%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative`
3×	`sub-neg`
3×	`1-exp`
2×	`*-commutative`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	51
1	25	51
2	32	51
3	36	51
4	38	51

Stop Event

1×

saturated

Calls

Call 1

Inputs
(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)))

Outputs
(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) (/.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 14 to 9 computations (35.7% saved)

preprocess17.0ms (0.6%)

Memory: -9.6MiB live, 21.6MiB allocated
Compiler: Compiled 56 to 36 computations (35.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze18.0ms (0.7%)

sample2.6s (93%)

preprocess154.0ms (5.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess17.0ms (0.6%)

end0.0ms (0%)

Profiling