Metrics for VandenBroeck and Keller, Equation (20)

analyze274.0ms (3.5%)

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%	75%	0%	0%	25%	0%	3
0%	0%	62.5%	0%	0%	25%	12.5%	4
0%	0%	56.2%	0%	0%	25%	18.7%	5
0%	0%	53.1%	0%	0%	25%	21.9%	6
3.1%	1.6%	48.4%	0%	0%	26.5%	23.4%	7
4.8%	2.3%	46.1%	0%	0%	27.3%	24.2%	8
5.6%	2.7%	45.7%	0%	0%	27.3%	24.2%	9
6%	2.9%	45.5%	0%	0%	27.3%	24.2%	10
6.3%	3%	45.4%	0%	0%	27.3%	24.2%	11
6.4%	3.1%	45.2%	0%	0%	27.4%	24.3%	12

Compiler

Compiled 39 to 17 computations (56.4% saved)

Precisions

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

ival-div: 51.0ms (31.8% of total)

ival-mult: 28.0ms (17.5% of total)

ival-exp: 22.0ms (13.7% of total)

ival-neg: 18.0ms (11.2% of total)

ival-log: 12.0ms (7.5% of total)

ival-add: 9.0ms (5.6% of total)

ival-sub: 9.0ms (5.6% of total)

ival-pi: 8.0ms (5% of total)

const: 3.0ms (1.9% of total)

backward-pass: 1.0ms (0.6% of total)

sample6.5s (82.3%)

Results

2.9s	7664×	1	valid
2.2s	7491×	1	invalid
183.0ms	189×	2	valid
47.0ms	403×	0	valid
1.0ms	6×	0	unsamplable
1.0ms	5×	0	invalid

Precisions

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

ival-exp: 1.2s (27.4% of total)

ival-div: 950.0ms (22.6% of total)

ival-mult: 515.0ms (12.2% of total)

ival-log: 392.0ms (9.3% of total)

ival-neg: 337.0ms (8% of total)

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

ival-sub: 179.0ms (4.3% of total)

ival-add: 169.0ms (4% of total)

ival-pi: 161.0ms (3.8% of total)

const: 33.0ms (0.8% of total)

Bogosity

preprocess399.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

1850×	`fma-define`
839×	`fmm-def`
353×	`distribute-lft-in`
325×	`distribute-rgt-in`
305×	`div-sub`

Iterations

Useful iterations: 11 (0.0ms)

Iter	Nodes	Cost
0	33	584
1	92	484
2	250	484
3	630	484
4	1254	484
5	1914	484
6	2508	484
7	2712	484
8	3031	484
9	3256	484
10	3700	364
11	4430	316
12	4886	316
13	5706	316
14	6276	316
15	6348	316
16	6492	316
17	6644	316
18	6660	316
19	6948	316

Stop Event

1×	node limit

Calls

Call 1

Inputs
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f)))))))))
(neg.f64 (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))))))))))

Outputs
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) #s(literal 4 binary64)) (neg.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) (neg.f64 f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) (neg.f64 f)))))))
(/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (/.f64 (PI.f64) #s(literal -4 binary64)))
(*.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal 1/4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal 1/4 binary64))) f) (pow.f64 (exp.f64 (*.f64 (PI.f64) #s(literal -1/4 binary64))) f)))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (PI.f64)) f)) (-.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (PI.f64)) f) (pow.f64 (exp.f64 (*.f64 (PI.f64) #s(literal -1/4 binary64))) f)))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(*.f64 (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (exp.f64 f) (PI.f64)) #s(literal -1/2 binary64)))) (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (exp.f64 f) (PI.f64)) #s(literal 1/2 binary64)))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) f))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (PI.f64) (.f64 f #s(literal -1/2 binary64))))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 f (*.f64 (PI.f64) #s(literal 1/2 binary64))))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) #s(literal 4 binary64)) (neg.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) (neg.f64 f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) (neg.f64 f)))))))
(/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (/.f64 (PI.f64) #s(literal -4 binary64)))
(*.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal 1/4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal 1/4 binary64))) f) (pow.f64 (exp.f64 (*.f64 (PI.f64) #s(literal -1/4 binary64))) f)))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (PI.f64)) f)) (-.f64 (pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (PI.f64)) f) (pow.f64 (exp.f64 (*.f64 (PI.f64) #s(literal -1/4 binary64))) f)))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(*.f64 (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (exp.f64 f) (PI.f64)) #s(literal -1/2 binary64)))) (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (exp.f64 f) (PI.f64)) #s(literal 1/2 binary64)))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) f))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (PI.f64) (.f64 f #s(literal -1/2 binary64))))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 f (*.f64 (PI.f64) #s(literal 1/2 binary64))))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f)))))))))
(.f64 (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) (neg.f64 f)) (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 (neg.f64 f))))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) (neg.f64 f)) (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 (neg.f64 f))))))))
(/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)))) (/.f64 (PI.f64) #s(literal -4 binary64)))
(*.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal 1/4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (exp.f64 (*.f64 (PI.f64) #s(literal 1/4 binary64))) f)))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (PI.f64)) f)) (-.f64 (pow.f64 (exp.f64 (*.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (PI.f64)) f)))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(*.f64 (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (exp.f64 f) (PI.f64)) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (pow.f64 (pow.f64 (exp.f64 f) (PI.f64)) #s(literal -1/2 binary64)))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (*.f64 #s(literal -1/2 binary64) (PI.f64)) f))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 f (.f64 (PI.f64) #s(literal 1/2 binary64))))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (PI.f64) (*.f64 f #s(literal -1/2 binary64))))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(neg.f64 (neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 f))))))))))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) (PI.f64)) #s(literal 4 binary64)) (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) (neg.f64 f)) (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 (neg.f64 f))))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) (neg.f64 f)) (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) (neg.f64 (neg.f64 f))))))))
(*.f64 (/.f64 #s(literal 4 binary64) (PI.f64)) (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)))))
(*.f64 #s(literal 4 binary64) (/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)))) (PI.f64)))
(.f64 #s(literal 4 binary64) (/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal 1/4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (exp.f64 (*.f64 (PI.f64) #s(literal 1/4 binary64))) f)))) (PI.f64)))
(.f64 #s(literal 4 binary64) (/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (PI.f64)) f)) (-.f64 (pow.f64 (exp.f64 (*.f64 (PI.f64) #s(literal -1/4 binary64))) f) (pow.f64 (pow.f64 (exp.f64 #s(literal 1/4 binary64)) (PI.f64)) f)))) (PI.f64)))
(*.f64 (/.f64 #s(literal 4 binary64) (PI.f64)) (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (pow.f64 (pow.f64 (exp.f64 f) (PI.f64)) #s(literal 1/2 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (pow.f64 (pow.f64 (exp.f64 f) (PI.f64)) #s(literal -1/2 binary64)))))))
(.f64 (/.f64 #s(literal 4 binary64) (PI.f64)) (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (*.f64 #s(literal -1/2 binary64) (PI.f64)) f))))))
(.f64 (/.f64 #s(literal 4 binary64) (PI.f64)) (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 f (.f64 (PI.f64) #s(literal 1/2 binary64))))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (PI.f64) (*.f64 f #s(literal -1/2 binary64))))))))

explain625.0ms (8%)

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
247	-	-	`(-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`
2	-	-	`(/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))))`
2	-	-	`(log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))`
2	-	-	`(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`
2	-	-	`(exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))`
0	-	-	`(PI.f64)`
0	-	-	`(*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)`
0	-	-	`(neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))`
0	-	-	`(/.f64 (PI.f64) #s(literal 4 binary64))`
0	-	-	`(neg.f64 (.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))))`
0	-	-	`f`
0	-	-	`(+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))`
0	-	-	`#s(literal 4 binary64)`
0	-	-	`(/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64)))`
0	-	-	`(.f64 (/.f64 #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 4 binary64))) (log.f64 (/.f64 (+.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))))))`
0	-	-	`#s(literal 1 binary64)`

Results

295.0ms	476×	1	valid
6.0ms	6×	2	valid
5.0ms	30×	0	valid

Compiler

Compiled 434 to 50 computations (88.5% saved)

Precisions

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

ival-sub: 68.0ms (28.5% of total)

ival-mult: 57.0ms (23.9% of total)

ival-exp: 34.0ms (14.3% of total)

ival-div: 25.0ms (10.5% of total)

backward-pass: 21.0ms (8.8% of total)

ival-log: 13.0ms (5.5% of total)

ival-neg: 9.0ms (3.8% of total)

ival-pi: 5.0ms (2.1% of total)

ival-add: 5.0ms (2.1% of total)

const: 1.0ms (0.4% of total)

eval2.0ms (0%)

Compiler: Compiled 236 to 85 computations (64% saved)

prune5.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	8.6%	(/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (/.f64 (PI.f64) #s(literal -4 binary64)))
▶	98.6%	(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) f))))) (/.f64 #s(literal -4 binary64) (PI.f64)))

Status

Accuracy

Program

▶

8.6%

(/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (/.f64 (PI.f64) #s(literal -4 binary64)))

▶

98.6%

(*.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (*.f64 (*.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) f))))) (/.f64 #s(literal -4 binary64) (PI.f64)))

Compiler

Compiled 56 to 34 computations (39.3% saved)

simplify83.0ms (1.1%)

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Program
✓	cost-diff	(+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f))
✓	cost-diff	(/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))
✓	cost-diff	(log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f))))
✓	cost-diff	(/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (/.f64 (PI.f64) #s(literal -4 binary64)))
✓	cost-diff	(/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f)))
✓	cost-diff	(+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f))))
✓	cost-diff	(log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f)))))
✓	cost-diff	(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) f))))) (/.f64 #s(literal -4 binary64) (PI.f64)))

Rules

255×	`fma-define`
232×	`fmm-def`
111×	`times-frac`
99×	`div-sub`
84×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	906
1	61	906
2	96	906
3	131	906
4	151	906
5	177	906
6	217	906
7	265	906
8	368	906
9	621	906
10	1128	906
11	1544	906
12	1546	906
13	1584	906
14	1645	906

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) f))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f)))))
(+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f))))
(/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f)))
#s(literal -1 binary64)
(expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))
(.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f)
(*.f64 #s(literal -1/2 binary64) (PI.f64))
#s(literal -1/2 binary64)
(PI.f64)
f
(/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f)))
#s(literal 1 binary64)
(expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f))
(.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f)
(*.f64 #s(literal 1/2 binary64) (PI.f64))
#s(literal 1/2 binary64)
(/.f64 #s(literal -4 binary64) (PI.f64))
#s(literal -4 binary64)
(/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (/.f64 (PI.f64) #s(literal -4 binary64)))
(log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f))))
(/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))
(+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f))
(pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)
(exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64)))
(/.f64 (PI.f64) #s(literal -4 binary64))
(PI.f64)
#s(literal -4 binary64)
f
(pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)
(exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64)))
(/.f64 (PI.f64) #s(literal 4 binary64))
#s(literal 4 binary64)
(-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f))

Outputs
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (*.f64 #s(literal 1/2 binary64) (PI.f64)) f))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal -1/2 binary64) (.f64 (PI.f64) f)))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 f (*.f64 (PI.f64) #s(literal 1/2 binary64))))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 f (*.f64 (PI.f64) #s(literal 1/2 binary64))))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (PI.f64) (.f64 #s(literal -1/2 binary64) f)))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (PI.f64) (*.f64 f #s(literal 1/2 binary64))))))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f)))))
(log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal -1/2 binary64) (.f64 (PI.f64) f)))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 f (.f64 (PI.f64) #s(literal 1/2 binary64)))))))
(log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 f (.f64 (PI.f64) #s(literal 1/2 binary64)))))))
(log.f64 (+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (PI.f64) (.f64 #s(literal -1/2 binary64) f)))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (PI.f64) (.f64 f #s(literal 1/2 binary64)))))))
(+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f))))
(+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal -1/2 binary64) (.f64 (PI.f64) f)))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 f (.f64 (PI.f64) #s(literal 1/2 binary64))))))
(+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 f (.f64 (PI.f64) #s(literal 1/2 binary64))))))
(+.f64 (/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (PI.f64) (.f64 #s(literal -1/2 binary64) f)))) (/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (PI.f64) (.f64 f #s(literal 1/2 binary64))))))
(/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f)))
(/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 #s(literal -1/2 binary64) (.f64 (PI.f64) f))))
(/.f64 #s(literal -1 binary64) (expm1.f64 (.f64 (PI.f64) (.f64 #s(literal -1/2 binary64) f))))
#s(literal -1 binary64)
(expm1.f64 (.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f))
(expm1.f64 (.f64 #s(literal -1/2 binary64) (.f64 (PI.f64) f)))
(expm1.f64 (.f64 (PI.f64) (.f64 #s(literal -1/2 binary64) f)))
(.f64 (.f64 #s(literal -1/2 binary64) (PI.f64)) f)
(.f64 #s(literal -1/2 binary64) (.f64 (PI.f64) f))
(.f64 (PI.f64) (.f64 #s(literal -1/2 binary64) f))
(*.f64 #s(literal -1/2 binary64) (PI.f64))
#s(literal -1/2 binary64)
(PI.f64)
f
(/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f)))
(/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 f (.f64 (PI.f64) #s(literal 1/2 binary64)))))
(/.f64 #s(literal 1 binary64) (expm1.f64 (.f64 (PI.f64) (.f64 f #s(literal 1/2 binary64)))))
#s(literal 1 binary64)
(expm1.f64 (.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f))
(expm1.f64 (.f64 f (.f64 (PI.f64) #s(literal 1/2 binary64))))
(expm1.f64 (.f64 (PI.f64) (.f64 f #s(literal 1/2 binary64))))
(.f64 (.f64 #s(literal 1/2 binary64) (PI.f64)) f)
(.f64 f (.f64 (PI.f64) #s(literal 1/2 binary64)))
(.f64 (PI.f64) (.f64 f #s(literal 1/2 binary64)))
(*.f64 #s(literal 1/2 binary64) (PI.f64))
(*.f64 (PI.f64) #s(literal 1/2 binary64))
#s(literal 1/2 binary64)
(/.f64 #s(literal -4 binary64) (PI.f64))
#s(literal -4 binary64)
(/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (/.f64 (PI.f64) #s(literal -4 binary64)))
(*.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (/.f64 #s(literal -4 binary64) (PI.f64)))
(*.f64 (/.f64 #s(literal -4 binary64) (PI.f64)) (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))))
(*.f64 #s(literal -4 binary64) (/.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))) (PI.f64)))
(log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f))))
(/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)))
(+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f))
(pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f)
(exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64)))
(/.f64 (PI.f64) #s(literal -4 binary64))
(PI.f64)
#s(literal -4 binary64)
f
(pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f)
(exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64)))
(/.f64 (PI.f64) #s(literal 4 binary64))
#s(literal 4 binary64)
(-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal 4 binary64))) f) (pow.f64 (exp.f64 (/.f64 (PI.f64) #s(literal -4 binary64))) f))

localize1.0ms (0%)

Compiler: Compiled 256 to 32 computations (87.5% saved)
Precisions: Click to see histograms. Total time spent on operations: 0.0ms
ival-pi: 0.0ms (0% of total)
ival-div: 0.0ms (0% of total)
ival-exp: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
const: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)
ival-pow: 0.0ms (0% of total)

end0.0ms (0%)

Precisions: Click to see histograms. Total time spent on operations: 0.0ms
backward-pass: 0.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)

analyze274.0ms (3.5%)

sample6.5s (82.3%)

preprocess399.0ms (5.1%)

explain625.0ms (8%)

eval2.0ms (0%)

prune5.0ms (0.1%)

simplify83.0ms (1.1%)

localize1.0ms (0%)

end0.0ms (0%)

Profiling