Metrics for VandenBroeck and Keller, Equation (24)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze157.0ms (5.5%)

Memory

-22.1MiB live, 118.1MiB allocated; 15ms collecting garbage

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
25%	25%	74.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	7
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	8
43.8%	43.7%	56.2%	0.1%	0%	0%	0%	9
46.9%	46.8%	53.1%	0.1%	0%	0%	0%	10
46.9%	46.8%	53.1%	0.1%	0%	0%	0%	11
48.4%	48.4%	51.5%	0.1%	0%	0%	0%	12

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample1.1s (39.3%)

Memory

44.0MiB live, 937.0MiB allocated; 78ms collecting garbage

Samples

802.0ms

8 256×

valid

Precisions

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

ival-tan: 188.0ms (30.6% of total)

ival-sin: 157.0ms (25.5% of total)

ival-div: 115.0ms (18.7% of total)

ival-mult: 68.0ms (11.1% of total)

ival-add: 38.0ms (6.2% of total)

ival-neg: 36.0ms (5.9% of total)

exact: 7.0ms (1.1% of total)

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

adjust: 2.0ms (0.3% of total)

Bogosity

explain128.0ms (4.5%)

Memory

-24.9MiB live, 122.7MiB allocated; 10ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`#s(literal 1 binary64)`
-	-	`(*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))`
-	-	`(neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B))))`
-	-	`(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))`
-	-	`(/.f64 #s(literal 1 binary64) (sin.f64 B))`
-	-	`(/.f64 #s(literal 1 binary64) (tan.f64 B))`
-	-	`(tan.f64 B)`
-	-	`B`
-	-	`(sin.f64 B)`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

62.0ms

512×

valid

Compiler

Compiled 96 to 34 computations (64.6% saved)

Precisions

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

ival-div: 14.0ms (32% of total)

ival-sin: 11.0ms (25.1% of total)

ival-tan: 10.0ms (22.8% of total)

ival-mult: 3.0ms (6.8% of total)

ival-add: 2.0ms (4.6% of total)

ival-neg: 2.0ms (4.6% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

preprocess213.0ms (7.5%)

Memory

-14.2MiB live, 126.9MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	31	77
1	75	55
2	173	54
3	346	54
4	1226	54
5	6005	54
0	10	12
0	17	12
1	30	9
2	59	9
3	123	9
4	478	9
5	1888	9
6	6205	9
0	8071	9

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

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

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

Symmetry

(negabs B)

Compiler

Compiled 12 to 10 computations (16.7% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.7%	(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))

Compiler

Compiled 12 to 10 computations (16.7% saved)

series16.0ms (0.6%)

Memory

21.1MiB live, 21.1MiB allocated; 0ms collecting garbage

Counts

10 → 42

Calls

Call 1

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

Outputs
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (/ (- 1 x) B)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (* 1/3 x)))) x) B)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (* 2/15 x)))))))) x) B)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ 31/15120 (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))))))))))) x) B)))
#s(approx (neg (* x (/ 1 (tan B)))) #s(hole binary64 (* -1 (/ x B))))
#s(approx (neg (* x (/ 1 (tan B)))) #s(hole binary64 (/ (- (* 1/3 (* (pow B 2) x)) x) B)))
#s(approx (neg (* x (/ 1 (tan B)))) #s(hole binary64 (/ (- (* (pow B 2) (+ (* 1/3 x) (* (pow B 2) (+ (* -1/9 x) (* 2/15 x))))) x) B)))
#s(approx (neg (* x (/ 1 (tan B)))) #s(hole binary64 (/ (- (* (pow B 2) (+ (* 1/3 x) (* (pow B 2) (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))))))) x) B)))
#s(approx (* x (/ 1 (tan B))) #s(hole binary64 (/ x B)))
#s(approx (* x (/ 1 (tan B))) #s(hole binary64 (/ (+ x (* -1/3 (* (pow B 2) x))) B)))
#s(approx (* x (/ 1 (tan B))) #s(hole binary64 (/ (+ x (* (pow B 2) (- (* -1 (* (pow B 2) (+ (* -1/9 x) (* 2/15 x)))) (* 1/3 x)))) B)))
#s(approx (* x (/ 1 (tan B))) #s(hole binary64 (/ (+ x (* (pow B 2) (- (* (pow B 2) (- (* -1 (* (pow B 2) (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))) (+ (* -1/9 x) (* 2/15 x)))) (* 1/3 x)))) B)))
#s(approx (/ 1 (tan B)) #s(hole binary64 (/ 1 B)))
#s(approx (/ 1 (tan B)) #s(hole binary64 (/ (+ 1 (* -1/3 (pow B 2))) B)))
#s(approx (/ 1 (tan B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (- (* -1/45 (pow B 2)) 1/3))) B)))
#s(approx (/ 1 (tan B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (- (* (pow B 2) (- (* -2/945 (pow B 2)) 1/45)) 1/3))) B)))
#s(approx (tan B) #s(hole binary64 B))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* 1/3 (pow B 2))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* 2/15 (pow B 2))))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* (pow B 2) (+ 2/15 (* 17/315 (pow B 2))))))))))
#s(approx B #s(hole binary64 B))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ 1 B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* 1/6 (pow B 2))) B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* 7/360 (pow B 2))))) B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* (pow B 2) (+ 7/360 (* 31/15120 (pow B 2))))))) B)))
#s(approx (sin B) #s(hole binary64 B))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* -1/6 (pow B 2))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* 1/120 (pow B 2)) 1/6))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* (pow B 2) (+ 1/120 (* -1/5040 (pow B 2)))) 1/6))))))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))))
#s(approx (neg (* x (/ 1 (tan B)))) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (* x (/ 1 (tan B))) #s(hole binary64 (/ (* x (cos B)) (sin B))))
#s(approx (/ 1 (tan B)) #s(hole binary64 (/ (cos B) (sin B))))
#s(approx (tan B) #s(hole binary64 (/ (sin B) (cos B))))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ 1 (sin B))))
#s(approx (sin B) #s(hole binary64 (sin B)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (/ 1 (sin B))))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (+ (* -1 (/ (* x (cos B)) (sin B))) (/ 1 (sin B)))))
#s(approx x #s(hole binary64 x))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (* x (- (/ 1 (* x (sin B))) (/ (cos B) (sin B))))))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (* -1 (* x (- (/ (cos B) (sin B)) (/ 1 (* x (sin B))))))))

Calls

6 calls:

Time	Variable		Point	Expression
4.0ms	x	@	inf	((+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (neg (* x (/ 1 (tan B)))) (* x (/ 1 (tan B))) x (/ 1 (tan B)) 1 (tan B) B (/ 1 (sin B)) (sin B))
3.0ms	B	@	inf	((+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (neg (* x (/ 1 (tan B)))) (* x (/ 1 (tan B))) x (/ 1 (tan B)) 1 (tan B) B (/ 1 (sin B)) (sin B))
2.0ms	B	@	-inf	((+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (neg (* x (/ 1 (tan B)))) (* x (/ 1 (tan B))) x (/ 1 (tan B)) 1 (tan B) B (/ 1 (sin B)) (sin B))
2.0ms	B	@	0	((+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (neg (* x (/ 1 (tan B)))) (* x (/ 1 (tan B))) x (/ 1 (tan B)) 1 (tan B) B (/ 1 (sin B)) (sin B))
2.0ms	x	@	0	((+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (neg (* x (/ 1 (tan B)))) (* x (/ 1 (tan B))) x (/ 1 (tan B)) 1 (tan B) B (/ 1 (sin B)) (sin B))

rewrite176.0ms (6.2%)

Memory

-26.9MiB live, 168.1MiB allocated; 15ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	223	892
0	235	831
1	1365	823
0	8222	774

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

52 → 89

Calls

Call 1

Inputs
(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
(neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B))))
(*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))
x
(/.f64 #s(literal 1 binary64) (tan.f64 B))
#s(literal 1 binary64)
(tan.f64 B)
B
(/.f64 #s(literal 1 binary64) (sin.f64 B))
(sin.f64 B)
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (/ (- 1 x) B)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (* 1/3 x)))) x) B)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (* 2/15 x)))))))) x) B)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ 31/15120 (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))))))))))) x) B)))
#s(approx (neg (* x (/ 1 (tan B)))) #s(hole binary64 (* -1 (/ x B))))
#s(approx (neg (* x (/ 1 (tan B)))) #s(hole binary64 (/ (- (* 1/3 (* (pow B 2) x)) x) B)))
#s(approx (neg (* x (/ 1 (tan B)))) #s(hole binary64 (/ (- (* (pow B 2) (+ (* 1/3 x) (* (pow B 2) (+ (* -1/9 x) (* 2/15 x))))) x) B)))
#s(approx (neg (* x (/ 1 (tan B)))) #s(hole binary64 (/ (- (* (pow B 2) (+ (* 1/3 x) (* (pow B 2) (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))))))) x) B)))
#s(approx (* x (/ 1 (tan B))) #s(hole binary64 (/ x B)))
#s(approx (* x (/ 1 (tan B))) #s(hole binary64 (/ (+ x (* -1/3 (* (pow B 2) x))) B)))
#s(approx (* x (/ 1 (tan B))) #s(hole binary64 (/ (+ x (* (pow B 2) (- (* -1 (* (pow B 2) (+ (* -1/9 x) (* 2/15 x)))) (* 1/3 x)))) B)))
#s(approx (* x (/ 1 (tan B))) #s(hole binary64 (/ (+ x (* (pow B 2) (- (* (pow B 2) (- (* -1 (* (pow B 2) (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))) (+ (* -1/9 x) (* 2/15 x)))) (* 1/3 x)))) B)))
#s(approx (/ 1 (tan B)) #s(hole binary64 (/ 1 B)))
#s(approx (/ 1 (tan B)) #s(hole binary64 (/ (+ 1 (* -1/3 (pow B 2))) B)))
#s(approx (/ 1 (tan B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (- (* -1/45 (pow B 2)) 1/3))) B)))
#s(approx (/ 1 (tan B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (- (* (pow B 2) (- (* -2/945 (pow B 2)) 1/45)) 1/3))) B)))
#s(approx (tan B) #s(hole binary64 B))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* 1/3 (pow B 2))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* 2/15 (pow B 2))))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* (pow B 2) (+ 2/15 (* 17/315 (pow B 2))))))))))
#s(approx B #s(hole binary64 B))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ 1 B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* 1/6 (pow B 2))) B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* 7/360 (pow B 2))))) B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* (pow B 2) (+ 7/360 (* 31/15120 (pow B 2))))))) B)))
#s(approx (sin B) #s(hole binary64 B))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* -1/6 (pow B 2))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* 1/120 (pow B 2)) 1/6))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* (pow B 2) (+ 1/120 (* -1/5040 (pow B 2)))) 1/6))))))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))))
#s(approx (neg (* x (/ 1 (tan B)))) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (* x (/ 1 (tan B))) #s(hole binary64 (/ (* x (cos B)) (sin B))))
#s(approx (/ 1 (tan B)) #s(hole binary64 (/ (cos B) (sin B))))
#s(approx (tan B) #s(hole binary64 (/ (sin B) (cos B))))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ 1 (sin B))))
#s(approx (sin B) #s(hole binary64 (sin B)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (/ 1 (sin B))))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (+ (* -1 (/ (* x (cos B)) (sin B))) (/ 1 (sin B)))))
#s(approx x #s(hole binary64 x))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (* x (- (/ 1 (* x (sin B))) (/ (cos B) (sin B))))))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) #s(hole binary64 (* -1 (* x (- (/ (cos B) (sin B)) (/ 1 (* x (sin B))))))))

Outputs
(/.f64 (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64))) (-.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)))))
(/.f64 (+.f64 (pow.f64 (sin.f64 B) #s(literal -3 binary64)) (neg.f64 (pow.f64 (.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64)) x) #s(literal 3 binary64)))) (+.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (pow.f64 (sin.f64 B) #s(literal -2 binary64)))) (neg.f64 (-.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
(/.f64 (neg.f64 (+.f64 (neg.f64 (pow.f64 (.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64)) x) #s(literal 3 binary64))) (pow.f64 (sin.f64 B) #s(literal -3 binary64)))) (neg.f64 (+.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))))
(/.f64 (-.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (pow.f64 (sin.f64 B) #s(literal -2 binary64))) (-.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64))))
(/.f64 (+.f64 (neg.f64 (pow.f64 (.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64)) x) #s(literal 3 binary64))) (pow.f64 (sin.f64 B) #s(literal -3 binary64))) (+.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64))))))
(fma.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(fma.f64 x (neg.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(-.f64 (/.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
(+.f64 (/.f64 (neg.f64 (pow.f64 (.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64)) x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -3 binary64)) (+.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (.f64 (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))))
(+.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))))
(+.f64 (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)))
(*.f64 x (neg.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64))))
(neg.f64 (*.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64)) x))
(*.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64)) x)
(*.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64)))
(/.f64 (neg.f64 (*.f64 x #s(literal 1 binary64))) (neg.f64 (tan.f64 B)))
(/.f64 (*.f64 x #s(literal 1 binary64)) (tan.f64 B))
x
(pow.f64 (tan.f64 B) #s(literal -1 binary64))
(/.f64 (+.f64 (neg.f64 (tan.f64 B)) (tan.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 (tan.f64 B)) (tan.f64 (/.f64 (PI.f64) #s(literal 2 binary64))))))
(/.f64 (cos.f64 B) (cos.f64 (+.f64 (neg.f64 B) (/.f64 (PI.f64) #s(literal 2 binary64)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (tan.f64 B)))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (tan.f64 B))))
(/.f64 #s(literal 1 binary64) (pow.f64 (tan.f64 B) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (tan.f64 B))
(tan.f64 (+.f64 (+.f64 (neg.f64 B) (/.f64 (PI.f64) #s(literal 2 binary64))) (PI.f64)))
(tan.f64 (+.f64 (neg.f64 (+.f64 B (PI.f64))) (/.f64 (PI.f64) #s(literal 2 binary64))))
(tan.f64 (+.f64 (neg.f64 B) (/.f64 (PI.f64) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 (tan.f64 B)) #s(literal -1 binary64)))
#s(literal 1 binary64)
(/.f64 (neg.f64 (neg.f64 (sin.f64 B))) (neg.f64 (neg.f64 (cos.f64 B))))
(/.f64 (+.f64 (tan.f64 B) (tan.f64 (PI.f64))) (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 B) (tan.f64 (PI.f64)))))
(/.f64 (neg.f64 (sin.f64 B)) (neg.f64 (cos.f64 B)))
(/.f64 (sin.f64 B) (cos.f64 B))
(tan.f64 (+.f64 (+.f64 B (PI.f64)) (PI.f64)))
(tan.f64 (+.f64 B (PI.f64)))
(tan.f64 B)
B
(pow.f64 (sin.f64 B) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (sin.f64 B)))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (sin.f64 B))))
(/.f64 #s(literal 1 binary64) (pow.f64 (sin.f64 B) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (sin.f64 B))
(exp.f64 (*.f64 (log.f64 (sin.f64 B)) #s(literal -1 binary64)))
(sin.f64 B)
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (/.f64 (-.f64 #s(literal 1 binary64) x) B))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (/.f64 (-.f64 (fma.f64 (fma.f64 #s(literal 1/3 binary64) x #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) x) B))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (/.f64 (-.f64 (fma.f64 (+.f64 (fma.f64 #s(literal 1/3 binary64) x #s(literal 1/6 binary64)) (.f64 (fma.f64 x #s(literal 1/45 binary64) #s(literal 7/360 binary64)) (.f64 B B))) (*.f64 B B) #s(literal 1 binary64)) x) B))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (/.f64 (-.f64 (fma.f64 (+.f64 (fma.f64 (+.f64 (fma.f64 x #s(literal 1/45 binary64) (.f64 (+.f64 (fma.f64 #s(literal -1/3 binary64) (.f64 x #s(literal 1/45 binary64)) (.f64 x #s(literal 1/105 binary64))) #s(literal 31/15120 binary64)) (.f64 B B))) #s(literal 7/360 binary64)) (.f64 B B) (.f64 #s(literal 1/3 binary64) x)) #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) x) B))
#s(approx (neg (* x (/ 1 (tan B)))) (neg.f64 (/.f64 x B)))
#s(approx (neg (* x (/ 1 (tan B)))) (/.f64 (-.f64 (.f64 (.f64 (*.f64 B B) x) #s(literal 1/3 binary64)) x) B))
#s(approx (neg (* x (/ 1 (tan B)))) (/.f64 (-.f64 (.f64 (fma.f64 (.f64 x #s(literal 1/45 binary64)) (.f64 B B) (.f64 #s(literal 1/3 binary64) x)) (*.f64 B B)) x) B))
#s(approx (neg (* x (/ 1 (tan B)))) (/.f64 (-.f64 (.f64 (fma.f64 (fma.f64 x #s(literal 1/45 binary64) (.f64 (fma.f64 #s(literal -1/3 binary64) (.f64 x #s(literal 1/45 binary64)) (.f64 x #s(literal 1/105 binary64))) (.f64 B B))) (.f64 B B) (.f64 #s(literal 1/3 binary64) x)) (.f64 B B)) x) B))
#s(approx (* x (/ 1 (tan B))) (/.f64 x B))
#s(approx (* x (/ 1 (tan B))) (/.f64 (fma.f64 (.f64 (.f64 B B) x) #s(literal -1/3 binary64) x) B))
#s(approx (* x (/ 1 (tan B))) (/.f64 (fma.f64 (fma.f64 (.f64 #s(literal -1 binary64) (.f64 B B)) (.f64 x #s(literal 1/45 binary64)) (.f64 #s(literal -1/3 binary64) x)) (*.f64 B B) x) B))
#s(approx (* x (/ 1 (tan B))) (/.f64 (fma.f64 (fma.f64 (-.f64 (neg.f64 (.f64 (fma.f64 #s(literal -1/3 binary64) (.f64 x #s(literal 1/45 binary64)) (.f64 x #s(literal 1/105 binary64))) (.f64 B B))) (.f64 x #s(literal 1/45 binary64))) (.f64 B B) (.f64 #s(literal -1/3 binary64) x)) (.f64 B B) x) B))
#s(approx (/ 1 (tan B)) (pow.f64 B #s(literal -1 binary64)))
#s(approx (/ 1 (tan B)) (/.f64 (fma.f64 #s(literal -1/3 binary64) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (/ 1 (tan B)) (/.f64 (fma.f64 (-.f64 (.f64 #s(literal -1/45 binary64) (.f64 B B)) #s(literal 1/3 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (/ 1 (tan B)) (/.f64 (fma.f64 (-.f64 (.f64 (-.f64 (.f64 #s(literal -2/945 binary64) (.f64 B B)) #s(literal 1/45 binary64)) (.f64 B B)) #s(literal 1/3 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (tan B) B)
#s(approx (tan B) (.f64 (fma.f64 #s(literal 1/3 binary64) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (tan B) (.f64 (fma.f64 (fma.f64 #s(literal 2/15 binary64) (.f64 B B) #s(literal 1/3 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (tan B) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/315 binary64) (.f64 B B) #s(literal 2/15 binary64)) (.f64 B B) #s(literal 1/3 binary64)) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx B B)
#s(approx (/ 1 (sin B)) (pow.f64 B #s(literal -1 binary64)))
#s(approx (/ 1 (sin B)) (/.f64 (fma.f64 #s(literal 1/6 binary64) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (/ 1 (sin B)) (/.f64 (fma.f64 (fma.f64 #s(literal 7/360 binary64) (.f64 B B) #s(literal 1/6 binary64)) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (/ 1 (sin B)) (/.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 31/15120 binary64) (.f64 B B) #s(literal 7/360 binary64)) (.f64 B B) #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) B)
#s(approx (sin B) (.f64 (fma.f64 #s(literal -1/6 binary64) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/120 binary64) (.f64 B B)) #s(literal 1/6 binary64)) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/5040 binary64) (.f64 B B) #s(literal 1/120 binary64)) (.f64 B B)) #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (cos.f64 B) x)) (sin.f64 B)))
#s(approx (neg (* x (/ 1 (tan B)))) (neg.f64 (/.f64 (*.f64 (cos.f64 B) x) (sin.f64 B))))
#s(approx (* x (/ 1 (tan B))) (/.f64 (*.f64 (cos.f64 B) x) (sin.f64 B)))
#s(approx (/ 1 (tan B)) (/.f64 (cos.f64 B) (sin.f64 B)))
#s(approx (tan B) (tan.f64 B))
#s(approx (/ 1 (sin B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
#s(approx (sin B) (sin.f64 B))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B)))
#s(approx x x)
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (neg.f64 (/.f64 (*.f64 (cos.f64 B) x) (sin.f64 B))))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (neg.f64 (*.f64 (/.f64 (-.f64 (cos.f64 B) (pow.f64 x #s(literal -1 binary64))) (sin.f64 B)) x)))

eval11.0ms (0.4%)

Memory: 18.2MiB live, 18.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 909 to 432 computations (77.4% saved)

prune62.0ms (2.2%)

Memory

3.2MiB live, 58.2MiB allocated; 2ms collecting garbage

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	84	8	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	8	93

Accuracy

100.0%

Counts

93 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.7%	(fma.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
	45.1%	(/.f64 (+.f64 (neg.f64 (pow.f64 (.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64)) x) #s(literal 3 binary64))) (pow.f64 (sin.f64 B) #s(literal -3 binary64))) (+.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64))))))
	57.8%	(-.f64 (/.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
▶	99.8%	(+.f64 (neg.f64 (/.f64 (*.f64 x #s(literal 1 binary64)) (tan.f64 B))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
	79.1%	(+.f64 (neg.f64 (.f64 x (/.f64 (+.f64 (neg.f64 (tan.f64 B)) (tan.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (tan.f64 B)) (tan.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
	77.9%	(+.f64 (neg.f64 #s(approx (* x (/ 1 (tan B))) (/.f64 x B))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
	99.7%	#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B)))
	88.6%	#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))

Compiler

Compiled 390 to 254 computations (34.9% saved)

series8.0ms (0.3%)

Memory

11.8MiB live, 11.8MiB allocated; 0ms collecting garbage

Counts

10 → 38

Calls

Call 1

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

Outputs
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- 1 x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (* 1/3 x)))) x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (* 2/15 x)))))))) x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ 31/15120 (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))))))))))) x) B)))
#s(approx (neg (/ (* x 1) (tan B))) #s(hole binary64 (* -1 (/ x B))))
#s(approx (neg (/ (* x 1) (tan B))) #s(hole binary64 (/ (- (* 1/3 (* (pow B 2) x)) x) B)))
#s(approx (neg (/ (* x 1) (tan B))) #s(hole binary64 (/ (- (* (pow B 2) (+ (* 1/3 x) (* (pow B 2) (+ (* -1/9 x) (* 2/15 x))))) x) B)))
#s(approx (neg (/ (* x 1) (tan B))) #s(hole binary64 (/ (- (* (pow B 2) (+ (* 1/3 x) (* (pow B 2) (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))))))) x) B)))
#s(approx (/ (* x 1) (tan B)) #s(hole binary64 (/ x B)))
#s(approx (/ (* x 1) (tan B)) #s(hole binary64 (/ (+ x (* -1/3 (* (pow B 2) x))) B)))
#s(approx (/ (* x 1) (tan B)) #s(hole binary64 (/ (+ x (* (pow B 2) (- (* -1 (* (pow B 2) (+ (* -1/9 x) (* 2/15 x)))) (* 1/3 x)))) B)))
#s(approx (/ (* x 1) (tan B)) #s(hole binary64 (/ (+ x (* (pow B 2) (- (* (pow B 2) (- (* -1 (* (pow B 2) (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))) (+ (* -1/9 x) (* 2/15 x)))) (* 1/3 x)))) B)))
#s(approx (tan B) #s(hole binary64 B))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* 1/3 (pow B 2))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* 2/15 (pow B 2))))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* (pow B 2) (+ 2/15 (* 17/315 (pow B 2))))))))))
#s(approx B #s(hole binary64 B))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ 1 B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* 1/6 (pow B 2))) B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* 7/360 (pow B 2))))) B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* (pow B 2) (+ 7/360 (* 31/15120 (pow B 2))))))) B)))
#s(approx (sin B) #s(hole binary64 B))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* -1/6 (pow B 2))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* 1/120 (pow B 2)) 1/6))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* (pow B 2) (+ 1/120 (* -1/5040 (pow B 2)))) 1/6))))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))))
#s(approx (neg (/ (* x 1) (tan B))) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (/ (* x 1) (tan B)) #s(hole binary64 (/ (* x (cos B)) (sin B))))
#s(approx (tan B) #s(hole binary64 (/ (sin B) (cos B))))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ 1 (sin B))))
#s(approx (sin B) #s(hole binary64 (sin B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ 1 (sin B))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (+ (* -1 (/ (* x (cos B)) (sin B))) (/ 1 (sin B)))))
#s(approx (* x 1) #s(hole binary64 x))
#s(approx x #s(hole binary64 x))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* x (- (/ 1 (* x (sin B))) (/ (cos B) (sin B))))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* -1 (* x (- (/ (cos B) (sin B)) (/ 1 (* x (sin B))))))))

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	((+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (neg (/ (* x 1) (tan B))) (/ (* x 1) (tan B)) (* x 1) x 1 (tan B) B (/ 1 (sin B)) (sin B))
2.0ms	x	@	inf	((+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (neg (/ (* x 1) (tan B))) (/ (* x 1) (tan B)) (* x 1) x 1 (tan B) B (/ 1 (sin B)) (sin B))
1.0ms	x	@	0	((+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (neg (/ (* x 1) (tan B))) (/ (* x 1) (tan B)) (* x 1) x 1 (tan B) B (/ 1 (sin B)) (sin B))
1.0ms	B	@	-inf	((+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (neg (/ (* x 1) (tan B))) (/ (* x 1) (tan B)) (* x 1) x 1 (tan B) B (/ 1 (sin B)) (sin B))
1.0ms	B	@	inf	((+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (neg (/ (* x 1) (tan B))) (/ (* x 1) (tan B)) (* x 1) x 1 (tan B) B (/ 1 (sin B)) (sin B))

rewrite158.0ms (5.6%)

Memory

-3.0MiB live, 186.4MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	201	818
0	212	707
1	1255	699
0	8289	664

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

48 → 85

Calls

Call 1

Inputs
(+.f64 (neg.f64 (/.f64 (*.f64 x #s(literal 1 binary64)) (tan.f64 B))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
(neg.f64 (/.f64 (*.f64 x #s(literal 1 binary64)) (tan.f64 B)))
(/.f64 (*.f64 x #s(literal 1 binary64)) (tan.f64 B))
(*.f64 x #s(literal 1 binary64))
x
#s(literal 1 binary64)
(tan.f64 B)
B
(/.f64 #s(literal 1 binary64) (sin.f64 B))
(sin.f64 B)
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- 1 x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (* 1/3 x)))) x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (* 2/15 x)))))))) x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ 31/15120 (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))))))))))) x) B)))
#s(approx (neg (/ (* x 1) (tan B))) #s(hole binary64 (* -1 (/ x B))))
#s(approx (neg (/ (* x 1) (tan B))) #s(hole binary64 (/ (- (* 1/3 (* (pow B 2) x)) x) B)))
#s(approx (neg (/ (* x 1) (tan B))) #s(hole binary64 (/ (- (* (pow B 2) (+ (* 1/3 x) (* (pow B 2) (+ (* -1/9 x) (* 2/15 x))))) x) B)))
#s(approx (neg (/ (* x 1) (tan B))) #s(hole binary64 (/ (- (* (pow B 2) (+ (* 1/3 x) (* (pow B 2) (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))))))) x) B)))
#s(approx (/ (* x 1) (tan B)) #s(hole binary64 (/ x B)))
#s(approx (/ (* x 1) (tan B)) #s(hole binary64 (/ (+ x (* -1/3 (* (pow B 2) x))) B)))
#s(approx (/ (* x 1) (tan B)) #s(hole binary64 (/ (+ x (* (pow B 2) (- (* -1 (* (pow B 2) (+ (* -1/9 x) (* 2/15 x)))) (* 1/3 x)))) B)))
#s(approx (/ (* x 1) (tan B)) #s(hole binary64 (/ (+ x (* (pow B 2) (- (* (pow B 2) (- (* -1 (* (pow B 2) (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))) (+ (* -1/9 x) (* 2/15 x)))) (* 1/3 x)))) B)))
#s(approx (tan B) #s(hole binary64 B))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* 1/3 (pow B 2))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* 2/15 (pow B 2))))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* (pow B 2) (+ 2/15 (* 17/315 (pow B 2))))))))))
#s(approx B #s(hole binary64 B))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ 1 B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* 1/6 (pow B 2))) B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* 7/360 (pow B 2))))) B)))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* (pow B 2) (+ 7/360 (* 31/15120 (pow B 2))))))) B)))
#s(approx (sin B) #s(hole binary64 B))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* -1/6 (pow B 2))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* 1/120 (pow B 2)) 1/6))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* (pow B 2) (+ 1/120 (* -1/5040 (pow B 2)))) 1/6))))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))))
#s(approx (neg (/ (* x 1) (tan B))) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (/ (* x 1) (tan B)) #s(hole binary64 (/ (* x (cos B)) (sin B))))
#s(approx (tan B) #s(hole binary64 (/ (sin B) (cos B))))
#s(approx (/ 1 (sin B)) #s(hole binary64 (/ 1 (sin B))))
#s(approx (sin B) #s(hole binary64 (sin B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ 1 (sin B))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (+ (* -1 (/ (* x (cos B)) (sin B))) (/ 1 (sin B)))))
#s(approx (* x 1) #s(hole binary64 x))
#s(approx x #s(hole binary64 x))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* x (- (/ 1 (* x (sin B))) (/ (cos B) (sin B))))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* -1 (* x (- (/ (cos B) (sin B)) (/ 1 (* x (sin B))))))))

Outputs
(/.f64 (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64))) (-.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (/.f64 (neg.f64 x) (tan.f64 B))))
(/.f64 (+.f64 (pow.f64 (sin.f64 B) #s(literal -3 binary64)) (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) #s(literal 3 binary64)))) (+.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (*.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (/.f64 (neg.f64 x) (tan.f64 B))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (pow.f64 (sin.f64 B) #s(literal -2 binary64)))) (neg.f64 (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
(/.f64 (neg.f64 (+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) #s(literal 3 binary64))) (pow.f64 (sin.f64 B) #s(literal -3 binary64)))) (neg.f64 (+.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 x (*.f64 (neg.f64 (tan.f64 B)) (sin.f64 B)))))))
(/.f64 (fma.f64 #s(literal -1 binary64) (tan.f64 B) (.f64 (neg.f64 (sin.f64 B)) (neg.f64 x))) (.f64 (neg.f64 (sin.f64 B)) (tan.f64 B)))
(/.f64 (fma.f64 #s(literal -1 binary64) (neg.f64 (tan.f64 B)) (.f64 (neg.f64 (sin.f64 B)) x)) (.f64 (neg.f64 (sin.f64 B)) (neg.f64 (tan.f64 B))))
(/.f64 (fma.f64 #s(literal 1 binary64) (tan.f64 B) (.f64 (sin.f64 B) (neg.f64 x))) (.f64 (sin.f64 B) (tan.f64 B)))
(/.f64 (fma.f64 #s(literal 1 binary64) (neg.f64 (tan.f64 B)) (.f64 (sin.f64 B) x)) (.f64 (sin.f64 B) (neg.f64 (tan.f64 B))))
(/.f64 (fma.f64 (neg.f64 x) (neg.f64 (sin.f64 B)) (.f64 (tan.f64 B) #s(literal -1 binary64))) (.f64 (tan.f64 B) (neg.f64 (sin.f64 B))))
(/.f64 (fma.f64 (neg.f64 x) (sin.f64 B) (.f64 (tan.f64 B) #s(literal 1 binary64))) (.f64 (tan.f64 B) (sin.f64 B)))
(/.f64 (fma.f64 x (neg.f64 (sin.f64 B)) (.f64 (neg.f64 (tan.f64 B)) #s(literal -1 binary64))) (.f64 (neg.f64 (tan.f64 B)) (neg.f64 (sin.f64 B))))
(/.f64 (fma.f64 (sin.f64 B) x (.f64 (neg.f64 (tan.f64 B)) #s(literal 1 binary64))) (.f64 (neg.f64 (tan.f64 B)) (sin.f64 B)))
(/.f64 (-.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (pow.f64 (sin.f64 B) #s(literal -2 binary64))) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64))))
(/.f64 (+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) #s(literal 3 binary64))) (pow.f64 (sin.f64 B) #s(literal -3 binary64))) (+.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 x (*.f64 (neg.f64 (tan.f64 B)) (sin.f64 B))))))
(fma.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64)) (pow.f64 (sin.f64 B) #s(literal -1/2 binary64)) (/.f64 (neg.f64 x) (tan.f64 B)))
(-.f64 (/.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
(+.f64 (/.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 x (.f64 (neg.f64 (tan.f64 B)) (sin.f64 B)))))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -3 binary64)) (+.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 x (.f64 (neg.f64 (tan.f64 B)) (sin.f64 B)))))))
(+.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (/.f64 (neg.f64 x) (tan.f64 B)))
(+.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(/.f64 (neg.f64 (neg.f64 x)) (neg.f64 (tan.f64 B)))
(/.f64 (neg.f64 x) (neg.f64 (neg.f64 (tan.f64 B))))
(/.f64 (neg.f64 x) (tan.f64 B))
(/.f64 x (neg.f64 (tan.f64 B)))
(neg.f64 (/.f64 x (tan.f64 B)))
(*.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64)))
(/.f64 (neg.f64 (neg.f64 x)) (neg.f64 (neg.f64 (tan.f64 B))))
(/.f64 (neg.f64 x) (neg.f64 (tan.f64 B)))
(/.f64 x (tan.f64 B))
x
x
#s(literal 1 binary64)
(/.f64 (neg.f64 (neg.f64 (sin.f64 B))) (neg.f64 (neg.f64 (cos.f64 B))))
(/.f64 (+.f64 (tan.f64 B) (tan.f64 (PI.f64))) (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 B) (tan.f64 (PI.f64)))))
(/.f64 (neg.f64 (sin.f64 B)) (neg.f64 (cos.f64 B)))
(/.f64 (sin.f64 B) (cos.f64 B))
(tan.f64 (+.f64 (+.f64 B (PI.f64)) (PI.f64)))
(tan.f64 (+.f64 B (PI.f64)))
(tan.f64 B)
B
(*.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64)) (pow.f64 (sin.f64 B) #s(literal -1/2 binary64)))
(pow.f64 (sin.f64 B) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (sin.f64 B)))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (sin.f64 B))))
(/.f64 #s(literal 1 binary64) (pow.f64 (sin.f64 B) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (sin.f64 B))
(exp.f64 (*.f64 (log.f64 (sin.f64 B)) #s(literal -1 binary64)))
(sin.f64 B)
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (-.f64 #s(literal 1 binary64) x) B))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (-.f64 (fma.f64 (fma.f64 #s(literal 1/3 binary64) x #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) x) B))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (-.f64 (fma.f64 (+.f64 (fma.f64 #s(literal 1/3 binary64) x #s(literal 1/6 binary64)) (.f64 (fma.f64 x #s(literal 1/45 binary64) #s(literal 7/360 binary64)) (.f64 B B))) (*.f64 B B) #s(literal 1 binary64)) x) B))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (-.f64 (fma.f64 (+.f64 (fma.f64 (+.f64 (fma.f64 x #s(literal 1/45 binary64) (.f64 (+.f64 (fma.f64 #s(literal -1/3 binary64) (.f64 x #s(literal 1/45 binary64)) (.f64 x #s(literal 1/105 binary64))) #s(literal 31/15120 binary64)) (.f64 B B))) #s(literal 7/360 binary64)) (.f64 B B) (.f64 #s(literal 1/3 binary64) x)) #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) x) B))
#s(approx (neg (/ (* x 1) (tan B))) (neg.f64 (/.f64 x B)))
#s(approx (neg (/ (* x 1) (tan B))) (/.f64 (-.f64 (.f64 (.f64 (*.f64 B B) x) #s(literal 1/3 binary64)) x) B))
#s(approx (neg (/ (* x 1) (tan B))) (/.f64 (-.f64 (.f64 (fma.f64 (.f64 x #s(literal 1/45 binary64)) (.f64 B B) (.f64 #s(literal 1/3 binary64) x)) (*.f64 B B)) x) B))
#s(approx (neg (/ (* x 1) (tan B))) (/.f64 (-.f64 (.f64 (fma.f64 (fma.f64 x #s(literal 1/45 binary64) (.f64 (fma.f64 #s(literal -1/3 binary64) (.f64 x #s(literal 1/45 binary64)) (.f64 x #s(literal 1/105 binary64))) (.f64 B B))) (.f64 B B) (.f64 #s(literal 1/3 binary64) x)) (.f64 B B)) x) B))
#s(approx (/ (* x 1) (tan B)) (/.f64 x B))
#s(approx (/ (* x 1) (tan B)) (/.f64 (fma.f64 (.f64 (.f64 B B) x) #s(literal -1/3 binary64) x) B))
#s(approx (/ (* x 1) (tan B)) (/.f64 (fma.f64 (fma.f64 (.f64 #s(literal -1 binary64) (.f64 B B)) (.f64 x #s(literal 1/45 binary64)) (.f64 #s(literal -1/3 binary64) x)) (*.f64 B B) x) B))
#s(approx (/ (* x 1) (tan B)) (/.f64 (fma.f64 (fma.f64 (-.f64 (neg.f64 (.f64 (fma.f64 #s(literal -1/3 binary64) (.f64 x #s(literal 1/45 binary64)) (.f64 x #s(literal 1/105 binary64))) (.f64 B B))) (.f64 x #s(literal 1/45 binary64))) (.f64 B B) (.f64 #s(literal -1/3 binary64) x)) (.f64 B B) x) B))
#s(approx (tan B) B)
#s(approx (tan B) (.f64 (fma.f64 #s(literal 1/3 binary64) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (tan B) (.f64 (fma.f64 (fma.f64 #s(literal 2/15 binary64) (.f64 B B) #s(literal 1/3 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (tan B) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/315 binary64) (.f64 B B) #s(literal 2/15 binary64)) (.f64 B B) #s(literal 1/3 binary64)) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx B B)
#s(approx (/ 1 (sin B)) (pow.f64 B #s(literal -1 binary64)))
#s(approx (/ 1 (sin B)) (/.f64 (fma.f64 #s(literal 1/6 binary64) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (/ 1 (sin B)) (/.f64 (fma.f64 (fma.f64 #s(literal 7/360 binary64) (.f64 B B) #s(literal 1/6 binary64)) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (/ 1 (sin B)) (/.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 31/15120 binary64) (.f64 B B) #s(literal 7/360 binary64)) (.f64 B B) #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) B)
#s(approx (sin B) (.f64 (fma.f64 #s(literal -1/6 binary64) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/120 binary64) (.f64 B B)) #s(literal 1/6 binary64)) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/5040 binary64) (.f64 B B) #s(literal 1/120 binary64)) (.f64 B B)) #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (cos.f64 B) x)) (sin.f64 B)))
#s(approx (neg (/ (* x 1) (tan B))) (neg.f64 (/.f64 (*.f64 (cos.f64 B) x) (sin.f64 B))))
#s(approx (/ (* x 1) (tan B)) (/.f64 (*.f64 (cos.f64 B) x) (sin.f64 B)))
#s(approx (tan B) (tan.f64 B))
#s(approx (/ 1 (sin B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
#s(approx (sin B) (sin.f64 B))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B)))
#s(approx (* x 1) x)
#s(approx (* x 1) x)
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (neg.f64 (/.f64 (*.f64 (cos.f64 B) x) (sin.f64 B))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (neg.f64 (*.f64 (/.f64 (-.f64 (cos.f64 B) (pow.f64 x #s(literal -1 binary64))) (sin.f64 B)) x)))

eval11.0ms (0.4%)

Memory: -28.7MiB live, 18.5MiB allocated; 1ms collecting garbage
Compiler: Compiled 1 718 to 372 computations (78.3% saved)

prune51.0ms (1.8%)

Memory

4.8MiB live, 51.3MiB allocated; 2ms collecting garbage

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	80	6	86
Fresh	5	2	7
Picked	1	0	1
Done	0	0	0
Total	86	8	94

Accuracy

100.0%

Counts

94 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.7%	(fma.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
	87.5%	(/.f64 (fma.f64 (sin.f64 B) x (.f64 (neg.f64 (tan.f64 B)) #s(literal 1 binary64))) (.f64 (neg.f64 (tan.f64 B)) (sin.f64 B)))
	45.1%	(/.f64 (+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) #s(literal 3 binary64))) (pow.f64 (sin.f64 B) #s(literal -3 binary64))) (+.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 x (*.f64 (neg.f64 (tan.f64 B)) (sin.f64 B))))))
	57.8%	(-.f64 (/.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
	77.8%	(+.f64 (neg.f64 (/.f64 (.f64 x #s(literal 1 binary64)) #s(approx (tan B) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/315 binary64) (.f64 B B) #s(literal 2/15 binary64)) (.f64 B B) #s(literal 1/3 binary64)) (*.f64 B B) #s(literal 1 binary64)) B)))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
	79.1%	(+.f64 (neg.f64 (.f64 x (/.f64 (+.f64 (neg.f64 (tan.f64 B)) (tan.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (tan.f64 B)) (tan.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
▶	99.7%	#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B)))
	88.6%	#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))

Compiler

Compiled 400 to 262 computations (34.5% saved)

series12.0ms (0.4%)

Memory

13.4MiB live, 13.4MiB allocated; 0ms collecting garbage

Counts

10 → 46

Calls

Call 1

Inputs
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B)))
(/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B))
(fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64))
#s(literal -1 binary64)
(*.f64 (cos.f64 B) x)
(cos.f64 B)
B
x
#s(literal 1 binary64)
(sin.f64 B)

Outputs
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- 1 x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (* 1/3 x)))) x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (* 2/15 x)))))))) x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ 31/15120 (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))))))))))) x) B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ (+ 1 (* -1 x)) B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (- (* 1/2 x) (* -1/6 (+ 1 (* -1 x))))))) B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (- (+ (* 1/2 x) (* (pow B 2) (- (* -1/24 x) (+ (* -1/6 (- (* 1/2 x) (* -1/6 (+ 1 (* -1 x))))) (* 1/120 (+ 1 (* -1 x))))))) (* -1/6 (+ 1 (* -1 x))))))) B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (- (+ (* 1/2 x) (* (pow B 2) (- (+ (* -1/24 x) (* (pow B 2) (- (* 1/720 x) (+ (* -1/6 (- (* -1/24 x) (+ (* -1/6 (- (* 1/2 x) (* -1/6 (+ 1 (* -1 x))))) (* 1/120 (+ 1 (* -1 x)))))) (+ (* -1/5040 (+ 1 (* -1 x))) (* 1/120 (- (* 1/2 x) (* -1/6 (+ 1 (* -1 x)))))))))) (+ (* -1/6 (- (* 1/2 x) (* -1/6 (+ 1 (* -1 x))))) (* 1/120 (+ 1 (* -1 x))))))) (* -1/6 (+ 1 (* -1 x))))))) B)))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (+ 1 (+ (* -1 x) (* 1/2 (* (pow B 2) x))))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (+ 1 (+ (* -1 x) (* (pow B 2) (+ (* -1/24 (* (pow B 2) x)) (* 1/2 x)))))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (+ 1 (+ (* -1 x) (* (pow B 2) (+ (* 1/2 x) (* (pow B 2) (+ (* -1/24 x) (* 1/720 (* (pow B 2) x))))))))))
#s(approx (* (cos B) x) #s(hole binary64 x))
#s(approx (* (cos B) x) #s(hole binary64 (+ x (* -1/2 (* (pow B 2) x)))))
#s(approx (* (cos B) x) #s(hole binary64 (+ x (* (pow B 2) (+ (* -1/2 x) (* 1/24 (* (pow B 2) x)))))))
#s(approx (* (cos B) x) #s(hole binary64 (+ x (* (pow B 2) (+ (* -1/2 x) (* (pow B 2) (+ (* -1/720 (* (pow B 2) x)) (* 1/24 x))))))))
#s(approx (cos B) #s(hole binary64 1))
#s(approx (cos B) #s(hole binary64 (+ 1 (* -1/2 (pow B 2)))))
#s(approx (cos B) #s(hole binary64 (+ 1 (* (pow B 2) (- (* 1/24 (pow B 2)) 1/2)))))
#s(approx (cos B) #s(hole binary64 (+ 1 (* (pow B 2) (- (* (pow B 2) (+ 1/24 (* -1/720 (pow B 2)))) 1/2)))))
#s(approx B #s(hole binary64 B))
#s(approx (sin B) #s(hole binary64 B))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* -1/6 (pow B 2))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* 1/120 (pow B 2)) 1/6))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* (pow B 2) (+ 1/120 (* -1/5040 (pow B 2)))) 1/6))))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ (+ 1 (* -1 (* x (cos B)))) (sin B))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (+ 1 (* -1 (* x (cos B))))))
#s(approx (* (cos B) x) #s(hole binary64 (* x (cos B))))
#s(approx (cos B) #s(hole binary64 (cos B)))
#s(approx (sin B) #s(hole binary64 (sin B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ 1 (sin B))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (+ (* -1 (/ (* x (cos B)) (sin B))) (/ 1 (sin B)))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ 1 (sin B))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (+ (* -1 (/ (* x (cos B)) (sin B))) (/ 1 (sin B)))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 1))
#s(approx x #s(hole binary64 x))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* x (- (/ 1 (* x (sin B))) (/ (cos B) (sin B))))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (* x (+ (* -1 (/ (cos B) (sin B))) (/ 1 (* x (sin B)))))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (* -1 (* x (cos B)))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (* x (+ (* -1 (cos B)) (/ 1 x)))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* -1 (* x (- (/ (cos B) (sin B)) (/ 1 (* x (sin B))))))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (* -1 (* x (- (/ (cos B) (sin B)) (/ 1 (* x (sin B))))))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (* -1 (* x (- (cos B) (/ 1 x))))))

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	((+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (+ (* -1 (* (cos B) x)) 1) -1 (* (cos B) x) (cos B) B x 1 (sin B))
2.0ms	B	@	0	((+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (+ (* -1 (* (cos B) x)) 1) -1 (* (cos B) x) (cos B) B x 1 (sin B))
2.0ms	B	@	-inf	((+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (+ (* -1 (* (cos B) x)) 1) -1 (* (cos B) x) (cos B) B x 1 (sin B))
2.0ms	B	@	inf	((+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (+ (* -1 (* (cos B) x)) 1) -1 (* (cos B) x) (cos B) B x 1 (sin B))
2.0ms	x	@	-inf	((+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (+ (* -1 (* (cos B) x)) 1) -1 (* (cos B) x) (cos B) B x 1 (sin B))

rewrite168.0ms (5.9%)

Memory

-11.2MiB live, 128.9MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	246	1109
0	256	1010
1	1592	998
0	8682	932

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

56 → 105

Calls

Call 1

Inputs
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B)))
(/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B))
(fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64))
#s(literal -1 binary64)
(*.f64 (cos.f64 B) x)
(cos.f64 B)
B
x
#s(literal 1 binary64)
(sin.f64 B)
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- 1 x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (* 1/3 x)))) x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (* 2/15 x)))))))) x) B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ (- (+ 1 (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ 31/15120 (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x))))))))))))) x) B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ (+ 1 (* -1 x)) B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (- (* 1/2 x) (* -1/6 (+ 1 (* -1 x))))))) B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (- (+ (* 1/2 x) (* (pow B 2) (- (* -1/24 x) (+ (* -1/6 (- (* 1/2 x) (* -1/6 (+ 1 (* -1 x))))) (* 1/120 (+ 1 (* -1 x))))))) (* -1/6 (+ 1 (* -1 x))))))) B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (- (+ (* 1/2 x) (* (pow B 2) (- (+ (* -1/24 x) (* (pow B 2) (- (* 1/720 x) (+ (* -1/6 (- (* -1/24 x) (+ (* -1/6 (- (* 1/2 x) (* -1/6 (+ 1 (* -1 x))))) (* 1/120 (+ 1 (* -1 x)))))) (+ (* -1/5040 (+ 1 (* -1 x))) (* 1/120 (- (* 1/2 x) (* -1/6 (+ 1 (* -1 x)))))))))) (+ (* -1/6 (- (* 1/2 x) (* -1/6 (+ 1 (* -1 x))))) (* 1/120 (+ 1 (* -1 x))))))) (* -1/6 (+ 1 (* -1 x))))))) B)))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (+ 1 (* -1 x))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (+ 1 (+ (* -1 x) (* 1/2 (* (pow B 2) x))))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (+ 1 (+ (* -1 x) (* (pow B 2) (+ (* -1/24 (* (pow B 2) x)) (* 1/2 x)))))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (+ 1 (+ (* -1 x) (* (pow B 2) (+ (* 1/2 x) (* (pow B 2) (+ (* -1/24 x) (* 1/720 (* (pow B 2) x))))))))))
#s(approx (* (cos B) x) #s(hole binary64 x))
#s(approx (* (cos B) x) #s(hole binary64 (+ x (* -1/2 (* (pow B 2) x)))))
#s(approx (* (cos B) x) #s(hole binary64 (+ x (* (pow B 2) (+ (* -1/2 x) (* 1/24 (* (pow B 2) x)))))))
#s(approx (* (cos B) x) #s(hole binary64 (+ x (* (pow B 2) (+ (* -1/2 x) (* (pow B 2) (+ (* -1/720 (* (pow B 2) x)) (* 1/24 x))))))))
#s(approx (cos B) #s(hole binary64 1))
#s(approx (cos B) #s(hole binary64 (+ 1 (* -1/2 (pow B 2)))))
#s(approx (cos B) #s(hole binary64 (+ 1 (* (pow B 2) (- (* 1/24 (pow B 2)) 1/2)))))
#s(approx (cos B) #s(hole binary64 (+ 1 (* (pow B 2) (- (* (pow B 2) (+ 1/24 (* -1/720 (pow B 2)))) 1/2)))))
#s(approx B #s(hole binary64 B))
#s(approx (sin B) #s(hole binary64 B))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* -1/6 (pow B 2))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* 1/120 (pow B 2)) 1/6))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* (pow B 2) (+ 1/120 (* -1/5040 (pow B 2)))) 1/6))))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (- (/ 1 (sin B)) (/ (* x (cos B)) (sin B)))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ (+ 1 (* -1 (* x (cos B)))) (sin B))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (+ 1 (* -1 (* x (cos B))))))
#s(approx (* (cos B) x) #s(hole binary64 (* x (cos B))))
#s(approx (cos B) #s(hole binary64 (cos B)))
#s(approx (sin B) #s(hole binary64 (sin B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (/ 1 (sin B))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (+ (* -1 (/ (* x (cos B)) (sin B))) (/ 1 (sin B)))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (/ 1 (sin B))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (+ (* -1 (/ (* x (cos B)) (sin B))) (/ 1 (sin B)))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 1))
#s(approx x #s(hole binary64 x))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* x (- (/ 1 (* x (sin B))) (/ (cos B) (sin B))))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (* x (+ (* -1 (/ (cos B) (sin B))) (/ 1 (* x (sin B)))))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (* -1 (* x (cos B)))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (* x (+ (* -1 (cos B)) (/ 1 x)))))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) #s(hole binary64 (* -1 (* x (- (/ (cos B) (sin B)) (/ 1 (* x (sin B))))))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) #s(hole binary64 (* -1 (* x (- (/ (cos B) (sin B)) (/ 1 (* x (sin B))))))))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(hole binary64 (* -1 (* x (- (cos B) (/ 1 x))))))

Outputs
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 (neg.f64 x) (cos.f64 B) #s(literal 1 binary64)) (sin.f64 B)))
(/.f64 (+.f64 (pow.f64 (sin.f64 B) #s(literal -3 binary64)) (pow.f64 (/.f64 (.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B)) #s(literal 3 binary64))) (+.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (pow.f64 (/.f64 (.f64 (cos.f64 B) x) (sin.f64 B)) #s(literal 2 binary64)) (.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (/.f64 (.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (.f64 (cos.f64 B) x) (sin.f64 B)) #s(literal 2 binary64)) (pow.f64 (sin.f64 B) #s(literal -2 binary64)))) (neg.f64 (/.f64 (-.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64)) (sin.f64 B))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B)) #s(literal 3 binary64)) (pow.f64 (sin.f64 B) #s(literal -3 binary64)))) (neg.f64 (+.f64 (pow.f64 (/.f64 (.f64 (cos.f64 B) x) (sin.f64 B)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 (.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64)) (pow.f64 (sin.f64 B) #s(literal 2 binary64)))))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (neg.f64 x) (cos.f64 B) #s(literal 1 binary64)))) (neg.f64 (neg.f64 (sin.f64 B))))
(/.f64 (fma.f64 (.f64 (neg.f64 x) (cos.f64 B)) (neg.f64 (sin.f64 B)) (.f64 (sin.f64 B) #s(literal -1 binary64))) (*.f64 (sin.f64 B) (neg.f64 (sin.f64 B))))
(/.f64 (fma.f64 (.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B) (.f64 (sin.f64 B) #s(literal 1 binary64))) (pow.f64 (sin.f64 B) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal -1 binary64) (sin.f64 B) (.f64 (neg.f64 (sin.f64 B)) (.f64 (neg.f64 x) (cos.f64 B)))) (*.f64 (neg.f64 (sin.f64 B)) (sin.f64 B)))
(/.f64 (fma.f64 #s(literal 1 binary64) (sin.f64 B) (.f64 (sin.f64 B) (.f64 (neg.f64 x) (cos.f64 B)))) (pow.f64 (sin.f64 B) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (cos.f64 B) x) (sin.f64 B)) #s(literal 2 binary64)) (pow.f64 (sin.f64 B) #s(literal -2 binary64))) (/.f64 (-.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64)) (sin.f64 B)))
(/.f64 (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B)) #s(literal 3 binary64)) (pow.f64 (sin.f64 B) #s(literal -3 binary64))) (+.f64 (pow.f64 (/.f64 (.f64 (cos.f64 B) x) (sin.f64 B)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 (.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64)) (pow.f64 (sin.f64 B) #s(literal 2 binary64))))))
(/.f64 (neg.f64 (fma.f64 (neg.f64 x) (cos.f64 B) #s(literal 1 binary64))) (neg.f64 (sin.f64 B)))
(/.f64 (fma.f64 (neg.f64 x) (cos.f64 B) #s(literal 1 binary64)) (sin.f64 B))
(fma.f64 (/.f64 (*.f64 (cos.f64 B) x) (sin.f64 B)) #s(literal -1 binary64) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(fma.f64 #s(literal -1 binary64) (/.f64 (*.f64 (cos.f64 B) x) (sin.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(-.f64 (/.f64 (pow.f64 (/.f64 (.f64 (cos.f64 B) x) (sin.f64 B)) #s(literal 2 binary64)) (/.f64 (-.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64)) (sin.f64 B))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 (-.f64 (*.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64)) (sin.f64 B))))
(-.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (/.f64 (.f64 #s(literal 1 binary64) (.f64 (cos.f64 B) x)) (sin.f64 B)))
(+.f64 (/.f64 (pow.f64 (/.f64 (.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B)) #s(literal 3 binary64)) (+.f64 (pow.f64 (/.f64 (.f64 (cos.f64 B) x) (sin.f64 B)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 (.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64)) (pow.f64 (sin.f64 B) #s(literal 2 binary64)))))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -3 binary64)) (+.f64 (pow.f64 (/.f64 (.f64 (cos.f64 B) x) (sin.f64 B)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 (.f64 (*.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64)) (pow.f64 (sin.f64 B) #s(literal 2 binary64)))))))
(+.f64 (/.f64 (*.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(+.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (/.f64 (*.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B)))
(*.f64 (fma.f64 (cos.f64 B) #s(literal -1 binary64) (pow.f64 x #s(literal -1 binary64))) x)
(*.f64 x (fma.f64 (cos.f64 B) #s(literal -1 binary64) (pow.f64 x #s(literal -1 binary64))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 #s(literal 1 binary64) (.f64 (cos.f64 B) x)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (fma.f64 (.f64 #s(literal 1 binary64) (.f64 (cos.f64 B) x)) (.f64 #s(literal 1 binary64) (.f64 (cos.f64 B) x)) (.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) (*.f64 (cos.f64 B) x))))))
(/.f64 (+.f64 (pow.f64 (.f64 x (neg.f64 (cos.f64 B))) #s(literal 3 binary64)) (pow.f64 (.f64 x (pow.f64 x #s(literal -1 binary64))) #s(literal 3 binary64))) (fma.f64 (.f64 x (neg.f64 (cos.f64 B))) (.f64 x (neg.f64 (cos.f64 B))) (-.f64 (.f64 (.f64 x (pow.f64 x #s(literal -1 binary64))) (.f64 x (pow.f64 x #s(literal -1 binary64)))) (.f64 (.f64 x (neg.f64 (cos.f64 B))) (.f64 x (pow.f64 x #s(literal -1 binary64)))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) #s(literal 1 binary64))) (neg.f64 (-.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)))) (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (cos.f64 B)))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 (.f64 (cos.f64 B) x) #s(literal 3 binary64)) #s(literal -1 binary64) #s(literal 1 binary64))) (neg.f64 (+.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64))))))
(/.f64 (neg.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 3 binary64)))) (neg.f64 (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (cos.f64 B)))))))
(/.f64 (-.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (cos.f64 B))))
(/.f64 (fma.f64 (pow.f64 (.f64 (cos.f64 B) x) #s(literal 3 binary64)) #s(literal -1 binary64) #s(literal 1 binary64)) (+.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64)))))
(/.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (cos.f64 B))))))
(fma.f64 (neg.f64 (cos.f64 B)) x #s(literal 1 binary64))
(fma.f64 (neg.f64 x) (cos.f64 B) #s(literal 1 binary64))
(fma.f64 (*.f64 (cos.f64 B) x) #s(literal -1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64))
(fma.f64 x (neg.f64 (cos.f64 B)) (*.f64 x (pow.f64 x #s(literal -1 binary64))))
(-.f64 (/.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 (*.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64))))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (cos.f64 B)))) (/.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) (cos.f64 B)))))
(-.f64 #s(literal 1 binary64) (.f64 #s(literal 1 binary64) (.f64 (cos.f64 B) x)))
(+.f64 (/.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 3 binary64)) (+.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64))))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (.f64 (*.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64))))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (.f64 #s(literal 1 binary64) (.f64 (neg.f64 x) (cos.f64 B)))))) (/.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) (cos.f64 B)))))))
(+.f64 (.f64 x (neg.f64 (cos.f64 B))) (.f64 x (pow.f64 x #s(literal -1 binary64))))
(+.f64 (*.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) (cos.f64 B)))
#s(literal -1 binary64)
(*.f64 (cos.f64 B) x)
(*.f64 x (cos.f64 B))
(fma.f64 (sin.f64 B) (cos.f64 (/.f64 (PI.f64) #s(literal 2 binary64))) (*.f64 (cos.f64 B) (sin.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))
(sin.f64 (+.f64 (neg.f64 B) (/.f64 (PI.f64) #s(literal 2 binary64))))
(sin.f64 (+.f64 B (/.f64 (PI.f64) #s(literal 2 binary64))))
(cos.f64 (neg.f64 (neg.f64 B)))
(cos.f64 (neg.f64 B))
(cos.f64 B)
(+.f64 (.f64 (sin.f64 B) (cos.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))) (.f64 (cos.f64 B) (sin.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))
B
x
#s(literal 1 binary64)
(sin.f64 B)
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (-.f64 #s(literal 1 binary64) x) B))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (-.f64 (fma.f64 (fma.f64 #s(literal 1/3 binary64) x #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) x) B))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (-.f64 (fma.f64 (+.f64 (fma.f64 #s(literal 1/3 binary64) x #s(literal 1/6 binary64)) (.f64 (fma.f64 x #s(literal 1/45 binary64) #s(literal 7/360 binary64)) (.f64 B B))) (*.f64 B B) #s(literal 1 binary64)) x) B))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (-.f64 (fma.f64 (+.f64 (fma.f64 (+.f64 (fma.f64 x #s(literal 1/45 binary64) (.f64 (+.f64 (fma.f64 #s(literal -1/3 binary64) (.f64 x #s(literal 1/45 binary64)) (.f64 x #s(literal 1/105 binary64))) #s(literal 31/15120 binary64)) (.f64 B B))) #s(literal 7/360 binary64)) (.f64 B B) (.f64 #s(literal 1/3 binary64) x)) #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) x) B))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (/.f64 (-.f64 #s(literal 1 binary64) x) B))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (/.f64 (+.f64 (-.f64 #s(literal 1 binary64) x) (.f64 (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/6 binary64) (-.f64 #s(literal 1 binary64) x))) (*.f64 B B))) B))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (/.f64 (+.f64 (-.f64 #s(literal 1 binary64) x) (.f64 (-.f64 (fma.f64 (-.f64 (.f64 #s(literal -1/24 binary64) x) (fma.f64 (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/6 binary64) (-.f64 #s(literal 1 binary64) x))) #s(literal -1/6 binary64) (.f64 #s(literal 1/120 binary64) (-.f64 #s(literal 1 binary64) x)))) (.f64 B B) (.f64 #s(literal 1/2 binary64) x)) (.f64 #s(literal -1/6 binary64) (-.f64 #s(literal 1 binary64) x))) (.f64 B B))) B))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (/.f64 (+.f64 (fma.f64 (-.f64 (fma.f64 (-.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/720 binary64) x) (fma.f64 (-.f64 (.f64 #s(literal -1/24 binary64) x) (fma.f64 (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/6 binary64) (-.f64 #s(literal 1 binary64) x))) #s(literal -1/6 binary64) (.f64 #s(literal 1/120 binary64) (-.f64 #s(literal 1 binary64) x)))) #s(literal -1/6 binary64) (fma.f64 #s(literal 1/120 binary64) (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/6 binary64) (-.f64 #s(literal 1 binary64) x))) (.f64 #s(literal -1/5040 binary64) (-.f64 #s(literal 1 binary64) x))))) (.f64 B B) (.f64 #s(literal -1/24 binary64) x)) (fma.f64 (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/6 binary64) (-.f64 #s(literal 1 binary64) x))) #s(literal -1/6 binary64) (.f64 #s(literal 1/120 binary64) (-.f64 #s(literal 1 binary64) x)))) (.f64 B B) (.f64 #s(literal 1/2 binary64) x)) (.f64 #s(literal -1/6 binary64) (-.f64 #s(literal 1 binary64) x))) (.f64 B B) (neg.f64 x)) #s(literal 1 binary64)) B))
#s(approx (+ (* -1 (* (cos B) x)) 1) (-.f64 #s(literal 1 binary64) x))
#s(approx (+ (* -1 (* (cos B) x)) 1) (+.f64 (fma.f64 (.f64 (.f64 B B) x) #s(literal 1/2 binary64) (neg.f64 x)) #s(literal 1 binary64)))
#s(approx (+ (* -1 (* (cos B) x)) 1) (+.f64 (-.f64 #s(literal 1 binary64) x) (.f64 (fma.f64 (.f64 (.f64 B B) x) #s(literal -1/24 binary64) (.f64 #s(literal 1/2 binary64) x)) (*.f64 B B))))
#s(approx (+ (* -1 (* (cos B) x)) 1) (+.f64 (-.f64 #s(literal 1 binary64) x) (.f64 (fma.f64 (fma.f64 (.f64 (.f64 B B) x) #s(literal 1/720 binary64) (.f64 #s(literal -1/24 binary64) x)) (.f64 B B) (.f64 #s(literal 1/2 binary64) x)) (*.f64 B B))))
#s(approx (* (cos B) x) x)
#s(approx (* (cos B) x) (fma.f64 #s(literal -1/2 binary64) (.f64 (.f64 B B) x) x))
#s(approx (* (cos B) x) (fma.f64 (fma.f64 #s(literal 1/24 binary64) (.f64 (.f64 B B) x) (.f64 #s(literal -1/2 binary64) x)) (.f64 B B) x))
#s(approx (* (cos B) x) (fma.f64 (fma.f64 (fma.f64 #s(literal -1/720 binary64) (.f64 (.f64 B B) x) (.f64 #s(literal 1/24 binary64) x)) (.f64 B B) (.f64 #s(literal -1/2 binary64) x)) (.f64 B B) x))
#s(approx (cos B) #s(literal 1 binary64))
#s(approx (cos B) (fma.f64 #s(literal -1/2 binary64) (*.f64 B B) #s(literal 1 binary64)))
#s(approx (cos B) (fma.f64 (-.f64 (.f64 #s(literal 1/24 binary64) (.f64 B B)) #s(literal 1/2 binary64)) (*.f64 B B) #s(literal 1 binary64)))
#s(approx (cos B) (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/720 binary64) (.f64 B B) #s(literal 1/24 binary64)) (.f64 B B)) #s(literal 1/2 binary64)) (.f64 B B) #s(literal 1 binary64)))
#s(approx B B)
#s(approx (sin B) B)
#s(approx (sin B) (.f64 (fma.f64 #s(literal -1/6 binary64) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/120 binary64) (.f64 B B)) #s(literal 1/6 binary64)) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/5040 binary64) (.f64 B B) #s(literal 1/120 binary64)) (.f64 B B)) #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (cos.f64 B) x)) (sin.f64 B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (/.f64 (fma.f64 (neg.f64 x) (cos.f64 B) #s(literal 1 binary64)) (sin.f64 B)))
#s(approx (+ (* -1 (* (cos B) x)) 1) (fma.f64 (neg.f64 x) (cos.f64 B) #s(literal 1 binary64)))
#s(approx (* (cos B) x) (*.f64 (cos.f64 B) x))
#s(approx (cos B) (cos.f64 B))
#s(approx (sin B) (sin.f64 B))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 (neg.f64 x) (cos.f64 B) #s(literal 1 binary64)) (sin.f64 B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (/.f64 (fma.f64 (neg.f64 x) (cos.f64 B) #s(literal 1 binary64)) (sin.f64 B)))
#s(approx (+ (* -1 (* (cos B) x)) 1) #s(literal 1 binary64))
#s(approx x x)
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (*.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (/.f64 (*.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B)))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (*.f64 (/.f64 (fma.f64 (cos.f64 B) #s(literal -1 binary64) (pow.f64 x #s(literal -1 binary64))) (sin.f64 B)) x))
#s(approx (+ (* -1 (* (cos B) x)) 1) (*.f64 (neg.f64 x) (cos.f64 B)))
#s(approx (+ (* -1 (* (cos B) x)) 1) (fma.f64 (neg.f64 x) (cos.f64 B) #s(literal 1 binary64)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (*.f64 (neg.f64 x) (/.f64 (-.f64 (cos.f64 B) (pow.f64 x #s(literal -1 binary64))) (sin.f64 B))))
#s(approx (/ (+ (* -1 (* (cos B) x)) 1) (sin B)) (*.f64 (neg.f64 x) (/.f64 (-.f64 (cos.f64 B) (pow.f64 x #s(literal -1 binary64))) (sin.f64 B))))
#s(approx (+ (* -1 (* (cos B) x)) 1) (*.f64 (neg.f64 x) (-.f64 (cos.f64 B) (pow.f64 x #s(literal -1 binary64)))))

eval12.0ms (0.4%)

Memory: 17.0MiB live, 17.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 3 514 to 515 computations (85.3% saved)

prune170.0ms (6%)

Memory

3.2MiB live, 155.2MiB allocated; 7ms collecting garbage

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	101	3	104
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	105	7	112

Accuracy

100.0%

Counts

112 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.7%	(fma.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
	87.5%	(/.f64 (fma.f64 (sin.f64 B) x (.f64 (neg.f64 (tan.f64 B)) #s(literal 1 binary64))) (.f64 (neg.f64 (tan.f64 B)) (sin.f64 B)))
	57.8%	(-.f64 (/.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
	87.4%	#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 (.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B) (.f64 (sin.f64 B) #s(literal 1 binary64))) (pow.f64 (sin.f64 B) #s(literal 2 binary64))))
	99.7%	#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 x (neg.f64 (cos.f64 B)) (*.f64 x (pow.f64 x #s(literal -1 binary64)))) (sin.f64 B)))
	69.6%	#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (/.f64 (fma.f64 (pow.f64 (.f64 (cos.f64 B) x) #s(literal 3 binary64)) #s(literal -1 binary64) #s(literal 1 binary64)) (+.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64))))) (sin.f64 B)))
	88.6%	#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))

Compiler

Compiled 368 to 242 computations (34.2% saved)

series12.0ms (0.4%)

Memory

-33.7MiB live, 10.8MiB allocated; 5ms collecting garbage

Counts

9 → 32

Calls

Call 1

Inputs
(fma.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(neg.f64 x)
x
(pow.f64 (tan.f64 B) #s(literal -1 binary64))
(tan.f64 B)
B
#s(literal -1 binary64)
(pow.f64 (sin.f64 B) #s(literal -1 binary64))
(sin.f64 B)

Outputs
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (/ (+ 1 (* -1 x)) B)))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (+ 1/6 (* 1/3 x))))) B)))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (* 2/15 x))))))))) B)))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ 31/15120 (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x)))))))))))))) B)))
#s(approx (pow (tan B) -1) #s(hole binary64 (/ 1 B)))
#s(approx (pow (tan B) -1) #s(hole binary64 (/ (+ 1 (* -1/3 (pow B 2))) B)))
#s(approx (pow (tan B) -1) #s(hole binary64 (/ (+ 1 (* (pow B 2) (- (* -1/45 (pow B 2)) 1/3))) B)))
#s(approx (pow (tan B) -1) #s(hole binary64 (/ (+ 1 (* (pow B 2) (- (* (pow B 2) (- (* -2/945 (pow B 2)) 1/45)) 1/3))) B)))
#s(approx (tan B) #s(hole binary64 B))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* 1/3 (pow B 2))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* 2/15 (pow B 2))))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* (pow B 2) (+ 2/15 (* 17/315 (pow B 2))))))))))
#s(approx B #s(hole binary64 B))
#s(approx (pow (sin B) -1) #s(hole binary64 (/ 1 B)))
#s(approx (pow (sin B) -1) #s(hole binary64 (/ (+ 1 (* 1/6 (pow B 2))) B)))
#s(approx (pow (sin B) -1) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* 7/360 (pow B 2))))) B)))
#s(approx (pow (sin B) -1) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* (pow B 2) (+ 7/360 (* 31/15120 (pow B 2))))))) B)))
#s(approx (sin B) #s(hole binary64 B))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* -1/6 (pow B 2))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* 1/120 (pow B 2)) 1/6))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* (pow B 2) (+ 1/120 (* -1/5040 (pow B 2)))) 1/6))))))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (+ (* -1 (/ (* x (cos B)) (sin B))) (/ 1 (sin B)))))
#s(approx (pow (tan B) -1) #s(hole binary64 (/ (cos B) (sin B))))
#s(approx (tan B) #s(hole binary64 (/ (sin B) (cos B))))
#s(approx (pow (sin B) -1) #s(hole binary64 (/ 1 (sin B))))
#s(approx (sin B) #s(hole binary64 (sin B)))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (/ 1 (sin B))))
#s(approx (neg x) #s(hole binary64 (* -1 x)))
#s(approx x #s(hole binary64 x))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (* x (- (/ 1 (* x (sin B))) (/ (cos B) (sin B))))))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (* -1 (* x (- (/ (cos B) (sin B)) (/ 1 (* x (sin B))))))))

Calls

6 calls:

Time	Variable		Point	Expression
6.0ms	x	@	inf	((+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (neg x) x (pow (tan B) -1) (tan B) B -1 (pow (sin B) -1) (sin B))
1.0ms	B	@	inf	((+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (neg x) x (pow (tan B) -1) (tan B) B -1 (pow (sin B) -1) (sin B))
1.0ms	B	@	-inf	((+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (neg x) x (pow (tan B) -1) (tan B) B -1 (pow (sin B) -1) (sin B))
1.0ms	x	@	-inf	((+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (neg x) x (pow (tan B) -1) (tan B) B -1 (pow (sin B) -1) (sin B))
1.0ms	x	@	0	((+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (neg x) x (pow (tan B) -1) (tan B) B -1 (pow (sin B) -1) (sin B))

rewrite156.0ms (5.5%)

Memory

4.7MiB live, 148.8MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	179	599
0	189	572
1	1096	564
0	8126	535

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

41 → 102

Calls

Call 1

Inputs
(fma.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(neg.f64 x)
x
(pow.f64 (tan.f64 B) #s(literal -1 binary64))
(tan.f64 B)
B
#s(literal -1 binary64)
(pow.f64 (sin.f64 B) #s(literal -1 binary64))
(sin.f64 B)
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (/ (+ 1 (* -1 x)) B)))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (+ 1/6 (* 1/3 x))))) B)))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (* 2/15 x))))))))) B)))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (/ (+ 1 (+ (* -1 x) (* (pow B 2) (+ 1/6 (+ (* 1/3 x) (* (pow B 2) (+ 7/360 (+ (* -1/9 x) (+ (* 2/15 x) (* (pow B 2) (+ 31/15120 (+ (* -1/3 (+ (* -1/9 x) (* 2/15 x))) (+ (* -2/45 x) (* 17/315 x)))))))))))))) B)))
#s(approx (pow (tan B) -1) #s(hole binary64 (/ 1 B)))
#s(approx (pow (tan B) -1) #s(hole binary64 (/ (+ 1 (* -1/3 (pow B 2))) B)))
#s(approx (pow (tan B) -1) #s(hole binary64 (/ (+ 1 (* (pow B 2) (- (* -1/45 (pow B 2)) 1/3))) B)))
#s(approx (pow (tan B) -1) #s(hole binary64 (/ (+ 1 (* (pow B 2) (- (* (pow B 2) (- (* -2/945 (pow B 2)) 1/45)) 1/3))) B)))
#s(approx (tan B) #s(hole binary64 B))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* 1/3 (pow B 2))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* 2/15 (pow B 2))))))))
#s(approx (tan B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (+ 1/3 (* (pow B 2) (+ 2/15 (* 17/315 (pow B 2))))))))))
#s(approx B #s(hole binary64 B))
#s(approx (pow (sin B) -1) #s(hole binary64 (/ 1 B)))
#s(approx (pow (sin B) -1) #s(hole binary64 (/ (+ 1 (* 1/6 (pow B 2))) B)))
#s(approx (pow (sin B) -1) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* 7/360 (pow B 2))))) B)))
#s(approx (pow (sin B) -1) #s(hole binary64 (/ (+ 1 (* (pow B 2) (+ 1/6 (* (pow B 2) (+ 7/360 (* 31/15120 (pow B 2))))))) B)))
#s(approx (sin B) #s(hole binary64 B))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* -1/6 (pow B 2))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* 1/120 (pow B 2)) 1/6))))))
#s(approx (sin B) #s(hole binary64 (* B (+ 1 (* (pow B 2) (- (* (pow B 2) (+ 1/120 (* -1/5040 (pow B 2)))) 1/6))))))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (+ (* -1 (/ (* x (cos B)) (sin B))) (/ 1 (sin B)))))
#s(approx (pow (tan B) -1) #s(hole binary64 (/ (cos B) (sin B))))
#s(approx (tan B) #s(hole binary64 (/ (sin B) (cos B))))
#s(approx (pow (sin B) -1) #s(hole binary64 (/ 1 (sin B))))
#s(approx (sin B) #s(hole binary64 (sin B)))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (/ 1 (sin B))))
#s(approx (neg x) #s(hole binary64 (* -1 x)))
#s(approx x #s(hole binary64 x))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (* -1 (/ (* x (cos B)) (sin B)))))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (* x (- (/ 1 (* x (sin B))) (/ (cos B) (sin B))))))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) #s(hole binary64 (* -1 (* x (- (/ (cos B) (sin B)) (/ 1 (* x (sin B))))))))

Outputs
(/.f64 (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64))) (-.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)))))
(/.f64 (+.f64 (pow.f64 (sin.f64 B) #s(literal -3 binary64)) (neg.f64 (pow.f64 (.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 3 binary64)))) (+.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (pow.f64 (sin.f64 B) #s(literal -2 binary64)))) (neg.f64 (-.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
(/.f64 (neg.f64 (+.f64 (neg.f64 (pow.f64 (.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 3 binary64))) (pow.f64 (sin.f64 B) #s(literal -3 binary64)))) (neg.f64 (+.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (+.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (.f64 (.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))))
(/.f64 (-.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (pow.f64 (sin.f64 B) #s(literal -2 binary64))) (-.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64))))
(/.f64 (+.f64 (neg.f64 (pow.f64 (.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 3 binary64))) (pow.f64 (sin.f64 B) #s(literal -3 binary64))) (+.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (+.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (.f64 (.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64))))))
(fma.f64 (neg.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64))) (neg.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64))) (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))))
(fma.f64 (fabs.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64))) (fabs.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64))) (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))))
(fma.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64)) (pow.f64 (sin.f64 B) #s(literal -1/2 binary64)) (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))))
(fma.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(fma.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64)) (neg.f64 x) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(fma.f64 x (neg.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(-.f64 (/.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
(-.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (.f64 (.f64 #s(literal 1 binary64) x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))))
(-.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (*.f64 (neg.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (neg.f64 x)))
(-.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (*.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64))))
(-.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (.f64 (neg.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64))) (pow.f64 (sin.f64 B) #s(literal -1/2 binary64))))
(+.f64 (/.f64 (neg.f64 (pow.f64 (.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (+.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (.f64 (.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -3 binary64)) (+.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (+.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (.f64 (*.f64 x (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))))
(+.f64 (pow.f64 (sin.f64 B) #s(literal -1 binary64)) (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))))
(+.f64 (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) (neg.f64 x))
(*.f64 #s(literal -1 binary64) x)
(*.f64 x #s(literal -1 binary64))
(neg.f64 (*.f64 x #s(literal 1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) (neg.f64 x)))
(neg.f64 (*.f64 #s(literal 1 binary64) x))
(neg.f64 x)
x
(*.f64 (neg.f64 (pow.f64 (tan.f64 B) #s(literal -1/2 binary64))) (neg.f64 (pow.f64 (tan.f64 B) #s(literal -1/2 binary64))))
(*.f64 (fabs.f64 (pow.f64 (tan.f64 B) #s(literal -1/2 binary64))) (fabs.f64 (pow.f64 (tan.f64 B) #s(literal -1/2 binary64))))
(*.f64 (pow.f64 (tan.f64 B) #s(literal -1/2 binary64)) (pow.f64 (tan.f64 B) #s(literal -1/2 binary64)))
(pow.f64 (exp.f64 (log.f64 (tan.f64 B))) #s(literal -1 binary64))
(pow.f64 (*.f64 (tan.f64 B) (tan.f64 B)) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (tan.f64 B) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (tan.f64 B) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 (tan.f64 B) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (tan.f64 B))
(/.f64 #s(literal -1 binary64) (neg.f64 (tan.f64 B)))
(neg.f64 (/.f64 #s(literal -1 binary64) (tan.f64 B)))
(tan.f64 (+.f64 (neg.f64 (+.f64 B (PI.f64))) (/.f64 (PI.f64) #s(literal 2 binary64))))
(tan.f64 (+.f64 (neg.f64 B) (/.f64 (PI.f64) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 (tan.f64 B)) #s(literal -1 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (tan.f64 B)) #s(literal -1 binary64))) (sinh.f64 (.f64 (log.f64 (tan.f64 B)) #s(literal -1 binary64))))
(/.f64 (neg.f64 (neg.f64 (sin.f64 B))) (neg.f64 (neg.f64 (cos.f64 B))))
(/.f64 (+.f64 (tan.f64 B) (tan.f64 (PI.f64))) (-.f64 #s(literal 1 binary64) (*.f64 (tan.f64 B) (tan.f64 (PI.f64)))))
(/.f64 (neg.f64 (sin.f64 B)) (neg.f64 (cos.f64 B)))
(/.f64 (sin.f64 B) (cos.f64 B))
(neg.f64 (/.f64 (neg.f64 (sin.f64 B)) (cos.f64 B)))
(neg.f64 (/.f64 (sin.f64 B) (neg.f64 (cos.f64 B))))
(tan.f64 (+.f64 (+.f64 B (PI.f64)) (PI.f64)))
(tan.f64 (+.f64 B (PI.f64)))
(tan.f64 B)
B
#s(literal -1 binary64)
(*.f64 (neg.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64))) (neg.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64))))
(*.f64 (fabs.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64))) (fabs.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64))))
(*.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64)) (pow.f64 (sin.f64 B) #s(literal -1/2 binary64)))
(pow.f64 (exp.f64 (log.f64 (sin.f64 B))) #s(literal -1 binary64))
(pow.f64 (*.f64 (sin.f64 B) (sin.f64 B)) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (sin.f64 B) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (sin.f64 B) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (neg.f64 (neg.f64 (sin.f64 B))))
(/.f64 #s(literal 1 binary64) (pow.f64 (sin.f64 B) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (sin.f64 B))
(/.f64 #s(literal -1 binary64) (neg.f64 (sin.f64 B)))
(neg.f64 (/.f64 #s(literal -1 binary64) (sin.f64 B)))
(neg.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (sin.f64 B))))
(exp.f64 (*.f64 (log.f64 (sin.f64 B)) #s(literal -1 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (sin.f64 B)) #s(literal -1 binary64))) (sinh.f64 (.f64 (log.f64 (sin.f64 B)) #s(literal -1 binary64))))
(sin.f64 B)
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (/.f64 (fma.f64 #s(literal -1 binary64) x #s(literal 1 binary64)) B))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (/.f64 (-.f64 (fma.f64 (fma.f64 #s(literal 1/3 binary64) x #s(literal 1/6 binary64)) (*.f64 B B) (neg.f64 x)) #s(literal -1 binary64)) B))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (/.f64 (-.f64 (fma.f64 (+.f64 (fma.f64 #s(literal 1/3 binary64) x #s(literal 1/6 binary64)) (.f64 (fma.f64 x #s(literal 1/45 binary64) #s(literal 7/360 binary64)) (.f64 B B))) (*.f64 B B) (neg.f64 x)) #s(literal -1 binary64)) B))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (/.f64 (-.f64 (fma.f64 (+.f64 (fma.f64 (+.f64 (fma.f64 x #s(literal 1/45 binary64) (.f64 (+.f64 (fma.f64 #s(literal -1/3 binary64) (.f64 x #s(literal 1/45 binary64)) (.f64 x #s(literal 1/105 binary64))) #s(literal 31/15120 binary64)) (.f64 B B))) #s(literal 7/360 binary64)) (.f64 B B) (.f64 #s(literal 1/3 binary64) x)) #s(literal 1/6 binary64)) (*.f64 B B) (neg.f64 x)) #s(literal -1 binary64)) B))
#s(approx (pow (tan B) -1) (pow.f64 B #s(literal -1 binary64)))
#s(approx (pow (tan B) -1) (/.f64 (fma.f64 #s(literal -1/3 binary64) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (pow (tan B) -1) (/.f64 (fma.f64 (-.f64 (.f64 #s(literal -1/45 binary64) (.f64 B B)) #s(literal 1/3 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (pow (tan B) -1) (/.f64 (fma.f64 (-.f64 (.f64 (-.f64 (.f64 #s(literal -2/945 binary64) (.f64 B B)) #s(literal 1/45 binary64)) (.f64 B B)) #s(literal 1/3 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (tan B) B)
#s(approx (tan B) (.f64 (fma.f64 #s(literal 1/3 binary64) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (tan B) (.f64 (fma.f64 (fma.f64 #s(literal 2/15 binary64) (.f64 B B) #s(literal 1/3 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (tan B) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/315 binary64) (.f64 B B) #s(literal 2/15 binary64)) (.f64 B B) #s(literal 1/3 binary64)) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx B B)
#s(approx (pow (sin B) -1) (pow.f64 B #s(literal -1 binary64)))
#s(approx (pow (sin B) -1) (/.f64 (fma.f64 #s(literal 1/6 binary64) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (pow (sin B) -1) (/.f64 (fma.f64 (fma.f64 #s(literal 7/360 binary64) (.f64 B B) #s(literal 1/6 binary64)) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (pow (sin B) -1) (/.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 31/15120 binary64) (.f64 B B) #s(literal 7/360 binary64)) (.f64 B B) #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) B)
#s(approx (sin B) (.f64 (fma.f64 #s(literal -1/6 binary64) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/120 binary64) (.f64 B B)) #s(literal 1/6 binary64)) (.f64 B B) #s(literal 1 binary64)) B))
#s(approx (sin B) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/5040 binary64) (.f64 B B) #s(literal 1/120 binary64)) (.f64 B B)) #s(literal 1/6 binary64)) (*.f64 B B) #s(literal 1 binary64)) B))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B)))
#s(approx (pow (tan B) -1) (/.f64 (cos.f64 B) (sin.f64 B)))
#s(approx (tan B) (tan.f64 B))
#s(approx (pow (sin B) -1) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
#s(approx (sin B) (sin.f64 B))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
#s(approx (neg x) (neg.f64 x))
#s(approx x x)
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (*.f64 (neg.f64 x) (/.f64 (cos.f64 B) (sin.f64 B))))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (*.f64 (/.f64 (-.f64 (cos.f64 B) (pow.f64 x #s(literal -1 binary64))) (sin.f64 B)) (neg.f64 x)))

eval12.0ms (0.4%)

Memory: 19.2MiB live, 19.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 918 to 376 computations (80.4% saved)

prune67.0ms (2.4%)

Memory

-13.6MiB live, 81.2MiB allocated; 2ms collecting garbage

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	105	7	112

Accuracy

100.0%

Counts

112 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.7%	(fma.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
	87.5%	(/.f64 (fma.f64 (sin.f64 B) x (.f64 (neg.f64 (tan.f64 B)) #s(literal 1 binary64))) (.f64 (neg.f64 (tan.f64 B)) (sin.f64 B)))
	57.8%	(-.f64 (/.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
	88.6%	#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))
	87.4%	#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 (.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B) (.f64 (sin.f64 B) #s(literal 1 binary64))) (pow.f64 (sin.f64 B) #s(literal 2 binary64))))
	99.7%	#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 x (neg.f64 (cos.f64 B)) (*.f64 x (pow.f64 x #s(literal -1 binary64)))) (sin.f64 B)))
	69.6%	#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (/.f64 (fma.f64 (pow.f64 (.f64 (cos.f64 B) x) #s(literal 3 binary64)) #s(literal -1 binary64) #s(literal 1 binary64)) (+.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64))))) (sin.f64 B)))

Compiler

Compiled 676 to 256 computations (62.1% saved)

regimes17.0ms (0.6%)

Memory

31.3MiB live, 31.3MiB allocated; 0ms collecting garbage

Accuracy

Total -40.2b remaining (-27813.3%)

Threshold costs -40.2b (-27813.3%)

Counts

19 → 1

Calls

Call 1

Inputs
(+.f64 (neg.f64 #s(approx (* x (/ 1 (tan B))) (/.f64 x B))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
(+.f64 (neg.f64 (/.f64 (.f64 x #s(literal 1 binary64)) #s(approx (tan B) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/315 binary64) (.f64 B B) #s(literal 2/15 binary64)) (.f64 B B) #s(literal 1/3 binary64)) (*.f64 B B) #s(literal 1 binary64)) B)))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 #s(literal -1 binary64) (*.f64 (cos.f64 B) x) #s(literal 1 binary64)) (sin.f64 B)))
(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
(+.f64 (neg.f64 (/.f64 (*.f64 x #s(literal 1 binary64)) (tan.f64 B))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
#s(approx (+ (neg (* x (/ 1 (tan B)))) (/ 1 (sin B))) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))
#s(approx (+ (* (neg x) (pow (tan B) -1)) (pow (sin B) -1)) (*.f64 (/.f64 (-.f64 (pow.f64 x #s(literal -1 binary64)) (cos.f64 B)) (sin.f64 B)) x))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 x (neg.f64 (cos.f64 B)) (*.f64 x (pow.f64 x #s(literal -1 binary64)))) (sin.f64 B)))
(fma.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))
(/.f64 (fma.f64 (sin.f64 B) x (.f64 (neg.f64 (tan.f64 B)) #s(literal 1 binary64))) (.f64 (neg.f64 (tan.f64 B)) (sin.f64 B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (fma.f64 (.f64 (neg.f64 x) (cos.f64 B)) (sin.f64 B) (.f64 (sin.f64 B) #s(literal 1 binary64))) (pow.f64 (sin.f64 B) #s(literal 2 binary64))))
(+.f64 (neg.f64 (.f64 x (/.f64 (+.f64 (neg.f64 (tan.f64 B)) (tan.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (tan.f64 B)) (tan.f64 (/.f64 (PI.f64) #s(literal 2 binary64)))))))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
#s(approx (+ (neg (/ (* x 1) (tan B))) (/ 1 (sin B))) (/.f64 (/.f64 (fma.f64 (pow.f64 (.f64 (cos.f64 B) x) #s(literal 3 binary64)) #s(literal -1 binary64) #s(literal 1 binary64)) (+.f64 (pow.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 x) (cos.f64 B)) #s(literal 1 binary64))))) (sin.f64 B)))
(/.f64 (+.f64 (neg.f64 (pow.f64 (/.f64 x (tan.f64 B)) #s(literal 3 binary64))) (pow.f64 (sin.f64 B) #s(literal -3 binary64))) (+.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (/.f64 x (*.f64 (neg.f64 (tan.f64 B)) (sin.f64 B))))))
(-.f64 (/.f64 (pow.f64 (/.f64 (neg.f64 x) (tan.f64 B)) #s(literal 2 binary64)) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (/.f64 (neg.f64 x) (tan.f64 B)) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
(-.f64 (/.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))) (/.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (-.f64 (*.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64)))))
(/.f64 (+.f64 (neg.f64 (pow.f64 (.f64 (pow.f64 (tan.f64 B) #s(literal -1 binary64)) x) #s(literal 3 binary64))) (pow.f64 (sin.f64 B) #s(literal -3 binary64))) (+.f64 (pow.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) #s(literal 2 binary64)) (-.f64 (pow.f64 (sin.f64 B) #s(literal -2 binary64)) (.f64 (.f64 (neg.f64 x) (pow.f64 (tan.f64 B) #s(literal -1 binary64))) (pow.f64 (sin.f64 B) #s(literal -1 binary64))))))

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

Calls

3 calls:

5.0ms	x
5.0ms	(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))
5.0ms	B

Results

Accuracy	Segments	Branch
99.8%	1	`(+.f64 (neg.f64 (*.f64 x (/.f64 #s(literal 1 binary64) (tan.f64 B)))) (/.f64 #s(literal 1 binary64) (sin.f64 B)))`
99.8%	1	`B`
99.8%	1	`x`

Compiler

Compiled 14 to 14 computations (0% saved)

simplify64.0ms (2.3%)

Memory

4.0MiB live, 51.6MiB allocated; 2ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	10
1	21	10
2	34	10
3	47	10
4	77	10
5	277	10
6	2460	10
7	5733	10

Stop Event

1×	node limit

Calls

Call 1

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

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

derivations22.0ms (0.8%)

Memory

-50.0MiB live, 1.9MiB allocated; 3ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 10 to 9 computations (10% saved)

preprocess20.0ms (0.7%)

Memory: 30.1MiB live, 30.1MiB allocated; 0ms collecting garbage
Remove: (negabs B)
Compiler: Compiled 84 to 74 computations (11.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze157.0ms (5.5%)

sample1.1s (39.3%)

explain128.0ms (4.5%)

preprocess213.0ms (7.5%)

eval0.0ms (0%)

prune0.0ms (0%)

series16.0ms (0.6%)

rewrite176.0ms (6.2%)

eval11.0ms (0.4%)

prune62.0ms (2.2%)

series8.0ms (0.3%)

rewrite158.0ms (5.6%)

eval11.0ms (0.4%)

prune51.0ms (1.8%)

series12.0ms (0.4%)

rewrite168.0ms (5.9%)

eval12.0ms (0.4%)

prune170.0ms (6%)

series12.0ms (0.4%)

rewrite156.0ms (5.5%)

eval12.0ms (0.4%)

prune67.0ms (2.4%)

regimes17.0ms (0.6%)

simplify64.0ms (2.3%)

derivations22.0ms (0.8%)

preprocess20.0ms (0.7%)

end0.0ms (0%)

Profiling