Metrics for Graphics.Rasterific.Svg.PathConverter:segmentToBezier from rasterific-svg-0.2.3.1, A

start0.0ms (0%)

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

analyze184.0ms (6.5%)

Memory

14.7MiB live, 157.9MiB allocated; 19ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
25%	25%	75%	0%	0%	0%	0%	3
37.5%	37.5%	62.5%	0%	0%	0%	0%	4
43.8%	43.7%	56.2%	0%	0%	0%	0%	5
46.9%	46.9%	53.1%	0%	0%	0%	0%	6
48.4%	48.4%	51.5%	0%	0%	0%	0%	7
49.2%	49.2%	50.8%	0%	0%	0%	0%	8
49.6%	49.6%	50.4%	0%	0%	0%	0%	9
49.8%	49.8%	50.2%	0%	0%	0%	0%	10
49.9%	49.9%	50.1%	0%	0%	0%	0%	11
50%	49.9%	50%	0%	0%	0%	0%	12

Compiler

Compiled 18 to 13 computations (27.8% saved)

sample1.2s (41.4%)

Memory

-4.3MiB live, 1 140.4MiB allocated; 106ms collecting garbage

Samples

882.0ms

8 256×

valid

Precisions

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

ival-sin: 344.0ms (54.4% of total)

ival-mult: 150.0ms (23.7% of total)

ival-div: 119.0ms (18.8% of total)

exact: 13.0ms (2.1% of total)

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

adjust: 2.0ms (0.3% of total)

Bogosity

explain128.0ms (4.5%)

Memory

-4.2MiB live, 138.5MiB allocated; 4ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
68	0	-	3	(1.905263735906201e-160)	`(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))`
0	0	-	0	-	`(.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64))))`
0	122	(4.6474210687560165e+193)	0	-	`(sin.f64 (*.f64 x #s(literal 1/2 binary64)))`
0	0	-	0	-	`#s(literal 8 binary64)`
0	0	-	0	-	`#s(literal 3 binary64)`
0	0	-	0	-	`(*.f64 x #s(literal 1/2 binary64))`
0	0	-	0	-	`(.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64))))`
0	0	-	0	-	`(/.f64 #s(literal 8 binary64) #s(literal 3 binary64))`
0	0	-	0	-	`(sin.f64 x)`
0	0	-	0	-	`#s(literal 1/2 binary64)`
0	0	-	0	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sin.f64`	`(sin.f64 (*.f64 x #s(literal 1/2 binary64)))`	sensitivity	122	0
`/.f64`	`(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))`	u/n	65	0
↳	`(.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64))))`	underflow	65

Confusion

	Predicted +	Predicted -
+	65	3
-	122	66

Precision

0.34759358288770054

Recall

0.9558823529411765

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	65	0	3
-	122	0	66

Precision?

0.34759358288770054

Recall?

0.9558823529411765

Freqs

test

number	freq
0	69
1	187

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

58.0ms	510×	0	valid
1.0ms	2×	3	valid

Compiler

Compiled 126 to 37 computations (70.6% saved)

Precisions

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

ival-sin: 24.0ms (57.1% of total)

ival-mult: 9.0ms (21.4% of total)

ival-div: 7.0ms (16.7% of total)

exact: 1.0ms (2.4% of total)

adjust: 0.0ms (0% of total)

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

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

preprocess188.0ms (6.6%)

Memory

29.4MiB live, 127.0MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	45
1	44	43
2	132	42
3	437	42
4	987	42
5	2062	42
6	4120	42
0	11	14
0	19	14
1	26	14
2	40	14
3	83	14
4	186	14
5	398	14
6	823	14
7	2009	14
8	6025	14
0	8010	14

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))

Outputs

(/.f64 (*.f64 (*.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (*.f64 x #s(literal 1/2 binary64)))) (sin.f64 (*.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))

(*.f64 (*.f64 (/.f64 #s(literal -8/3 binary64) (sin.f64 x)) (sin.f64 (*.f64 #s(literal 1/2 binary64) x))) (sin.f64 (*.f64 #s(literal -1/2 binary64) x)))

Symmetry

(negabs x)

Compiler

Compiled 16 to 11 computations (31.3% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	75.2%	(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))

Compiler

Compiled 16 to 11 computations (31.3% saved)

series9.0ms (0.3%)

Memory

-40.4MiB live, 6.2MiB allocated; 2ms collecting garbage

Counts

11 → 27

Calls

Call 1

Inputs
(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))
(.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64))))
(.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64))))
(/.f64 #s(literal 8 binary64) #s(literal 3 binary64))
#s(literal 8 binary64)
#s(literal 3 binary64)
(sin.f64 (*.f64 x #s(literal 1/2 binary64)))
(*.f64 x #s(literal 1/2 binary64))
x
#s(literal 1/2 binary64)
(sin.f64 x)

Outputs
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) #s(hole binary64 (* 2/3 x)))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) #s(hole binary64 (* 2/3 (pow x 2))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* -1/18 (pow x 2))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* 1/540 (pow x 2)) 1/18))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* (pow x 2) (+ 1/540 (* -1/30240 (pow x 2)))) 1/18))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* 4/3 x)))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* -1/18 (pow x 2))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/18))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/241920 (pow x 2)))) 1/18))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* x 1/2) #s(hole binary64 (* 1/2 x)))
#s(approx x #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* -1/6 (pow x 2))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* 1/120 (pow x 2)) 1/6))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/120 (* -1/5040 (pow x 2)))) 1/6))))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) #s(hole binary64 (* 8/3 (pow (sin (* 1/2 x)) 2))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* 8/3 (sin (* 1/2 x)))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (sin x) #s(hole binary64 (sin x)))

Calls

3 calls:

Time	Variable		Point	Expression
3.0ms	x	@	inf	((/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x))
2.0ms	x	@	-inf	((/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x))
2.0ms	x	@	0	((/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x))

Time

Variable

Point

Expression

3.0ms

inf

((/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x))

2.0ms

-inf

((/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x))

2.0ms

((/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x))

rewrite185.0ms (6.6%)

Memory

5.5MiB live, 152.5MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	151	542
0	163	506
1	784	506
0	6081	484

Stop Event

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

Counts

38 → 57

Calls

Call 1

Inputs
(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))
(.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64))))
(.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64))))
(/.f64 #s(literal 8 binary64) #s(literal 3 binary64))
#s(literal 8 binary64)
#s(literal 3 binary64)
(sin.f64 (*.f64 x #s(literal 1/2 binary64)))
(*.f64 x #s(literal 1/2 binary64))
x
#s(literal 1/2 binary64)
(sin.f64 x)
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) #s(hole binary64 (* 2/3 x)))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) #s(hole binary64 (* 2/3 (pow x 2))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* -1/18 (pow x 2))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* 1/540 (pow x 2)) 1/18))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* (pow x 2) (+ 1/540 (* -1/30240 (pow x 2)))) 1/18))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* 4/3 x)))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* -1/18 (pow x 2))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/18))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/241920 (pow x 2)))) 1/18))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* x 1/2) #s(hole binary64 (* 1/2 x)))
#s(approx x #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* -1/6 (pow x 2))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* 1/120 (pow x 2)) 1/6))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/120 (* -1/5040 (pow x 2)))) 1/6))))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) #s(hole binary64 (* 8/3 (pow (sin (* 1/2 x)) 2))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* 8/3 (sin (* 1/2 x)))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (sin x) #s(hole binary64 (sin x)))

Outputs
(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
(.f64 (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (/.f64 (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)) (sin.f64 x)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 #s(literal 8/3 binary64) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))))
(.f64 #s(literal 8/3 binary64) (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)))
(/.f64 (neg.f64 (.f64 #s(literal -8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))) (neg.f64 (neg.f64 (sin.f64 x))))
(/.f64 (.f64 #s(literal -8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))) (neg.f64 (sin.f64 x)))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(neg.f64 (/.f64 (.f64 #s(literal -8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))) (sin.f64 x)))
(neg.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (neg.f64 (sin.f64 x))))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64))
(.f64 (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)) (sin.f64 (.f64 #s(literal 1/2 binary64) x)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
(.f64 #s(literal 8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64))
(.f64 #s(literal 8/3 binary64) (sin.f64 (.f64 #s(literal 1/2 binary64) x)))
#s(literal 8/3 binary64)
#s(literal 8 binary64)
#s(literal 3 binary64)
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64))
(sin.f64 (*.f64 #s(literal 1/2 binary64) x))
(exp.f64 (.f64 (log.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x))) #s(literal 1 binary64)))
(*.f64 #s(literal 1/2 binary64) x)
(*.f64 x #s(literal 1/2 binary64))
x
#s(literal 1/2 binary64)
(sin.f64 x)
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (.f64 (.f64 x x) #s(literal 2/3 binary64)))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (.f64 (.f64 (fma.f64 #s(literal -1/18 binary64) (*.f64 x x) #s(literal 2/3 binary64)) x) x))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (.f64 (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/540 binary64) (.f64 x x)) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x) x))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (.f64 (fma.f64 (-.f64 (.f64 (.f64 (fma.f64 #s(literal -1/30240 binary64) (.f64 x x) #s(literal 1/540 binary64)) x) x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x)))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (*.f64 #s(literal 4/3 binary64) x))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (fma.f64 #s(literal -1/18 binary64) (.f64 x x) #s(literal 4/3 binary64)) x))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/1440 binary64) (.f64 x x)) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 4/3 binary64)) x))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (fma.f64 (-.f64 (.f64 (.f64 (fma.f64 #s(literal -1/241920 binary64) (.f64 x x) #s(literal 1/1440 binary64)) x) x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 4/3 binary64)) x))
#s(approx (sin (* x 1/2)) (*.f64 #s(literal 1/2 binary64) x))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/3840 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 (-.f64 (.f64 (.f64 (fma.f64 #s(literal -1/645120 binary64) (.f64 x x) #s(literal 1/3840 binary64)) x) x) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (* x 1/2) (*.f64 #s(literal 1/2 binary64) x))
#s(approx x x)
#s(approx (sin x) x)
#s(approx (sin x) (.f64 (fma.f64 #s(literal -1/6 binary64) (.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sin x) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sin x) (fma.f64 (.f64 x (.f64 x x)) (-.f64 (.f64 (.f64 (fma.f64 #s(literal -1/5040 binary64) (*.f64 x x) #s(literal 1/120 binary64)) x) x) #s(literal 1/6 binary64)) x))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (sin x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (sin (* x 1/2))) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
#s(approx (sin (* x 1/2)) (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))
#s(approx (sin x) (sin.f64 x))

eval8.0ms (0.3%)

Memory: 14.0MiB live, 14.0MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 500 to 261 computations (82.6% saved)

prune25.0ms (0.9%)

Memory

-16.6MiB live, 30.0MiB allocated; 3ms collecting garbage

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	68	6	74
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	68	7	75

Accuracy

99.6%

Counts

75 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
	75.2%	(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
▶	47.9%	(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) (sin.f64 x))
✓	75.2%	(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))
▶	75.1%	(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
▶	75.2%	(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
▶	99.2%	(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
▶	99.3%	(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 #s(literal 8/3 binary64) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))))

Compiler

Compiled 188 to 137 computations (27.1% saved)

series11.0ms (0.4%)

Memory

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

Counts

27 → 93

Calls

Call 1

Inputs
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 #s(literal 8/3 binary64) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))))
(sin.f64 (*.f64 #s(literal 1/2 binary64) x))
(*.f64 #s(literal 1/2 binary64) x)
#s(literal 1/2 binary64)
x
(.f64 #s(literal 8/3 binary64) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)))
#s(literal 8/3 binary64)
(/.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))
(sin.f64 x)
(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
(/.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))
#s(literal 2 binary64)
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
(/.f64 #s(literal 8/3 binary64) (sin.f64 x))
(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) (sin.f64 x))
(.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))))
(.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64))))
(/.f64 #s(literal 8 binary64) #s(literal 3 binary64))
#s(literal 8 binary64)
#s(literal 3 binary64)
(sin.f64 (*.f64 x #s(literal 1/2 binary64)))
(*.f64 x #s(literal 1/2 binary64))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))

Outputs
#s(approx (* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) #s(hole binary64 (* 2/3 x)))
#s(approx (* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* 1/2 x) #s(hole binary64 (* 1/2 x)))
#s(approx x #s(hole binary64 x))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(hole binary64 4/3))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(hole binary64 (+ 4/3 (* 1/6 (pow x 2)))))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(hole binary64 (+ 4/3 (* (pow x 2) (+ 1/6 (* 5/288 (pow x 2)))))))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(hole binary64 (+ 4/3 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 5/288 (* 61/34560 (pow x 2)))))))))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(hole binary64 1/2))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(hole binary64 (+ 1/2 (* 1/16 (pow x 2)))))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* 5/768 (pow x 2)))))))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* (pow x 2) (+ 5/768 (* 61/92160 (pow x 2)))))))))
#s(approx (sin x) #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* -1/6 (pow x 2))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* 1/120 (pow x 2)) 1/6))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/120 (* -1/5040 (pow x 2)))) 1/6))))))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) #s(hole binary64 (* 2/3 x)))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (sin (* 1/2 x)) 8/3) #s(hole binary64 (* 4/3 x)))
#s(approx (* (sin (* 1/2 x)) 8/3) #s(hole binary64 (* x (+ 4/3 (* -1/18 (pow x 2))))))
#s(approx (* (sin (* 1/2 x)) 8/3) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/18))))))
#s(approx (* (sin (* 1/2 x)) 8/3) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/241920 (pow x 2)))) 1/18))))))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) #s(hole binary64 (* 2/3 x)))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) #s(hole binary64 (* 1/4 x)))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) #s(hole binary64 (* x (+ 1/4 (* 1/48 (pow x 2))))))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* 1/480 (pow x 2))))))))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* (pow x 2) (+ 1/480 (* 17/80640 (pow x 2))))))))))
#s(approx (pow (sin (* 1/2 x)) 2) #s(hole binary64 (* 1/4 (pow x 2))))
#s(approx (pow (sin (* 1/2 x)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* -1/48 (pow x 2))))))
#s(approx (pow (sin (* 1/2 x)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/48))))))
#s(approx (pow (sin (* 1/2 x)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/80640 (pow x 2)))) 1/48))))))
#s(approx (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) #s(hole binary64 (* 2/3 x)))
#s(approx (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (/ 8/3 (sin x)) #s(hole binary64 (/ 8/3 x)))
#s(approx (/ 8/3 (sin x)) #s(hole binary64 (/ (+ 8/3 (* 4/9 (pow x 2))) x)))
#s(approx (/ 8/3 (sin x)) #s(hole binary64 (/ (+ 8/3 (* (pow x 2) (+ 4/9 (* 7/135 (pow x 2))))) x)))
#s(approx (/ 8/3 (sin x)) #s(hole binary64 (/ (+ 8/3 (* (pow x 2) (+ 4/9 (* (pow x 2) (+ 7/135 (* 31/5670 (pow x 2))))))) x)))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) #s(hole binary64 (* 2/3 x)))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* 2/3 (pow x 2))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* -1/18 (pow x 2))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* 1/540 (pow x 2)) 1/18))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* (pow x 2) (+ 1/540 (* -1/30240 (pow x 2)))) 1/18))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* 4/3 x)))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* -1/18 (pow x 2))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/18))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/241920 (pow x 2)))) 1/18))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* x 1/2) #s(hole binary64 (* 1/2 x)))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (* (sqrt x) (sqrt 1/2))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* -1/96 (* (sqrt (pow x 5)) (/ 1 (sqrt 1/2)))) (* (sqrt x) (sqrt 1/2)))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* (sqrt x) (sqrt 1/2)) (* (pow x 3) (+ (* -1/96 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))) (* 1/7680 (* (sqrt (pow x 3)) (/ 1 (sqrt 1/2)))))))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* (sqrt x) (sqrt 1/2)) (* (pow x 3) (+ (* -1/96 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))) (* (pow x 2) (+ (* -1/18432 (* (sqrt (/ 1 x)) (/ 1 (pow (sqrt 1/2) 3)))) (* 1/7680 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))))))))))
#s(approx (* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(hole binary64 (* 8/3 (/ (sin (* 1/2 x)) (sin x)))))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(hole binary64 (/ (sin (* 1/2 x)) (sin x))))
#s(approx (sin x) #s(hole binary64 (sin x)))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (sin (* 1/2 x)) 8/3) #s(hole binary64 (* 8/3 (sin (* 1/2 x)))))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) #s(hole binary64 (/ (pow (sin (* 1/2 x)) 2) (sin x))))
#s(approx (pow (sin (* 1/2 x)) 2) #s(hole binary64 (pow (sin (* 1/2 x)) 2)))
#s(approx (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (/ 8/3 (sin x)) #s(hole binary64 (/ 8/3 (sin x))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* 8/3 (pow (sin (* 1/2 x)) 2))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* 8/3 (sin (* 1/2 x)))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (sqrt (sin (* 1/2 x)))))

Calls

3 calls:

Time	Variable		Point	Expression
4.0ms	x	@	0	((* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) (sin (* 1/2 x)) (* 1/2 x) 1/2 x (* 8/3 (/ (sin (* 1/2 x)) (sin x))) 8/3 (/ (sin (* 1/2 x)) (sin x)) (sin x) (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (* (sin (* 1/2 x)) 8/3) (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (/ (pow (sin (* 1/2 x)) 2) (sin x)) (pow (sin (* 1/2 x)) 2) 2 (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) (/ 8/3 (sin x)) (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2))
3.0ms	x	@	inf	((* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) (sin (* 1/2 x)) (* 1/2 x) 1/2 x (* 8/3 (/ (sin (* 1/2 x)) (sin x))) 8/3 (/ (sin (* 1/2 x)) (sin x)) (sin x) (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (* (sin (* 1/2 x)) 8/3) (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (/ (pow (sin (* 1/2 x)) 2) (sin x)) (pow (sin (* 1/2 x)) 2) 2 (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) (/ 8/3 (sin x)) (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2))
3.0ms	x	@	-inf	((* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) (sin (* 1/2 x)) (* 1/2 x) 1/2 x (* 8/3 (/ (sin (* 1/2 x)) (sin x))) 8/3 (/ (sin (* 1/2 x)) (sin x)) (sin x) (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (* (sin (* 1/2 x)) 8/3) (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (/ (pow (sin (* 1/2 x)) 2) (sin x)) (pow (sin (* 1/2 x)) 2) 2 (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) (/ 8/3 (sin x)) (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2))

Time

Variable

Point

Expression

4.0ms

((* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) (sin (* 1/2 x)) (* 1/2 x) 1/2 x (* 8/3 (/ (sin (* 1/2 x)) (sin x))) 8/3 (/ (sin (* 1/2 x)) (sin x)) (sin x) (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (* (sin (* 1/2 x)) 8/3) (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (/ (pow (sin (* 1/2 x)) 2) (sin x)) (pow (sin (* 1/2 x)) 2) 2 (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) (/ 8/3 (sin x)) (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2))

3.0ms

inf

((* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) (sin (* 1/2 x)) (* 1/2 x) 1/2 x (* 8/3 (/ (sin (* 1/2 x)) (sin x))) 8/3 (/ (sin (* 1/2 x)) (sin x)) (sin x) (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (* (sin (* 1/2 x)) 8/3) (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (/ (pow (sin (* 1/2 x)) 2) (sin x)) (pow (sin (* 1/2 x)) 2) 2 (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) (/ 8/3 (sin x)) (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2))

3.0ms

-inf

((* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) (sin (* 1/2 x)) (* 1/2 x) 1/2 x (* 8/3 (/ (sin (* 1/2 x)) (sin x))) 8/3 (/ (sin (* 1/2 x)) (sin x)) (sin x) (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (* (sin (* 1/2 x)) 8/3) (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (/ (pow (sin (* 1/2 x)) 2) (sin x)) (pow (sin (* 1/2 x)) 2) 2 (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) (/ 8/3 (sin x)) (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (* (/ 8 3) (sin (* x 1/2))) (/ 8 3) 8 3 (sin (* x 1/2)) (* x 1/2) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2))

rewrite74.0ms (2.6%)

Memory

26.8MiB live, 73.2MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	358	2183
0	404	2043
0	1810	1951

Stop Event

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

Counts

120 → 163

Calls

Call 1

Inputs
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 #s(literal 8/3 binary64) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))))
(sin.f64 (*.f64 #s(literal 1/2 binary64) x))
(*.f64 #s(literal 1/2 binary64) x)
#s(literal 1/2 binary64)
x
(.f64 #s(literal 8/3 binary64) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)))
#s(literal 8/3 binary64)
(/.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))
(sin.f64 x)
(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
(/.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))
#s(literal 2 binary64)
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
(/.f64 #s(literal 8/3 binary64) (sin.f64 x))
(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) (sin.f64 x))
(.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))))
(.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64))))
(/.f64 #s(literal 8 binary64) #s(literal 3 binary64))
#s(literal 8 binary64)
#s(literal 3 binary64)
(sin.f64 (*.f64 x #s(literal 1/2 binary64)))
(*.f64 x #s(literal 1/2 binary64))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))
#s(approx (* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) #s(hole binary64 (* 2/3 x)))
#s(approx (* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* 1/2 x) #s(hole binary64 (* 1/2 x)))
#s(approx x #s(hole binary64 x))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(hole binary64 4/3))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(hole binary64 (+ 4/3 (* 1/6 (pow x 2)))))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(hole binary64 (+ 4/3 (* (pow x 2) (+ 1/6 (* 5/288 (pow x 2)))))))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(hole binary64 (+ 4/3 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 5/288 (* 61/34560 (pow x 2)))))))))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(hole binary64 1/2))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(hole binary64 (+ 1/2 (* 1/16 (pow x 2)))))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* 5/768 (pow x 2)))))))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* (pow x 2) (+ 5/768 (* 61/92160 (pow x 2)))))))))
#s(approx (sin x) #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* -1/6 (pow x 2))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* 1/120 (pow x 2)) 1/6))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/120 (* -1/5040 (pow x 2)))) 1/6))))))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) #s(hole binary64 (* 2/3 x)))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (sin (* 1/2 x)) 8/3) #s(hole binary64 (* 4/3 x)))
#s(approx (* (sin (* 1/2 x)) 8/3) #s(hole binary64 (* x (+ 4/3 (* -1/18 (pow x 2))))))
#s(approx (* (sin (* 1/2 x)) 8/3) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/18))))))
#s(approx (* (sin (* 1/2 x)) 8/3) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/241920 (pow x 2)))) 1/18))))))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) #s(hole binary64 (* 2/3 x)))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) #s(hole binary64 (* 1/4 x)))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) #s(hole binary64 (* x (+ 1/4 (* 1/48 (pow x 2))))))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* 1/480 (pow x 2))))))))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* (pow x 2) (+ 1/480 (* 17/80640 (pow x 2))))))))))
#s(approx (pow (sin (* 1/2 x)) 2) #s(hole binary64 (* 1/4 (pow x 2))))
#s(approx (pow (sin (* 1/2 x)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* -1/48 (pow x 2))))))
#s(approx (pow (sin (* 1/2 x)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/48))))))
#s(approx (pow (sin (* 1/2 x)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/80640 (pow x 2)))) 1/48))))))
#s(approx (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) #s(hole binary64 (* 2/3 x)))
#s(approx (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (/ 8/3 (sin x)) #s(hole binary64 (/ 8/3 x)))
#s(approx (/ 8/3 (sin x)) #s(hole binary64 (/ (+ 8/3 (* 4/9 (pow x 2))) x)))
#s(approx (/ 8/3 (sin x)) #s(hole binary64 (/ (+ 8/3 (* (pow x 2) (+ 4/9 (* 7/135 (pow x 2))))) x)))
#s(approx (/ 8/3 (sin x)) #s(hole binary64 (/ (+ 8/3 (* (pow x 2) (+ 4/9 (* (pow x 2) (+ 7/135 (* 31/5670 (pow x 2))))))) x)))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) #s(hole binary64 (* 2/3 x)))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* 2/3 (pow x 2))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* -1/18 (pow x 2))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* 1/540 (pow x 2)) 1/18))))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* (pow x 2) (+ 1/540 (* -1/30240 (pow x 2)))) 1/18))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* 4/3 x)))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* -1/18 (pow x 2))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/18))))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* x (+ 4/3 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/241920 (pow x 2)))) 1/18))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* x 1/2) #s(hole binary64 (* 1/2 x)))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (* (sqrt x) (sqrt 1/2))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* -1/96 (* (sqrt (pow x 5)) (/ 1 (sqrt 1/2)))) (* (sqrt x) (sqrt 1/2)))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* (sqrt x) (sqrt 1/2)) (* (pow x 3) (+ (* -1/96 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))) (* 1/7680 (* (sqrt (pow x 3)) (/ 1 (sqrt 1/2)))))))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* (sqrt x) (sqrt 1/2)) (* (pow x 3) (+ (* -1/96 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))) (* (pow x 2) (+ (* -1/18432 (* (sqrt (/ 1 x)) (/ 1 (pow (sqrt 1/2) 3)))) (* 1/7680 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))))))))))
#s(approx (* (sin (* 1/2 x)) (* 8/3 (/ (sin (* 1/2 x)) (sin x)))) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(hole binary64 (* 8/3 (/ (sin (* 1/2 x)) (sin x)))))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(hole binary64 (/ (sin (* 1/2 x)) (sin x))))
#s(approx (sin x) #s(hole binary64 (sin x)))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (sin (* 1/2 x)) 8/3) #s(hole binary64 (* 8/3 (sin (* 1/2 x)))))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) #s(hole binary64 (/ (pow (sin (* 1/2 x)) 2) (sin x))))
#s(approx (pow (sin (* 1/2 x)) 2) #s(hole binary64 (pow (sin (* 1/2 x)) 2)))
#s(approx (* (pow (sin (* 1/2 x)) 2) (/ 8/3 (sin x))) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (/ 8/3 (sin x)) #s(hole binary64 (/ 8/3 (sin x))))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* 8/3 (pow (sin (* 1/2 x)) 2))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) #s(hole binary64 (* 8/3 (sin (* 1/2 x)))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (sqrt (sin (* 1/2 x)))))

Outputs
(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))
(.f64 (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)) (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)))
(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) #s(literal 8/3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64))))
(.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)))
(.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) #s(literal 8/3 binary64)))
(/.f64 (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64))) (sin.f64 x))
(sin.f64 (*.f64 x #s(literal 1/2 binary64)))
(*.f64 x #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) x)
#s(literal 1/2 binary64)
x
(.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) #s(literal 8/3 binary64))
(.f64 #s(literal 8/3 binary64) (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)))
(/.f64 (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)) (sin.f64 x))
#s(literal 8/3 binary64)
(/.f64 (neg.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64)))) (neg.f64 (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) (sin.f64 x))
(sin.f64 x)
(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))
(.f64 (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)) (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)))
(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) #s(literal 8/3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64))))
(.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)))
(.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) #s(literal 8/3 binary64)))
(/.f64 (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64))) (sin.f64 x))
(.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64))
(.f64 #s(literal 8/3 binary64) (sin.f64 (.f64 x #s(literal 1/2 binary64))))
(.f64 (/.f64 #s(literal 8/3 binary64) (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
(.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
(.f64 #s(literal 8/3 binary64) (/.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) (sin.f64 x)))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(/.f64 (neg.f64 (pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64))) (neg.f64 (sin.f64 x)))
(/.f64 (pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) (sin.f64 x))
(.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)) (pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)))
(.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 (*.f64 x #s(literal 1/2 binary64))))
(pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64))
(exp.f64 (.f64 (log.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64)))) #s(literal 2 binary64)))
#s(literal 2 binary64)
(.f64 (/.f64 #s(literal 8/3 binary64) (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
(.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
(.f64 #s(literal 8/3 binary64) (/.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) (sin.f64 x)))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(/.f64 #s(literal -8/3 binary64) (neg.f64 (sin.f64 x)))
(/.f64 #s(literal 8/3 binary64) (sin.f64 x))
(.f64 (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)) (/.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)) (sin.f64 x)))
(/.f64 (neg.f64 (.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)) (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)))) (neg.f64 (sin.f64 x)))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)) (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64))) (sin.f64 x))
(.f64 (.f64 (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)) (sqrt.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))))) (sqrt.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64)))))
(.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)) (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)))
(.f64 (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)) (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64)))
(.f64 #s(literal 8/3 binary64) (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64))))
(.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64))
(.f64 #s(literal 8/3 binary64) (sin.f64 (.f64 x #s(literal 1/2 binary64))))
#s(literal 8/3 binary64)
#s(literal 8 binary64)
#s(literal 3 binary64)
(sin.f64 (*.f64 x #s(literal 1/2 binary64)))
(*.f64 x #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) x)
(.f64 (neg.f64 (sqrt.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))))) (neg.f64 (sqrt.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))))))
(.f64 (fabs.f64 (sqrt.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))))) (fabs.f64 (sqrt.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))))))
(.f64 (sqrt.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sqrt.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64)))))
(pow.f64 (sqrt.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64)))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 1 binary64))
(.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 1/4 binary64)) (pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 1/4 binary64)))
(pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 1/2 binary64))
(sqrt.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))))
(exp.f64 (.f64 (log.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64)))) #s(literal 1/2 binary64)))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (sin (* x 1/2)) (*.f64 x #s(literal 1/2 binary64)))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/3840 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/645120 binary64) (.f64 x x) #s(literal 1/3840 binary64)) (.f64 x x)) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (* x 1/2) (*.f64 x #s(literal 1/2 binary64)))
#s(approx x x)
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) #s(literal 4/3 binary64))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) (fma.f64 #s(literal 1/6 binary64) (*.f64 x x) #s(literal 4/3 binary64)))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) (fma.f64 (fma.f64 #s(literal 5/288 binary64) (.f64 x x) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 4/3 binary64)))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) (fma.f64 (fma.f64 (fma.f64 #s(literal 61/34560 binary64) (.f64 x x) #s(literal 5/288 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (*.f64 x x) #s(literal 4/3 binary64)))
#s(approx (/ (sin (* 1/2 x)) (sin x)) #s(literal 1/2 binary64))
#s(approx (/ (sin (* 1/2 x)) (sin x)) (fma.f64 #s(literal 1/16 binary64) (*.f64 x x) #s(literal 1/2 binary64)))
#s(approx (/ (sin (* 1/2 x)) (sin x)) (fma.f64 (fma.f64 #s(literal 5/768 binary64) (.f64 x x) #s(literal 1/16 binary64)) (.f64 x x) #s(literal 1/2 binary64)))
#s(approx (/ (sin (* 1/2 x)) (sin x)) (fma.f64 (fma.f64 (fma.f64 #s(literal 61/92160 binary64) (.f64 x x) #s(literal 5/768 binary64)) (.f64 x x) #s(literal 1/16 binary64)) (*.f64 x x) #s(literal 1/2 binary64)))
#s(approx (sin x) x)
#s(approx (sin x) (.f64 (fma.f64 #s(literal -1/6 binary64) (.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sin x) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sin x) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (.f64 x x)) #s(literal 1/6 binary64)) (*.f64 x x) #s(literal 1 binary64)) x))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (*.f64 #s(literal 4/3 binary64) x))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (fma.f64 #s(literal -1/18 binary64) (.f64 x x) #s(literal 4/3 binary64)) x))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/1440 binary64) (.f64 x x)) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 4/3 binary64)) x))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/241920 binary64) (.f64 x x) #s(literal 1/1440 binary64)) (.f64 x x)) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 4/3 binary64)) x))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) (*.f64 #s(literal 1/4 binary64) x))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) (.f64 (fma.f64 #s(literal 1/48 binary64) (.f64 x x) #s(literal 1/4 binary64)) x))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) (.f64 (fma.f64 (fma.f64 #s(literal 1/480 binary64) (.f64 x x) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/4 binary64)) x))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/80640 binary64) (.f64 x x) #s(literal 1/480 binary64)) (.f64 x x) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/4 binary64)) x))
#s(approx (pow (sin (* 1/2 x)) 2) (.f64 #s(literal 1/4 binary64) (.f64 x x)))
#s(approx (pow (sin (* 1/2 x)) 2) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/4 binary64)) (*.f64 x x)))
#s(approx (pow (sin (* 1/2 x)) 2) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/1440 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/4 binary64)) (*.f64 x x)))
#s(approx (pow (sin (* 1/2 x)) 2) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/80640 binary64) (.f64 x x) #s(literal 1/1440 binary64)) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/4 binary64)) (.f64 x x)))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (/ 8/3 (sin x)) (/.f64 #s(literal 8/3 binary64) x))
#s(approx (/ 8/3 (sin x)) (/.f64 (fma.f64 #s(literal 4/9 binary64) (*.f64 x x) #s(literal 8/3 binary64)) x))
#s(approx (/ 8/3 (sin x)) (/.f64 (fma.f64 (fma.f64 #s(literal 7/135 binary64) (.f64 x x) #s(literal 4/9 binary64)) (.f64 x x) #s(literal 8/3 binary64)) x))
#s(approx (/ 8/3 (sin x)) (/.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 31/5670 binary64) (.f64 x x) #s(literal 7/135 binary64)) (.f64 x x) #s(literal 4/9 binary64)) (*.f64 x x) #s(literal 8/3 binary64)) x))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (.f64 (.f64 x x) #s(literal 2/3 binary64)))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (.f64 (fma.f64 #s(literal -1/18 binary64) (.f64 x x) #s(literal 2/3 binary64)) (*.f64 x x)))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/540 binary64) (.f64 x x)) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) (*.f64 x x)))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/30240 binary64) (.f64 x x) #s(literal 1/540 binary64)) (.f64 x x)) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x)))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (*.f64 #s(literal 4/3 binary64) x))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (fma.f64 #s(literal -1/18 binary64) (.f64 x x) #s(literal 4/3 binary64)) x))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/1440 binary64) (.f64 x x)) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 4/3 binary64)) x))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/241920 binary64) (.f64 x x) #s(literal 1/1440 binary64)) (.f64 x x)) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 4/3 binary64)) x))
#s(approx (sin (* x 1/2)) (*.f64 x #s(literal 1/2 binary64)))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/3840 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/645120 binary64) (.f64 x x) #s(literal 1/3840 binary64)) (.f64 x x)) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (* x 1/2) (*.f64 x #s(literal 1/2 binary64)))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (*.f64 x #s(literal 1/2 binary64)))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/3840 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/645120 binary64) (.f64 x x) #s(literal 1/3840 binary64)) (.f64 x x)) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (pow (sin (* 1/2 x)) 1/2) (sqrt.f64 (*.f64 x #s(literal 1/2 binary64))))
#s(approx (pow (sin (* 1/2 x)) 1/2) (fma.f64 (.f64 #s(literal -1/96 binary64) (pow.f64 x #s(literal 5/2 binary64))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -1 binary64)) (sqrt.f64 (.f64 x #s(literal 1/2 binary64)))))
#s(approx (pow (sin (* 1/2 x)) 1/2) (fma.f64 (fma.f64 (.f64 #s(literal -1/96 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -1 binary64)) (.f64 (.f64 #s(literal 1/7680 binary64) (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -1 binary64)))) (pow.f64 x #s(literal 3 binary64)) (sqrt.f64 (.f64 x #s(literal 1/2 binary64)))))
#s(approx (pow (sin (* 1/2 x)) 1/2) (fma.f64 (fma.f64 (.f64 #s(literal -1/96 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -1 binary64)) (.f64 (fma.f64 (.f64 #s(literal 1/7680 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -1 binary64)) (.f64 (.f64 #s(literal -1/18432 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -3 binary64)))) (.f64 x x))) (pow.f64 x #s(literal 3 binary64)) (sqrt.f64 (*.f64 x #s(literal 1/2 binary64)))))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (.f64 (/.f64 #s(literal 8/3 binary64) (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64))))
#s(approx (sin (* x 1/2)) (sin.f64 (*.f64 x #s(literal 1/2 binary64))))
#s(approx (* 8/3 (/ (sin (* 1/2 x)) (sin x))) (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) #s(literal 8/3 binary64)))
#s(approx (/ (sin (* 1/2 x)) (sin x)) (/.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) (sin.f64 x)))
#s(approx (sin x) (sin.f64 x))
#s(approx (* (/ (sin (* 1/2 x)) (sin x)) (* (sin (* 1/2 x)) 8/3)) (.f64 (/.f64 #s(literal 8/3 binary64) (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64))))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (.f64 (/.f64 #s(literal 8/3 binary64) (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64))))
#s(approx (/ (pow (sin (* 1/2 x)) 2) (sin x)) (/.f64 (pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) (sin.f64 x)))
#s(approx (pow (sin (* 1/2 x)) 2) (pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)))
#s(approx (* (/ (pow (sin (* 1/2 x)) 2) (sin x)) 8/3) (.f64 (/.f64 #s(literal 8/3 binary64) (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64))))
#s(approx (/ 8/3 (sin x)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
#s(approx (/ (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (sin x)) (.f64 (/.f64 #s(literal 8/3 binary64) (sin.f64 x)) (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64))))
#s(approx (* (* (/ 8 3) (sin (* x 1/2))) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)))
#s(approx (* (/ 8 3) (sin (* x 1/2))) (.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 8/3 binary64)))
#s(approx (sin (* x 1/2)) (sin.f64 (*.f64 x #s(literal 1/2 binary64))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (sin.f64 (*.f64 x #s(literal 1/2 binary64))))
#s(approx (pow (sin (* 1/2 x)) 1/2) (sqrt.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64)))))

eval37.0ms (1.3%)

Memory: -13.6MiB live, 38.1MiB allocated; 6ms collecting garbage
Compiler: Compiled 6 189 to 687 computations (88.9% saved)

prune172.0ms (6.1%)

Memory

-29.3MiB live, 158.3MiB allocated; 14ms collecting garbage

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	275	2	277
Fresh	1	0	1
Picked	1	4	5
Done	0	1	1
Total	277	7	284

Accuracy

99.7%

Counts

284 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	75.2%	(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
✓	47.9%	(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) (sin.f64 x))
✓	75.2%	(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))
✓	75.1%	(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
✓	75.2%	(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
✓	99.2%	(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
▶	99.3%	(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))

Compiler

Compiled 102 to 74 computations (27.5% saved)

series5.0ms (0.2%)

Memory

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

Counts

13 → 42

Calls

Call 1

Inputs
(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))
(.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (sin.f64 (*.f64 x #s(literal 1/2 binary64))))
(/.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) (sin.f64 x))
(sin.f64 (*.f64 x #s(literal 1/2 binary64)))
(*.f64 x #s(literal 1/2 binary64))
x
#s(literal 1/2 binary64)
(sin.f64 x)
#s(literal 8/3 binary64)
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64))
(pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64))
#s(literal 2 binary64)

Outputs
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) #s(hole binary64 (* 2/3 x)))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) #s(hole binary64 (* 1/4 x)))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) #s(hole binary64 (* x (+ 1/4 (* 1/48 (pow x 2))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* 1/480 (pow x 2))))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* (pow x 2) (+ 1/480 (* 17/80640 (pow x 2))))))))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 1/2))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* 1/16 (pow x 2)))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* 5/768 (pow x 2)))))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* (pow x 2) (+ 5/768 (* 61/92160 (pow x 2)))))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* x 1/2) #s(hole binary64 (* 1/2 x)))
#s(approx x #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* -1/6 (pow x 2))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* 1/120 (pow x 2)) 1/6))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/120 (* -1/5040 (pow x 2)))) 1/6))))))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* 2/3 x)))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) #s(hole binary64 (* 2/3 (pow x 2))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* -1/18 (pow x 2))))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* 1/540 (pow x 2)) 1/18))))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* (pow x 2) (+ 1/540 (* -1/30240 (pow x 2)))) 1/18))))))
#s(approx (pow (sin (* x 1/2)) 2) #s(hole binary64 (* 1/4 (pow x 2))))
#s(approx (pow (sin (* x 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* -1/48 (pow x 2))))))
#s(approx (pow (sin (* x 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/48))))))
#s(approx (pow (sin (* x 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/80640 (pow x 2)))) 1/48))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) #s(hole binary64 (/ (pow (sin (* 1/2 x)) 2) (sin x))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (/ (sin (* 1/2 x)) (sin x))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (sin x) #s(hole binary64 (sin x)))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) #s(hole binary64 (* 8/3 (pow (sin (* 1/2 x)) 2))))
#s(approx (pow (sin (* x 1/2)) 2) #s(hole binary64 (pow (sin (* 1/2 x)) 2)))

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	((* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) 8/3 (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (* (pow (sin (* x 1/2)) 2) 8/3) (pow (sin (* x 1/2)) 2) 2)
1.0ms	x	@	-inf	((* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) 8/3 (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (* (pow (sin (* x 1/2)) 2) 8/3) (pow (sin (* x 1/2)) 2) 2)
1.0ms	x	@	0	((* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) 8/3 (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (* (pow (sin (* x 1/2)) 2) 8/3) (pow (sin (* x 1/2)) 2) 2)

Time

Variable

Point

Expression

2.0ms

inf

((* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) 8/3 (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (* (pow (sin (* x 1/2)) 2) 8/3) (pow (sin (* x 1/2)) 2) 2)

1.0ms

-inf

((* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) 8/3 (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (* (pow (sin (* x 1/2)) 2) 8/3) (pow (sin (* x 1/2)) 2) 2)

1.0ms

((* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) 8/3 (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (* (pow (sin (* x 1/2)) 2) 8/3) (pow (sin (* x 1/2)) 2) 2)

rewrite155.0ms (5.5%)

Memory

25.7MiB live, 214.0MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	201	889
0	218	853
1	1088	853
0	8265	813

Stop Event

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

Counts

55 → 106

Calls

Call 1

Inputs
(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))
(.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (sin.f64 (*.f64 x #s(literal 1/2 binary64))))
(/.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) (sin.f64 x))
(sin.f64 (*.f64 x #s(literal 1/2 binary64)))
(*.f64 x #s(literal 1/2 binary64))
x
#s(literal 1/2 binary64)
(sin.f64 x)
#s(literal 8/3 binary64)
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64))
(pow.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) #s(hole binary64 (* 2/3 x)))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) #s(hole binary64 (* 1/4 x)))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) #s(hole binary64 (* x (+ 1/4 (* 1/48 (pow x 2))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* 1/480 (pow x 2))))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* (pow x 2) (+ 1/480 (* 17/80640 (pow x 2))))))))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 1/2))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* 1/16 (pow x 2)))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* 5/768 (pow x 2)))))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* (pow x 2) (+ 5/768 (* 61/92160 (pow x 2)))))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* x 1/2) #s(hole binary64 (* 1/2 x)))
#s(approx x #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* -1/6 (pow x 2))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* 1/120 (pow x 2)) 1/6))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/120 (* -1/5040 (pow x 2)))) 1/6))))))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* 2/3 x)))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) #s(hole binary64 (* 2/3 (pow x 2))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* -1/18 (pow x 2))))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* 1/540 (pow x 2)) 1/18))))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* (pow x 2) (+ 1/540 (* -1/30240 (pow x 2)))) 1/18))))))
#s(approx (pow (sin (* x 1/2)) 2) #s(hole binary64 (* 1/4 (pow x 2))))
#s(approx (pow (sin (* x 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* -1/48 (pow x 2))))))
#s(approx (pow (sin (* x 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/48))))))
#s(approx (pow (sin (* x 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/80640 (pow x 2)))) 1/48))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) 8/3) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) #s(hole binary64 (/ (pow (sin (* 1/2 x)) 2) (sin x))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (/ (sin (* 1/2 x)) (sin x))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (sin x) #s(hole binary64 (sin x)))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) #s(hole binary64 (* 8/3 (pow (sin (* 1/2 x)) 2))))
#s(approx (pow (sin (* x 1/2)) 2) #s(hole binary64 (pow (sin (* 1/2 x)) 2)))

Outputs
(.f64 (.f64 #s(literal 8/3 binary64) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))) (sin.f64 (.f64 #s(literal 1/2 binary64) x)))
(.f64 (.f64 #s(literal 8/3 binary64) (sin.f64 (.f64 #s(literal 1/2 binary64) x))) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x))))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) #s(literal 8/3 binary64)))
(.f64 #s(literal 8/3 binary64) (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)))
(/.f64 (neg.f64 (.f64 #s(literal -8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))) (neg.f64 (neg.f64 (sin.f64 x))))
(/.f64 (.f64 #s(literal -8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))) (neg.f64 (sin.f64 x)))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(neg.f64 (/.f64 (.f64 #s(literal -8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))) (sin.f64 x)))
(neg.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (neg.f64 (sin.f64 x))))
(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (/.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)))
(/.f64 (neg.f64 (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))) (neg.f64 (neg.f64 (sin.f64 x))))
(/.f64 (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))) (neg.f64 (sin.f64 x)))
(/.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x))
(neg.f64 (/.f64 (neg.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))) (sin.f64 x)))
(neg.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (neg.f64 (sin.f64 x))))
(/.f64 (neg.f64 (sin.f64 (fma.f64 #s(literal 1/2 binary64) x (PI.f64)))) (neg.f64 (neg.f64 (sin.f64 x))))
(/.f64 (sin.f64 (fma.f64 #s(literal 1/2 binary64) x (PI.f64))) (neg.f64 (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))
(neg.f64 (/.f64 (sin.f64 (fma.f64 #s(literal 1/2 binary64) x (PI.f64))) (sin.f64 x)))
(neg.f64 (/.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) (neg.f64 (sin.f64 x))))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64))
(sin.f64 (*.f64 #s(literal 1/2 binary64) x))
(exp.f64 (.f64 (log.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x))) #s(literal 1 binary64)))
(*.f64 #s(literal 1/2 binary64) x)
(*.f64 x #s(literal 1/2 binary64))
x
#s(literal 1/2 binary64)
(sin.f64 x)
#s(literal 8/3 binary64)
(.f64 (.f64 #s(literal 8/3 binary64) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))) (sin.f64 (.f64 #s(literal 1/2 binary64) x)))
(.f64 (.f64 #s(literal 8/3 binary64) (sin.f64 (.f64 #s(literal 1/2 binary64) x))) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x))))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) #s(literal 8/3 binary64)))
(.f64 #s(literal 8/3 binary64) (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)))
(/.f64 (neg.f64 (.f64 #s(literal -8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))) (neg.f64 (neg.f64 (sin.f64 x))))
(/.f64 (.f64 #s(literal -8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))) (neg.f64 (sin.f64 x)))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(neg.f64 (/.f64 (.f64 #s(literal -8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))) (sin.f64 x)))
(neg.f64 (/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (neg.f64 (sin.f64 x))))
(.f64 (.f64 #s(literal 8/3 binary64) (sin.f64 (.f64 #s(literal 1/2 binary64) x))) (sin.f64 (.f64 #s(literal 1/2 binary64) x)))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
(.f64 #s(literal 8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))
(.f64 (fabs.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x))) (fabs.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x))))
(.f64 (exp.f64 (log.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)))) (exp.f64 (log.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))))
(*.f64 (sin.f64 (fma.f64 #s(literal 1/2 binary64) x (PI.f64))) (sin.f64 (fma.f64 #s(literal 1/2 binary64) x (PI.f64))))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))
(pow.f64 (exp.f64 (log.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))) #s(literal 2 binary64))
(pow.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 1 binary64))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x)))) #s(literal 2 binary64))
(-.f64 #s(literal 1/2 binary64) (.f64 #s(literal 1/2 binary64) (cos.f64 (.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) x)))))
(exp.f64 (.f64 (log.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x))) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x))) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x))) #s(literal 2 binary64))))
#s(literal 2 binary64)
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (*.f64 #s(literal 1/4 binary64) x))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (.f64 (fma.f64 #s(literal 1/48 binary64) (.f64 x x) #s(literal 1/4 binary64)) x))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (.f64 (fma.f64 (fma.f64 #s(literal 1/480 binary64) (.f64 x x) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/4 binary64)) x))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/80640 binary64) (.f64 x x) #s(literal 1/480 binary64)) (.f64 x x) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/4 binary64)) x))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(literal 1/2 binary64))
#s(approx (/ (sin (* x 1/2)) (sin x)) (fma.f64 #s(literal 1/16 binary64) (*.f64 x x) #s(literal 1/2 binary64)))
#s(approx (/ (sin (* x 1/2)) (sin x)) (fma.f64 (fma.f64 #s(literal 5/768 binary64) (.f64 x x) #s(literal 1/16 binary64)) (.f64 x x) #s(literal 1/2 binary64)))
#s(approx (/ (sin (* x 1/2)) (sin x)) (fma.f64 (fma.f64 (fma.f64 #s(literal 61/92160 binary64) (.f64 x x) #s(literal 5/768 binary64)) (.f64 x x) #s(literal 1/16 binary64)) (*.f64 x x) #s(literal 1/2 binary64)))
#s(approx (sin (* x 1/2)) (*.f64 #s(literal 1/2 binary64) x))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/3840 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* x 1/2)) (.f64 (fma.f64 (-.f64 (.f64 (.f64 (fma.f64 #s(literal -1/645120 binary64) (.f64 x x) #s(literal 1/3840 binary64)) x) x) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (* x 1/2) (*.f64 #s(literal 1/2 binary64) x))
#s(approx x x)
#s(approx (sin x) x)
#s(approx (sin x) (.f64 (fma.f64 #s(literal -1/6 binary64) (.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sin x) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sin x) (fma.f64 (.f64 x (.f64 x x)) (-.f64 (.f64 (.f64 (fma.f64 #s(literal -1/5040 binary64) (*.f64 x x) #s(literal 1/120 binary64)) x) x) #s(literal 1/6 binary64)) x))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) (.f64 (.f64 x x) #s(literal 2/3 binary64)))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) (.f64 (.f64 (fma.f64 #s(literal -1/18 binary64) (*.f64 x x) #s(literal 2/3 binary64)) x) x))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) (.f64 (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/540 binary64) (.f64 x x)) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x) x))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) (.f64 (fma.f64 (-.f64 (.f64 (.f64 (fma.f64 #s(literal -1/30240 binary64) (.f64 x x) #s(literal 1/540 binary64)) x) x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x)))
#s(approx (pow (sin (* x 1/2)) 2) (.f64 (.f64 #s(literal 1/4 binary64) x) x))
#s(approx (pow (sin (* x 1/2)) 2) (.f64 (.f64 (fma.f64 #s(literal -1/48 binary64) (*.f64 x x) #s(literal 1/4 binary64)) x) x))
#s(approx (pow (sin (* x 1/2)) 2) (.f64 (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/1440 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/4 binary64)) x) x))
#s(approx (pow (sin (* x 1/2)) 2) (.f64 (fma.f64 (-.f64 (.f64 (.f64 (fma.f64 #s(literal -1/80640 binary64) (.f64 x x) #s(literal 1/1440 binary64)) x) x) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/4 binary64)) (.f64 x x)))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2))) (/.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)))
#s(approx (/ (sin (* x 1/2)) (sin x)) (/.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)))
#s(approx (sin (* x 1/2)) (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))
#s(approx (sin x) (sin.f64 x))
#s(approx (/ (* (pow (sin (* x 1/2)) 2) 8/3) (sin x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x))))
#s(approx (* (pow (sin (* x 1/2)) 2) 8/3) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)))
#s(approx (pow (sin (* x 1/2)) 2) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))

eval17.0ms (0.6%)

Memory: -17.9MiB live, 28.0MiB allocated; 4ms collecting garbage
Compiler: Compiled 2 300 to 429 computations (81.3% saved)

prune49.0ms (1.7%)

Memory

27.7MiB live, 73.8MiB allocated; 4ms collecting garbage

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	126	3	129
Fresh	0	0	0
Picked	1	1	2
Done	0	5	5
Total	127	9	136

Accuracy

99.7%

Counts

136 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	47.6%	(/.f64 (.f64 (pow.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
▶	50.5%	(/.f64 (.f64 (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/2 binary64) x)))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
✓	47.9%	(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) (sin.f64 x))
✓	75.2%	(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))
✓	75.1%	(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
✓	75.2%	(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
✓	99.2%	(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
▶	71.9%	(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))
✓	99.3%	(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))

Compiler

Compiled 157 to 103 computations (34.4% saved)

series13.0ms (0.5%)

Memory

-25.6MiB live, 21.2MiB allocated; 3ms collecting garbage

Counts

25 → 91

Calls

Call 1

Inputs
(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))
(.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))))
(/.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) (sin.f64 x))
(sin.f64 (*.f64 x #s(literal 1/2 binary64)))
(*.f64 x #s(literal 1/2 binary64))
x
#s(literal 1/2 binary64)
(sin.f64 x)
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))
(sin.f64 (*.f64 #s(literal 1/2 binary64) x))
(*.f64 #s(literal 1/2 binary64) x)
#s(literal 8/3 binary64)
(/.f64 (.f64 (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/2 binary64) x)))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(.f64 (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/2 binary64) x)))) #s(literal 2 binary64)) #s(literal 8/3 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x)))) #s(literal 2 binary64))
(-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x))))
(cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x)))
(-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))
(cos.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x)))
(fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x))
#s(literal 2 binary64)
(/.f64 (.f64 (pow.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(.f64 (pow.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64))
(pow.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))) #s(literal 2 binary64))

Outputs
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) #s(hole binary64 (* 2/3 x)))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* 1/4 x)))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* x (+ 1/4 (* 1/48 (pow x 2))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* 1/480 (pow x 2))))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* (pow x 2) (+ 1/480 (* 17/80640 (pow x 2))))))))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 1/2))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* 1/16 (pow x 2)))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* 5/768 (pow x 2)))))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* (pow x 2) (+ 5/768 (* 61/92160 (pow x 2)))))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* x 1/2) #s(hole binary64 (* 1/2 x)))
#s(approx x #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* -1/6 (pow x 2))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* 1/120 (pow x 2)) 1/6))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/120 (* -1/5040 (pow x 2)))) 1/6))))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (* (sqrt x) (sqrt 1/2))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* -1/96 (* (sqrt (pow x 5)) (/ 1 (sqrt 1/2)))) (* (sqrt x) (sqrt 1/2)))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* (sqrt x) (sqrt 1/2)) (* (pow x 3) (+ (* -1/96 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))) (* 1/7680 (* (sqrt (pow x 3)) (/ 1 (sqrt 1/2)))))))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* (sqrt x) (sqrt 1/2)) (* (pow x 3) (+ (* -1/96 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))) (* (pow x 2) (+ (* -1/18432 (* (sqrt (/ 1 x)) (/ 1 (pow (sqrt 1/2) 3)))) (* 1/7680 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))))))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* 1/2 x) #s(hole binary64 (* 1/2 x)))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* 2/3 x)))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* 2/3 (pow x 2))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* -1/18 (pow x 2))))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* 1/540 (pow x 2)) 1/18))))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* (pow x 2) (+ 1/540 (* -1/30240 (pow x 2)))) 1/18))))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* 1/4 (pow x 2))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* -1/48 (pow x 2))))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/48))))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/80640 (pow x 2)))) 1/48))))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (* 1/2 (pow x 2))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (* (pow x 2) (+ 1/2 (* -1/24 (pow x 2))))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (* (pow x 2) (+ 1/2 (* (pow x 2) (- (* 1/720 (pow x 2)) 1/24))))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (* (pow x 2) (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/720 (* -1/40320 (pow x 2)))) 1/24))))))
#s(approx (cos (- (* 1/2 x) (* 1/2 x))) #s(hole binary64 1))
#s(approx (- (* 1/2 x) (* 1/2 x)) #s(hole binary64 0))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 1))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 (+ 1 (* -1/2 (pow x 2)))))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 (+ 1 (* (pow x 2) (- (* 1/24 (pow x 2)) 1/2)))))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/24 (* -1/720 (pow x 2)))) 1/2)))))
#s(approx (+ (* 1/2 x) (* 1/2 x)) #s(hole binary64 x))
#s(approx (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* 2/3 x)))
#s(approx (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) #s(hole binary64 (* 2/3 (pow x 2))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* -1/18 (pow x 2))))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* 1/540 (pow x 2)) 1/18))))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* (pow x 2) (+ 1/540 (* -1/30240 (pow x 2)))) 1/18))))))
#s(approx (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) #s(hole binary64 (* 1/4 (pow x 2))))
#s(approx (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* -1/48 (pow x 2))))))
#s(approx (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/48))))))
#s(approx (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/80640 (pow x 2)))) 1/48))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (/ (pow (sin (* 1/2 x)) 2) (sin x))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (/ (sin (* 1/2 x)) (sin x))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (sin x) #s(hole binary64 (sin x)))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (sqrt (sin (* 1/2 x)))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* 4/3 (/ (- 1 (cos x)) (sin x)))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* 4/3 (- 1 (cos x)))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* 1/2 (- 1 (cos x)))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (- 1 (cos x))))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 (cos x)))
#s(approx (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) #s(hole binary64 (* 8/3 (pow (sin (* 1/2 x)) 2))))
#s(approx (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) #s(hole binary64 (pow (sin (* 1/2 x)) 2)))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* 4/3 (/ (- 1 (cos (neg (* -1 x)))) (sin x)))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* 4/3 (- 1 (cos (neg (* -1 x)))))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* 1/2 (- 1 (cos (neg (* -1 x)))))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (- 1 (cos (neg (* -1 x))))))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 (cos (neg (* -1 x)))))

Calls

3 calls:

Time	Variable		Point	Expression
5.0ms	x	@	inf	((* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2) (sin (* 1/2 x)) (* 1/2 x) 8/3 (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (cos (- (* 1/2 x) (* 1/2 x))) (- (* 1/2 x) (* 1/2 x)) (cos (+ (* 1/2 x) (* 1/2 x))) (+ (* 1/2 x) (* 1/2 x)) 2 (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2))
4.0ms	x	@	-inf	((* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2) (sin (* 1/2 x)) (* 1/2 x) 8/3 (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (cos (- (* 1/2 x) (* 1/2 x))) (- (* 1/2 x) (* 1/2 x)) (cos (+ (* 1/2 x) (* 1/2 x))) (+ (* 1/2 x) (* 1/2 x)) 2 (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2))
2.0ms	x	@	0	((* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2) (sin (* 1/2 x)) (* 1/2 x) 8/3 (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (cos (- (* 1/2 x) (* 1/2 x))) (- (* 1/2 x) (* 1/2 x)) (cos (+ (* 1/2 x) (* 1/2 x))) (+ (* 1/2 x) (* 1/2 x)) 2 (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2))

Time

Variable

Point

Expression

5.0ms

inf

((* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2) (sin (* 1/2 x)) (* 1/2 x) 8/3 (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (cos (- (* 1/2 x) (* 1/2 x))) (- (* 1/2 x) (* 1/2 x)) (cos (+ (* 1/2 x) (* 1/2 x))) (+ (* 1/2 x) (* 1/2 x)) 2 (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2))

4.0ms

-inf

((* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2) (sin (* 1/2 x)) (* 1/2 x) 8/3 (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (cos (- (* 1/2 x) (* 1/2 x))) (- (* 1/2 x) (* 1/2 x)) (cos (+ (* 1/2 x) (* 1/2 x))) (+ (* 1/2 x) (* 1/2 x)) 2 (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2))

2.0ms

((* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (/ (sin (* x 1/2)) (sin x)) (sin (* x 1/2)) (* x 1/2) x 1/2 (sin x) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (pow (sin (* 1/2 x)) 1/2) (sin (* 1/2 x)) (* 1/2 x) 8/3 (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (cos (- (* 1/2 x) (* 1/2 x))) (- (* 1/2 x) (* 1/2 x)) (cos (+ (* 1/2 x) (* 1/2 x))) (+ (* 1/2 x) (* 1/2 x)) 2 (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2))

rewrite163.0ms (5.8%)

Memory

28.1MiB live, 81.7MiB allocated; 15ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	359	2528
0	402	1839
0	1792	1763

Stop Event

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

Counts

116 → 179

Calls

Call 1

Inputs
(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))
(.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))))
(/.f64 (sin.f64 (*.f64 x #s(literal 1/2 binary64))) (sin.f64 x))
(sin.f64 (*.f64 x #s(literal 1/2 binary64)))
(*.f64 x #s(literal 1/2 binary64))
x
#s(literal 1/2 binary64)
(sin.f64 x)
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))
(sin.f64 (*.f64 #s(literal 1/2 binary64) x))
(*.f64 #s(literal 1/2 binary64) x)
#s(literal 8/3 binary64)
(/.f64 (.f64 (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/2 binary64) x)))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(.f64 (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/2 binary64) x)))) #s(literal 2 binary64)) #s(literal 8/3 binary64))
(/.f64 (-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x)))) #s(literal 2 binary64))
(-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x))))
(cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x)))
(-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))
(cos.f64 (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x)))
(fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x))
#s(literal 2 binary64)
(/.f64 (.f64 (pow.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(.f64 (pow.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64))
(pow.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))) #s(literal 2 binary64))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) #s(hole binary64 (* 2/3 x)))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* 1/4 x)))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* x (+ 1/4 (* 1/48 (pow x 2))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* 1/480 (pow x 2))))))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (* x (+ 1/4 (* (pow x 2) (+ 1/48 (* (pow x 2) (+ 1/480 (* 17/80640 (pow x 2))))))))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 1/2))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* 1/16 (pow x 2)))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* 5/768 (pow x 2)))))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (+ 1/2 (* (pow x 2) (+ 1/16 (* (pow x 2) (+ 5/768 (* 61/92160 (pow x 2)))))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* x 1/2) #s(hole binary64 (* 1/2 x)))
#s(approx x #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 x))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* -1/6 (pow x 2))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* 1/120 (pow x 2)) 1/6))))))
#s(approx (sin x) #s(hole binary64 (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/120 (* -1/5040 (pow x 2)))) 1/6))))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* 1/2 x)))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (* (sqrt x) (sqrt 1/2))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* -1/96 (* (sqrt (pow x 5)) (/ 1 (sqrt 1/2)))) (* (sqrt x) (sqrt 1/2)))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* (sqrt x) (sqrt 1/2)) (* (pow x 3) (+ (* -1/96 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))) (* 1/7680 (* (sqrt (pow x 3)) (/ 1 (sqrt 1/2)))))))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (+ (* (sqrt x) (sqrt 1/2)) (* (pow x 3) (+ (* -1/96 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))) (* (pow x 2) (+ (* -1/18432 (* (sqrt (/ 1 x)) (/ 1 (pow (sqrt 1/2) 3)))) (* 1/7680 (* (sqrt (/ 1 x)) (/ 1 (sqrt 1/2)))))))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* 1/2 x)))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* -1/48 (pow x 2))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* 1/3840 (pow x 2)) 1/48))))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (* x (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/3840 (* -1/645120 (pow x 2)))) 1/48))))))
#s(approx (* 1/2 x) #s(hole binary64 (* 1/2 x)))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* 2/3 x)))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* 2/3 (pow x 2))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* -1/18 (pow x 2))))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* 1/540 (pow x 2)) 1/18))))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* (pow x 2) (+ 1/540 (* -1/30240 (pow x 2)))) 1/18))))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* 1/4 (pow x 2))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* -1/48 (pow x 2))))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/48))))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/80640 (pow x 2)))) 1/48))))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (* 1/2 (pow x 2))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (* (pow x 2) (+ 1/2 (* -1/24 (pow x 2))))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (* (pow x 2) (+ 1/2 (* (pow x 2) (- (* 1/720 (pow x 2)) 1/24))))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (* (pow x 2) (+ 1/2 (* (pow x 2) (- (* (pow x 2) (+ 1/720 (* -1/40320 (pow x 2)))) 1/24))))))
#s(approx (cos (- (* 1/2 x) (* 1/2 x))) #s(hole binary64 1))
#s(approx (- (* 1/2 x) (* 1/2 x)) #s(hole binary64 0))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 1))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 (+ 1 (* -1/2 (pow x 2)))))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 (+ 1 (* (pow x 2) (- (* 1/24 (pow x 2)) 1/2)))))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1/24 (* -1/720 (pow x 2)))) 1/2)))))
#s(approx (+ (* 1/2 x) (* 1/2 x)) #s(hole binary64 x))
#s(approx (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* 2/3 x)))
#s(approx (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* 1/18 (pow x 2))))))
#s(approx (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* 1/180 (pow x 2))))))))
#s(approx (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* x (+ 2/3 (* (pow x 2) (+ 1/18 (* (pow x 2) (+ 1/180 (* 17/30240 (pow x 2))))))))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) #s(hole binary64 (* 2/3 (pow x 2))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* -1/18 (pow x 2))))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* 1/540 (pow x 2)) 1/18))))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) #s(hole binary64 (* (pow x 2) (+ 2/3 (* (pow x 2) (- (* (pow x 2) (+ 1/540 (* -1/30240 (pow x 2)))) 1/18))))))
#s(approx (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) #s(hole binary64 (* 1/4 (pow x 2))))
#s(approx (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* -1/48 (pow x 2))))))
#s(approx (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* 1/1440 (pow x 2)) 1/48))))))
#s(approx (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) #s(hole binary64 (* (pow x 2) (+ 1/4 (* (pow x 2) (- (* (pow x 2) (+ 1/1440 (* -1/80640 (pow x 2)))) 1/48))))))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) #s(hole binary64 (/ (pow (sin (* 1/2 x)) 2) (sin x))))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(hole binary64 (/ (sin (* 1/2 x)) (sin x))))
#s(approx (sin (* x 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (sin x) #s(hole binary64 (sin x)))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (pow (sin (* 1/2 x)) 1/2) #s(hole binary64 (sqrt (sin (* 1/2 x)))))
#s(approx (sin (* 1/2 x)) #s(hole binary64 (sin (* 1/2 x))))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* 4/3 (/ (- 1 (cos x)) (sin x)))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* 4/3 (- 1 (cos x)))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* 1/2 (- 1 (cos x)))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (- 1 (cos x))))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 (cos x)))
#s(approx (/ (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (sin x)) #s(hole binary64 (* 8/3 (/ (pow (sin (* 1/2 x)) 2) (sin x)))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) #s(hole binary64 (* 8/3 (pow (sin (* 1/2 x)) 2))))
#s(approx (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) #s(hole binary64 (pow (sin (* 1/2 x)) 2)))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) #s(hole binary64 (* 4/3 (/ (- 1 (cos (neg (* -1 x)))) (sin x)))))
#s(approx (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) #s(hole binary64 (* 4/3 (- 1 (cos (neg (* -1 x)))))))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) #s(hole binary64 (* 1/2 (- 1 (cos (neg (* -1 x)))))))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) #s(hole binary64 (- 1 (cos (neg (* -1 x))))))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(hole binary64 (cos (neg (* -1 x)))))

Outputs
(.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))) #s(literal 8/3 binary64))
(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) #s(literal 8/3 binary64)))
(.f64 #s(literal 8/3 binary64) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))))
(.f64 (.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (sqrt.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)))) (sqrt.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x))))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) (/.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)))
(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)))
(/.f64 (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64))) (sin.f64 x))
(/.f64 (neg.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x))) (neg.f64 (sin.f64 x)))
(/.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))
(sin.f64 (*.f64 #s(literal 1/2 binary64) x))
(*.f64 #s(literal 1/2 binary64) x)
(*.f64 x #s(literal 1/2 binary64))
x
#s(literal 1/2 binary64)
(sin.f64 x)
(.f64 (neg.f64 (sqrt.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)))) (neg.f64 (sqrt.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))))
(.f64 (fabs.f64 (sqrt.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)))) (fabs.f64 (sqrt.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))))
(.f64 (sqrt.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x))) (sqrt.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x))))
(pow.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x))) #s(literal 2 binary64))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/4 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/4 binary64)))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))
(sqrt.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))
(exp.f64 (.f64 (log.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x))) #s(literal 1/2 binary64)))
(sin.f64 (*.f64 #s(literal 1/2 binary64) x))
(*.f64 #s(literal 1/2 binary64) x)
(*.f64 x #s(literal 1/2 binary64))
#s(literal 8/3 binary64)
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
(.f64 #s(literal 8/3 binary64) (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)))
(/.f64 (neg.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64))) (neg.f64 (sin.f64 x)))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64))
(.f64 #s(literal 8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))
(/.f64 (.f64 (-.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (.f64 x #s(literal 1 binary64)))) #s(literal 8/3 binary64)) #s(literal 2 binary64))
(.f64 (pow.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))
(pow.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))
(/.f64 (neg.f64 (-.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (*.f64 x #s(literal 1 binary64))))) #s(literal -2 binary64))
(/.f64 (-.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (*.f64 x #s(literal 1 binary64)))) #s(literal 2 binary64))
(-.f64 (/.f64 (cos.f64 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (cos.f64 (*.f64 x #s(literal 1 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x))) #s(literal 2 binary64)))
(.f64 #s(literal -2 binary64) (.f64 (sin.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 x #s(literal 1 binary64))) #s(literal 2 binary64))) (sin.f64 (/.f64 (+.f64 #s(literal 0 binary64) (.f64 x #s(literal 1 binary64))) #s(literal 2 binary64)))))
(/.f64 (-.f64 (.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 #s(literal 0 binary64))) (.f64 (cos.f64 (.f64 x #s(literal 1 binary64))) (cos.f64 (.f64 x #s(literal 1 binary64))))) (+.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (*.f64 x #s(literal 1 binary64)))))
(/.f64 (-.f64 (pow.f64 (cos.f64 #s(literal 0 binary64)) #s(literal 3 binary64)) (pow.f64 (cos.f64 (.f64 x #s(literal 1 binary64))) #s(literal 3 binary64))) (fma.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 #s(literal 0 binary64)) (fma.f64 (cos.f64 (.f64 x #s(literal 1 binary64))) (cos.f64 (.f64 x #s(literal 1 binary64))) (.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (*.f64 x #s(literal 1 binary64)))))))
(-.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (*.f64 x #s(literal 1 binary64))))
(fma.f64 (cos.f64 (.f64 #s(literal 1/2 binary64) x)) (cos.f64 (.f64 #s(literal 1/2 binary64) x)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))
(sin.f64 (+.f64 #s(literal 0 binary64) (/.f64 (PI.f64) #s(literal 2 binary64))))
(cos.f64 #s(literal 0 binary64))
(+.f64 (.f64 (cos.f64 (.f64 #s(literal 1/2 binary64) x)) (cos.f64 (.f64 #s(literal 1/2 binary64) x))) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))
#s(literal 0 binary64)
(sin.f64 (fma.f64 x #s(literal 1 binary64) (/.f64 (PI.f64) #s(literal 2 binary64))))
(-.f64 (.f64 (cos.f64 (.f64 #s(literal 1/2 binary64) x)) (cos.f64 (.f64 #s(literal 1/2 binary64) x))) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))
(cos.f64 (neg.f64 (*.f64 x #s(literal 1 binary64))))
(cos.f64 (*.f64 x #s(literal 1 binary64)))
(.f64 #s(literal 2 binary64) (.f64 #s(literal 1/2 binary64) x))
(*.f64 #s(literal 1/2 binary64) (+.f64 x x))
(*.f64 x #s(literal 1 binary64))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x)) (.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) #s(literal 0 binary64))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) x) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 1/2 binary64) x) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x) (-.f64 (.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x)) (.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x)))))
(fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) x))
(fma.f64 x #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) x))
(-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal -1/2 binary64) x))
(+.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))
#s(literal 2 binary64)
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
(.f64 #s(literal 8/3 binary64) (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)))
(/.f64 (neg.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64))) (neg.f64 (sin.f64 x)))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64))
(.f64 #s(literal 8/3 binary64) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))
(/.f64 (.f64 (-.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (.f64 x #s(literal 1 binary64)))) #s(literal 8/3 binary64)) #s(literal 2 binary64))
(.f64 (pow.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) #s(literal 1 binary64)) (pow.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))
(pow.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64)) #s(literal 2 binary64))
(pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64))
(/.f64 (neg.f64 (-.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (*.f64 x #s(literal 1 binary64))))) #s(literal -2 binary64))
(/.f64 (-.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (*.f64 x #s(literal 1 binary64)))) #s(literal 2 binary64))
(-.f64 (/.f64 (cos.f64 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (cos.f64 (*.f64 x #s(literal 1 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x))) #s(literal 2 binary64)))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (*.f64 #s(literal 1/4 binary64) x))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (.f64 (fma.f64 #s(literal 1/48 binary64) (.f64 x x) #s(literal 1/4 binary64)) x))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (.f64 (fma.f64 (fma.f64 #s(literal 1/480 binary64) (.f64 x x) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/4 binary64)) x))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/80640 binary64) (.f64 x x) #s(literal 1/480 binary64)) (.f64 x x) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/4 binary64)) x))
#s(approx (/ (sin (* x 1/2)) (sin x)) #s(literal 1/2 binary64))
#s(approx (/ (sin (* x 1/2)) (sin x)) (fma.f64 #s(literal 1/16 binary64) (*.f64 x x) #s(literal 1/2 binary64)))
#s(approx (/ (sin (* x 1/2)) (sin x)) (fma.f64 (fma.f64 #s(literal 5/768 binary64) (.f64 x x) #s(literal 1/16 binary64)) (.f64 x x) #s(literal 1/2 binary64)))
#s(approx (/ (sin (* x 1/2)) (sin x)) (fma.f64 (fma.f64 (fma.f64 #s(literal 61/92160 binary64) (.f64 x x) #s(literal 5/768 binary64)) (.f64 x x) #s(literal 1/16 binary64)) (*.f64 x x) #s(literal 1/2 binary64)))
#s(approx (sin (* 1/2 x)) (*.f64 #s(literal 1/2 binary64) x))
#s(approx (sin (* 1/2 x)) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* 1/2 x)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/3840 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* 1/2 x)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/645120 binary64) (.f64 x x) #s(literal 1/3840 binary64)) (.f64 x x)) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (* 1/2 x) (*.f64 #s(literal 1/2 binary64) x))
#s(approx x x)
#s(approx (sin x) x)
#s(approx (sin x) (.f64 (fma.f64 #s(literal -1/6 binary64) (.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sin x) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/120 binary64) (.f64 x x)) #s(literal 1/6 binary64)) (.f64 x x) #s(literal 1 binary64)) x))
#s(approx (sin x) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (.f64 x x)) #s(literal 1/6 binary64)) (*.f64 x x) #s(literal 1 binary64)) x))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (*.f64 #s(literal 1/2 binary64) x))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/3840 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/645120 binary64) (.f64 x x) #s(literal 1/3840 binary64)) (.f64 x x)) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (pow (sin (* 1/2 x)) 1/2) (sqrt.f64 (*.f64 #s(literal 1/2 binary64) x)))
#s(approx (pow (sin (* 1/2 x)) 1/2) (fma.f64 (.f64 #s(literal -1/96 binary64) (pow.f64 x #s(literal 5/2 binary64))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -1 binary64)) (sqrt.f64 (.f64 #s(literal 1/2 binary64) x))))
#s(approx (pow (sin (* 1/2 x)) 1/2) (fma.f64 (fma.f64 (.f64 #s(literal -1/96 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -1 binary64)) (.f64 (.f64 #s(literal 1/7680 binary64) (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -1 binary64)))) (pow.f64 x #s(literal 3 binary64)) (sqrt.f64 (.f64 #s(literal 1/2 binary64) x))))
#s(approx (pow (sin (* 1/2 x)) 1/2) (fma.f64 (fma.f64 (.f64 #s(literal -1/96 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -1 binary64)) (.f64 (fma.f64 (.f64 #s(literal 1/7680 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -1 binary64)) (.f64 (.f64 #s(literal -1/18432 binary64) (/.f64 #s(literal 1 binary64) (sqrt.f64 x))) (pow.f64 (sqrt.f64 #s(literal 1/2 binary64)) #s(literal -3 binary64)))) (.f64 x x))) (pow.f64 x #s(literal 3 binary64)) (sqrt.f64 (*.f64 #s(literal 1/2 binary64) x))))
#s(approx (sin (* 1/2 x)) (*.f64 #s(literal 1/2 binary64) x))
#s(approx (sin (* 1/2 x)) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* 1/2 x)) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/3840 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (sin (* 1/2 x)) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/645120 binary64) (.f64 x x) #s(literal 1/3840 binary64)) (.f64 x x)) #s(literal 1/48 binary64)) (*.f64 x x) #s(literal 1/2 binary64)) x))
#s(approx (* 1/2 x) (*.f64 #s(literal 1/2 binary64) x))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (.f64 (.f64 x x) #s(literal 2/3 binary64)))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (.f64 (fma.f64 #s(literal -1/18 binary64) (.f64 x x) #s(literal 2/3 binary64)) (*.f64 x x)))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/540 binary64) (.f64 x x)) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) (*.f64 x x)))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/30240 binary64) (.f64 x x) #s(literal 1/540 binary64)) (.f64 x x)) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (.f64 #s(literal 1/4 binary64) (.f64 x x)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/4 binary64)) (*.f64 x x)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/1440 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/4 binary64)) (*.f64 x x)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/80640 binary64) (.f64 x x) #s(literal 1/1440 binary64)) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/4 binary64)) (.f64 x x)))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (.f64 (.f64 x x) #s(literal 1/2 binary64)))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (.f64 (fma.f64 #s(literal -1/24 binary64) (.f64 x x) #s(literal 1/2 binary64)) (*.f64 x x)))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/720 binary64) (.f64 x x)) #s(literal 1/24 binary64)) (.f64 x x) #s(literal 1/2 binary64)) (*.f64 x x)))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/40320 binary64) (.f64 x x) #s(literal 1/720 binary64)) (.f64 x x)) #s(literal 1/24 binary64)) (.f64 x x) #s(literal 1/2 binary64)) (.f64 x x)))
#s(approx (cos (- (* 1/2 x) (* 1/2 x))) #s(literal 1 binary64))
#s(approx (- (* 1/2 x) (* 1/2 x)) #s(literal 0 binary64))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) #s(literal 1 binary64))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) (fma.f64 #s(literal -1/2 binary64) (*.f64 x x) #s(literal 1 binary64)))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) (fma.f64 (-.f64 (.f64 #s(literal 1/24 binary64) (.f64 x x)) #s(literal 1/2 binary64)) (*.f64 x x) #s(literal 1 binary64)))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/720 binary64) (.f64 x x) #s(literal 1/24 binary64)) (.f64 x x)) #s(literal 1/2 binary64)) (.f64 x x) #s(literal 1 binary64)))
#s(approx (+ (* 1/2 x) (* 1/2 x)) x)
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (*.f64 #s(literal 2/3 binary64) x))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (.f64 (fma.f64 (.f64 x x) #s(literal 1/18 binary64) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (.f64 (fma.f64 (fma.f64 #s(literal 1/180 binary64) (.f64 x x) #s(literal 1/18 binary64)) (*.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 17/30240 binary64) (.f64 x x) #s(literal 1/180 binary64)) (.f64 x x) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) x))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (.f64 (.f64 x x) #s(literal 2/3 binary64)))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (.f64 (fma.f64 #s(literal -1/18 binary64) (.f64 x x) #s(literal 2/3 binary64)) (*.f64 x x)))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/540 binary64) (.f64 x x)) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) (*.f64 x x)))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/30240 binary64) (.f64 x x) #s(literal 1/540 binary64)) (.f64 x x)) #s(literal 1/18 binary64)) (.f64 x x) #s(literal 2/3 binary64)) (.f64 x x)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (.f64 #s(literal 1/4 binary64) (.f64 x x)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (.f64 (fma.f64 #s(literal -1/48 binary64) (.f64 x x) #s(literal 1/4 binary64)) (*.f64 x x)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (.f64 (fma.f64 (-.f64 (.f64 #s(literal 1/1440 binary64) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/4 binary64)) (*.f64 x x)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (.f64 (fma.f64 (-.f64 (.f64 (fma.f64 #s(literal -1/80640 binary64) (.f64 x x) #s(literal 1/1440 binary64)) (.f64 x x)) #s(literal 1/48 binary64)) (.f64 x x) #s(literal 1/4 binary64)) (.f64 x x)))
#s(approx (* (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) 8/3) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x))))
#s(approx (* (/ (sin (* x 1/2)) (sin x)) (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2))) (/.f64 (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)))
#s(approx (/ (sin (* x 1/2)) (sin x)) (/.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)))
#s(approx (sin (* 1/2 x)) (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))
#s(approx (sin x) (sin.f64 x))
#s(approx (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))
#s(approx (pow (sin (* 1/2 x)) 1/2) (sqrt.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x))))
#s(approx (sin (* 1/2 x)) (sin.f64 (*.f64 #s(literal 1/2 binary64) x)))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (*.f64 (tan.f64 (/.f64 x #s(literal 2 binary64))) #s(literal 4/3 binary64)))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal 4/3 binary64)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal 1/2 binary64)))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) (cos.f64 x))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x))))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (pow.f64 (sin.f64 (*.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)))
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (*.f64 (tan.f64 (/.f64 x #s(literal 2 binary64))) #s(literal 4/3 binary64)))
#s(approx (* (pow (* (pow (sin (* 1/2 x)) 1/2) (pow (sin (* 1/2 x)) 1/2)) 2) 8/3) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal 4/3 binary64)))
#s(approx (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) (*.f64 (-.f64 #s(literal 1 binary64) (cos.f64 x)) #s(literal 1/2 binary64)))
#s(approx (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) (-.f64 #s(literal 1 binary64) (cos.f64 x)))
#s(approx (cos (+ (* 1/2 x) (* 1/2 x))) (cos.f64 x))

eval26.0ms (0.9%)

Memory: -4.6MiB live, 42.7MiB allocated; 1ms collecting garbage
Compiler: Compiled 6 028 to 815 computations (86.5% saved)

prune74.0ms (2.6%)

Memory

0.6MiB live, 95.2MiB allocated; 3ms collecting garbage

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	220	2	222
Fresh	0	0	0
Picked	1	2	3
Done	3	3	6
Total	224	7	231

Accuracy

99.8%

Counts

231 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	47.6%	(/.f64 (.f64 (pow.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
	50.5%	(/.f64 (.f64 (/.f64 (/.f64 (-.f64 (pow.f64 (cos.f64 #s(literal 0 binary64)) #s(literal 3 binary64)) (pow.f64 (cos.f64 (.f64 x #s(literal 1 binary64))) #s(literal 3 binary64))) (fma.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 #s(literal 0 binary64)) (fma.f64 (cos.f64 (.f64 x #s(literal 1 binary64))) (cos.f64 (.f64 x #s(literal 1 binary64))) (.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (.f64 x #s(literal 1 binary64))))))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
✓	47.9%	(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) (sin.f64 x))
✓	75.1%	(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
✓	99.2%	(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
✓	71.9%	(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))
	99.5%	#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (*.f64 (tan.f64 (/.f64 x #s(literal 2 binary64))) #s(literal 4/3 binary64)))

Compiler

Compiled 428 to 182 computations (57.5% saved)

regimes14.0ms (0.5%)

Memory

-32.6MiB live, 17.0MiB allocated; 2ms collecting garbage

Accuracy

Total -48.7b remaining (-14495%)

Threshold costs -48.7b (-14495%)

Counts

14 → 1

Calls

Call 1

Inputs
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (*.f64 (tan.f64 (/.f64 x #s(literal 2 binary64))) #s(literal 4/3 binary64)))
(.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (.f64 #s(literal 8/3 binary64) (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x))))
(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))
(.f64 (.f64 (/.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) (sin.f64 x)) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) #s(literal 8/3 binary64))
(.f64 (/.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) (sin.f64 x)) (.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 8/3 binary64)))
(.f64 (/.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (sin.f64 x)) #s(literal 8/3 binary64))
(.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) (/.f64 #s(literal 8/3 binary64) (sin.f64 x)))
(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))
(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)))) (sin.f64 x))
(/.f64 (.f64 (/.f64 (-.f64 (cos.f64 (-.f64 (.f64 #s(literal 1/2 binary64) x) (.f64 #s(literal 1/2 binary64) x))) (cos.f64 (fma.f64 #s(literal 1/2 binary64) x (.f64 #s(literal 1/2 binary64) x)))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(/.f64 (.f64 (/.f64 (/.f64 (-.f64 (pow.f64 (cos.f64 #s(literal 0 binary64)) #s(literal 3 binary64)) (pow.f64 (cos.f64 (.f64 x #s(literal 1 binary64))) #s(literal 3 binary64))) (fma.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 #s(literal 0 binary64)) (fma.f64 (cos.f64 (.f64 x #s(literal 1 binary64))) (cos.f64 (.f64 x #s(literal 1 binary64))) (.f64 (cos.f64 #s(literal 0 binary64)) (cos.f64 (.f64 x #s(literal 1 binary64))))))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(/.f64 (.f64 (pow.f64 (sin.f64 (.f64 x #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))
(/.f64 (.f64 (pow.f64 (.f64 (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64)) (pow.f64 (sin.f64 (.f64 #s(literal 1/2 binary64) x)) #s(literal 1/2 binary64))) #s(literal 2 binary64)) #s(literal 8/3 binary64)) (sin.f64 x))

Outputs
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (*.f64 (tan.f64 (/.f64 x #s(literal 2 binary64))) #s(literal 4/3 binary64)))

Calls

2 calls:

10.0ms	(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))
4.0ms	x

Results

Accuracy	Segments	Branch
99.5%	1	`(/.f64 (.f64 (.f64 (/.f64 #s(literal 8 binary64) #s(literal 3 binary64)) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 (.f64 x #s(literal 1/2 binary64)))) (sin.f64 x))`
99.5%	1	`x`

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify54.0ms (1.9%)

Memory

11.7MiB live, 59.3MiB allocated; 1ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	23
1	54	22
2	134	22
3	447	22
4	3688	22

Stop Event

1×	node limit

Calls

Call 1

Inputs
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (*.f64 (tan.f64 (/.f64 x #s(literal 2 binary64))) #s(literal 4/3 binary64)))

Outputs
#s(approx (/ (* (/ (- (cos (- (* 1/2 x) (* 1/2 x))) (cos (+ (* 1/2 x) (* 1/2 x)))) 2) 8/3) (sin x)) (*.f64 (tan.f64 (/.f64 x #s(literal 2 binary64))) #s(literal 4/3 binary64)))

derivations52.0ms (1.8%)

Memory

-14.3MiB live, 33.5MiB allocated; 1ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 31 to 20 computations (35.5% saved)

preprocess14.0ms (0.5%)

Memory: 18.4MiB live, 18.4MiB allocated; 0ms collecting garbage
Remove: (negabs x)
Compiler: Compiled 156 to 102 computations (34.6% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze184.0ms (6.5%)

sample1.2s (41.4%)

explain128.0ms (4.5%)

preprocess188.0ms (6.6%)

eval0.0ms (0%)

prune0.0ms (0%)

series9.0ms (0.3%)

rewrite185.0ms (6.6%)

eval8.0ms (0.3%)

prune25.0ms (0.9%)

series11.0ms (0.4%)

rewrite74.0ms (2.6%)

eval37.0ms (1.3%)

prune172.0ms (6.1%)

series5.0ms (0.2%)

rewrite155.0ms (5.5%)

eval17.0ms (0.6%)

prune49.0ms (1.7%)

series13.0ms (0.5%)

rewrite163.0ms (5.8%)

eval26.0ms (0.9%)

prune74.0ms (2.6%)

regimes14.0ms (0.5%)

simplify54.0ms (1.9%)

derivations52.0ms (1.8%)

preprocess14.0ms (0.5%)

end0.0ms (0%)

Profiling