Metrics for VandenBroeck and Keller, Equation (23)

analyze670.0ms (3.1%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	6
15.6%	15.6%	84.3%	0.1%	0%	0%	0%	7
16.7%	15.6%	78%	0.1%	0%	6.2%	0%	8
25%	23.4%	70.2%	0.1%	0%	6.2%	0%	9
29.7%	26.9%	63.6%	0.1%	0%	9.4%	0%	10
30.8%	26.9%	60.5%	0.1%	0%	12.5%	0%	11
35.9%	31.4%	56%	0.1%	0%	12.5%	0%	12

Compiler

Compiled 31 to 21 computations (32.3% saved)

sample20.5s (94.4%)

Results

1.4s	8256×	valid-sollya
3.7s	8256×	valid-rival
103.0ms	280×	invalid-rival
1.4s	280×	exit-sollya

Bogosity

preprocess477.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1602×	`fma-define`
730×	`fma-neg`
462×	`times-frac`
281×	`distribute-lft-in`
274×	`distribute-lft-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	90	1030
1	230	848
2	632	828
3	1520	828
4	3665	828
5	5788	828
6	6350	828
7	6647	828
8	6761	828
9	6769	828
10	7864	828

Stop Event

1×	node limit

Calls

Call 1

Inputs
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 (neg.f64 F) (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 (neg.f64 F) (neg.f64 F)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 B))))) (.f64 (/.f64 F (sin.f64 (neg.f64 B))) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(neg.f64 (+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 (neg.f64 F) (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 (neg.f64 F) (neg.f64 F)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(neg.f64 (+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 B))))) (.f64 (/.f64 F (sin.f64 (neg.f64 B))) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(neg.f64 (+.f64 (neg.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 F)))) (.f64 (/.f64 B (sin.f64 F)) (pow.f64 (+.f64 (+.f64 (.f64 B B) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 F (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 x (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 x x) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) F)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (neg.f64 (.f64 B (/.f64 #s(literal 1 binary64) (tan.f64 x)))) (.f64 (/.f64 F (sin.f64 x)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) B)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))

Outputs
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)) (neg.f64 x)))
(-.f64 (*.f64 F (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 B))) (/.f64 x (tan.f64 B)))
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 x (tan.f64 B)))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)) (neg.f64 x)))
(-.f64 (*.f64 F (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 B))) (/.f64 x (tan.f64 B)))
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 x (tan.f64 B)))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 (neg.f64 F) (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 (neg.f64 F) (neg.f64 F)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 (neg.f64 F) (sin.f64 B))) (*.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)) (neg.f64 x)))
(-.f64 (*.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 F (neg.f64 (sin.f64 B)))) (/.f64 x (tan.f64 B)))
(neg.f64 (fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B))))
(neg.f64 (fma.f64 F (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 B)) (/.f64 x (tan.f64 B))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 B))))) (.f64 (/.f64 F (sin.f64 (neg.f64 B))) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (neg.f64 (tan.f64 B)))) (.f64 (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (*.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 F (neg.f64 (sin.f64 B)))))
(fma.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 F (neg.f64 (sin.f64 B))) (/.f64 x (tan.f64 B)))
(-.f64 (/.f64 x (tan.f64 B)) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64))))
(+.f64 (neg.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (neg.f64 x) (neg.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (neg.f64 x))) #s(literal -1/2 binary64))))
(fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 F F (+.f64 #s(literal 2 binary64) (*.f64 x #s(literal -2 binary64)))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B)))
(fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal -2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B)))
(neg.f64 (+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 (neg.f64 F) (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 (neg.f64 F) (neg.f64 F)) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(neg.f64 (+.f64 (.f64 (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 (neg.f64 F) (sin.f64 B))) (*.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)) (neg.f64 x))))
(-.f64 (/.f64 x (tan.f64 B)) (*.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 F (neg.f64 (sin.f64 B)))))
(fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B)))
(fma.f64 F (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 B)) (/.f64 x (tan.f64 B)))
(neg.f64 (+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 (neg.f64 B))))) (.f64 (/.f64 F (sin.f64 (neg.f64 B))) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(+.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))) (*.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)) (neg.f64 x)))
(-.f64 (*.f64 F (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 B))) (/.f64 x (tan.f64 B)))
(-.f64 (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 x (tan.f64 B)))
(neg.f64 (+.f64 (neg.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) (neg.f64 x))) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)))))))
(neg.f64 (+.f64 (.f64 (neg.f64 x) (neg.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (neg.f64 x))) #s(literal -1/2 binary64)))))
(neg.f64 (fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 F F (+.f64 #s(literal 2 binary64) (*.f64 x #s(literal -2 binary64)))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B))))
(neg.f64 (fma.f64 (/.f64 F (sin.f64 B)) (pow.f64 (fma.f64 x #s(literal -2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 x (tan.f64 B))))
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 F)))) (.f64 (/.f64 B (sin.f64 F)) (pow.f64 (+.f64 (+.f64 (.f64 B B) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 F))) (.f64 (/.f64 B (sin.f64 F)) (pow.f64 (+.f64 (*.f64 x #s(literal 2 binary64)) (fma.f64 B B #s(literal 2 binary64))) #s(literal -1/2 binary64))))
(fma.f64 (/.f64 B (sin.f64 F)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 B B #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 x (neg.f64 (tan.f64 F))))
(-.f64 (*.f64 (/.f64 B (sin.f64 F)) (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 B B #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 x (tan.f64 F)))
(-.f64 (*.f64 B (/.f64 (pow.f64 (fma.f64 x #s(literal 2 binary64) (fma.f64 B B #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 F))) (/.f64 x (tan.f64 F)))
(+.f64 (neg.f64 (.f64 F (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 x (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 x x) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) F)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 F (neg.f64 (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 x (sin.f64 B)) (pow.f64 (+.f64 (fma.f64 x x #s(literal 2 binary64)) (*.f64 F #s(literal 2 binary64))) #s(literal -1/2 binary64))))
(-.f64 (*.f64 (/.f64 x (sin.f64 B)) (pow.f64 (fma.f64 F #s(literal 2 binary64) (fma.f64 x x #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 F (tan.f64 B)))
(-.f64 (*.f64 (/.f64 x (sin.f64 B)) (pow.f64 (fma.f64 x x (fma.f64 F #s(literal 2 binary64) #s(literal 2 binary64))) #s(literal -1/2 binary64))) (/.f64 F (tan.f64 B)))
(+.f64 (neg.f64 (.f64 B (/.f64 #s(literal 1 binary64) (tan.f64 x)))) (.f64 (/.f64 F (sin.f64 x)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) B)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (neg.f64 B) (/.f64 #s(literal 1 binary64) (tan.f64 x))) (.f64 (/.f64 F (sin.f64 x)) (pow.f64 (+.f64 (fma.f64 F F #s(literal 2 binary64)) (*.f64 B #s(literal 2 binary64))) #s(literal -1/2 binary64))))
(fma.f64 (/.f64 F (sin.f64 x)) (pow.f64 (fma.f64 B #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (/.f64 B (neg.f64 (tan.f64 x))))
(-.f64 (*.f64 F (/.f64 (pow.f64 (fma.f64 B #s(literal 2 binary64) (fma.f64 F F #s(literal 2 binary64))) #s(literal -1/2 binary64)) (sin.f64 x))) (/.f64 B (tan.f64 x)))

Symmetry

(negabs B)

Compiler

Compiled 30 to 20 computations (33.3% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	80.9%	(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))

Status

Accuracy

Program

80.9%

(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))

Compiler

Compiled 60 to 40 computations (33.3% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`neg-mul-1`
12×	`unsub-neg`
8×	`*-commutative`
8×	`+-commutative`
6×	`distribute-lft-neg-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	29	94
1	47	90
2	61	90
3	70	90
4	78	90
5	98	90
6	126	90

Stop Event

1×

saturated

Calls

Call 1

Inputs

(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (*.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (*.f64 F F) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))

Outputs
(+.f64 (neg.f64 (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 #s(literal 2 binary64) x)) (neg.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64))))))
(+.f64 (.f64 (neg.f64 x) (/.f64 #s(literal 1 binary64) (tan.f64 B))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))))
(-.f64 (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))) (.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B))))
(+.f64 (.f64 x (/.f64 #s(literal -1 binary64) (tan.f64 B))) (.f64 (/.f64 F (sin.f64 B)) (pow.f64 (+.f64 (+.f64 (.f64 F F) #s(literal 2 binary64)) (.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64))))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 26 to 18 computations (30.8% saved)

preprocess58.0ms (0.3%)

Remove: (negabs B)
Compiler: Compiled 216 to 148 computations (31.5% saved)

VandenBroeck and Keller, Equation (23)

analyze670.0ms (3.1%)

sample20.5s (94.4%)

preprocess477.0ms (2.2%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify6.0ms (0%)

soundness1.0ms (0%)

preprocess58.0ms (0.3%)

end0.0ms (0%)

Profiling