Details

analyze474.0ms (5.7%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	100%	0%	0%	0%	0%	3
0%	0%	100%	0%	0%	0%	0%	4
0%	0%	100%	0%	0%	0%	0%	5
0%	0%	100%	0%	0%	0%	0%	6
0%	0%	100%	0%	0%	0%	0%	7
0%	0%	100%	0%	0%	0%	0%	8
0%	0%	100%	0%	0%	0%	0%	9
0%	0%	100%	0%	0%	0%	0%	10
0%	0%	100%	0%	0%	0%	0%	11
0%	0%	100%	0%	0%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample6.8s (81.6%)

Results

4.5s	2107×	body	2048	valid
1.5s	3140×	body	1024	valid
453.0ms	1529×	body	512	valid
217.0ms	1373×	body	256	valid
128.0ms	107×	body	4096	valid

Bogosity

preprocess8.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

76×	`rational.json-simplify-27`
60×	`rational.json-simplify-9`
60×	`rational.json-simplify-41`
54×	`rational.json-simplify-2`
52×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27
1	17	27
2	33	27
3	56	27
4	85	27
5	122	27
6	157	27
7	193	27
8	231	27
9	239	27
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))

Outputs
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

76×	`rational.json-simplify-27`
60×	`rational.json-simplify-9`
60×	`rational.json-simplify-41`
54×	`rational.json-simplify-2`
52×	`rational.json-simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27
1	17	27
2	33	27
3	56	27
4	85	27
5	122	27
6	157	27
7	193	27
8	231	27
9	239	27

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))

Outputs
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))

eval0.0ms (0%)

Compiler: Compiled 10 to 6 computations (40% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

35.7b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	35.7b	(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))

Compiler

Compiled 10 to 6 computations (40% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
✓	1.2b	(-.f64 x (sin.f64 x))
✓	1.4b	(-.f64 x (tan.f64 x))

Compiler

Compiled 23 to 6 computations (73.9% saved)

series3.0ms (0%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
1.0ms	x	@	-inf	(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
0.0ms	x	@	inf	(-.f64 x (tan.f64 x))
0.0ms	x	@	-inf	(-.f64 x (tan.f64 x))
0.0ms	x	@	0	(-.f64 x (tan.f64 x))

rewrite9.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

58×	`rational.json-simplify-2`
56×	`bool.json-1`
52×	`rational.json-simplify-27`
50×	`rational.json-1`
50×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	49
1	48	49
2	115	49
3	187	49
4	222	49
5	230	49

Stop Event

1×

saturated

Counts

3 → 27

Calls

Call 1

Inputs
(-.f64 x (tan.f64 x))
(-.f64 x (sin.f64 x))
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (neg.f64 (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (tan.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 x (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (tan.f64 x)) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 x (tan.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 x (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (tan.f64 x) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (tan.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (tan.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 x (tan.f64 x)) (-.f64 x (tan.f64 x)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (neg.f64 (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (sin.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 x (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (sin.f64 x)) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 x (sin.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 x (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (sin.f64 x) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (sin.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (sin.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 x (sin.f64 x)) (-.f64 x (sin.f64 x)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (neg.f64 (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (tan.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 x (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (tan.f64 x)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (tan.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 x (tan.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (tan.f64 x) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (tan.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (tan.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 x (tan.f64 x)) (-.f64 x (tan.f64 x)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (neg.f64 (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (sin.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 x (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (sin.f64 x)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (sin.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 x (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (sin.f64 x) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (sin.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (sin.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 x (sin.f64 x)) (-.f64 x (sin.f64 x)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))))))

simplify199.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1874×	`rational.json-simplify-27`
1392×	`rational.json-simplify-41`
1194×	`rational.json-simplify-1`
1116×	`rational.json-simplify-40`
834×	`rational.json-simplify-9`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	137	1869
1	244	1851
2	433	1827
3	838	1809
4	1626	1809
5	2909	1791
6	3766	1791
7	4165	1791
8	4427	1791
9	4570	1791
10	4689	1791
11	4828	1791
12	4946	1791
13	5058	1791
14	5267	1791
15	5292	1791
16	5292	1791
17	5292	1791
18	5397	1791
19	5944	1791
20	5949	1791
21	5954	1791

Stop Event

1×

saturated

Counts

63 → 111

Calls

Call 1

Inputs
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 -2/15 (pow.f64 x 5)))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (*.f64 -2/15 (pow.f64 x 5))))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (+.f64 (.f64 -62/2835 (pow.f64 x 9)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 -2/15 (pow.f64 x 5)))))
x
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
x
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/120 (pow.f64 x 5)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/120 (pow.f64 x 5))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (.f64 -1/120 (pow.f64 x 5)))))
x
(+.f64 (*.f64 -1 (sin.f64 x)) x)
(+.f64 (*.f64 -1 (sin.f64 x)) x)
(+.f64 (*.f64 -1 (sin.f64 x)) x)
x
(+.f64 (*.f64 -1 (sin.f64 x)) x)
(+.f64 (*.f64 -1 (sin.f64 x)) x)
(+.f64 (*.f64 -1 (sin.f64 x)) x)
-1/2
(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
(-.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) (.f64 -27/2800 (pow.f64 x 4))) 1/2)
(-.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (*.f64 27/112000 (pow.f64 x 6)))) 1/2)
1
(-.f64 (+.f64 1 (.f64 -1 (/.f64 (sin.f64 x) x))) (.f64 -1 (/.f64 (sin.f64 x) (*.f64 (cos.f64 x) x))))
(-.f64 (+.f64 1 (+.f64 (.f64 -1 (/.f64 (sin.f64 x) x)) (/.f64 (.f64 (sin.f64 x) (-.f64 (.f64 -1 (sin.f64 x)) (.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))) (.f64 (cos.f64 x) (pow.f64 x 2))))) (.f64 -1 (/.f64 (sin.f64 x) (*.f64 (cos.f64 x) x))))
(-.f64 (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (-.f64 (.f64 -1 (sin.f64 x)) (.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))) (.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 x 3))) (+.f64 1 (+.f64 (.f64 -1 (/.f64 (sin.f64 x) x)) (/.f64 (.f64 (sin.f64 x) (-.f64 (.f64 -1 (sin.f64 x)) (.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))) (.f64 (cos.f64 x) (pow.f64 x 2)))))) (.f64 -1 (/.f64 (sin.f64 x) (*.f64 (cos.f64 x) x))))
1
(+.f64 1 (*.f64 -1 (/.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) x)))
(+.f64 1 (+.f64 (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))) (.f64 -1 (/.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) x))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 x 3)))) (+.f64 1 (+.f64 (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))) (*.f64 -1 (/.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) x)))))
(+.f64 x (neg.f64 (tan.f64 x)))
(+.f64 (-.f64 x (tan.f64 x)) 0)
(+.f64 0 (-.f64 x (tan.f64 x)))
(+.f64 (neg.f64 (tan.f64 x)) x)
(*.f64 (-.f64 x (tan.f64 x)) 1)
(*.f64 1 (-.f64 x (tan.f64 x)))
(*.f64 (-.f64 (tan.f64 x) x) -1)
(*.f64 -1 (-.f64 (tan.f64 x) x))
(neg.f64 (-.f64 (tan.f64 x) x))
(+.f64 x (neg.f64 (sin.f64 x)))
(+.f64 (-.f64 x (sin.f64 x)) 0)
(+.f64 0 (-.f64 x (sin.f64 x)))
(+.f64 (neg.f64 (sin.f64 x)) x)
(*.f64 (-.f64 x (sin.f64 x)) 1)
(*.f64 1 (-.f64 x (sin.f64 x)))
(*.f64 (-.f64 (sin.f64 x) x) -1)
(*.f64 -1 (-.f64 (sin.f64 x) x))
(neg.f64 (-.f64 (sin.f64 x) x))
(+.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 0)
(+.f64 0 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
(-.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 0)
(-.f64 0 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))
(*.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 1)
(*.f64 1 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
(*.f64 -1 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))
(*.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)) -1)
(neg.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))

Outputs
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 -2/15 (pow.f64 x 5)))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (*.f64 -2/15 (pow.f64 x 5))))
(+.f64 (+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 -1/3 (pow.f64 x 3))) (*.f64 -2/15 (pow.f64 x 5)))
(+.f64 (.f64 -2/15 (pow.f64 x 5)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (*.f64 -17/315 (pow.f64 x 7))))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (+.f64 (.f64 -62/2835 (pow.f64 x 9)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 -2/15 (pow.f64 x 5)))))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (+.f64 (+.f64 (.f64 -62/2835 (pow.f64 x 9)) (.f64 -1/3 (pow.f64 x 3))) (.f64 -2/15 (pow.f64 x 5))))
(+.f64 (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 -2/15 (pow.f64 x 5))) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 -62/2835 (pow.f64 x 9))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -2/15 (pow.f64 x 5)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (.f64 -62/2835 (pow.f64 x 9)))))
(+.f64 (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 -17/315 (pow.f64 x 7))) (+.f64 (.f64 -2/15 (pow.f64 x 5)) (.f64 -62/2835 (pow.f64 x 9))))
x
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(+.f64 x (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 x (neg.f64 (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(+.f64 x (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 x (neg.f64 (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(+.f64 x (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 x (neg.f64 (/.f64 (sin.f64 x) (cos.f64 x))))
x
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(+.f64 x (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 x (neg.f64 (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(+.f64 x (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 x (neg.f64 (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))) x)
(+.f64 x (*.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 x (neg.f64 (/.f64 (sin.f64 x) (cos.f64 x))))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) 1/6)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/120 (pow.f64 x 5)))
(+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 5) -1/120))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/120 (pow.f64 x 5))))
(+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 5) -1/120) (*.f64 (pow.f64 x 7) 1/5040)))
(+.f64 (.f64 (pow.f64 x 5) -1/120) (+.f64 (.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 7) 1/5040)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (.f64 -1/120 (pow.f64 x 5)))))
(+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (+.f64 (.f64 (pow.f64 x 5) -1/120) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 9) -1/362880)))
(+.f64 (+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 5) -1/120))
(+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 5) -1/120) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (.f64 (pow.f64 x 9) -1/362880))))
x
(+.f64 (*.f64 -1 (sin.f64 x)) x)
(-.f64 x (sin.f64 x))
(+.f64 (*.f64 -1 (sin.f64 x)) x)
(-.f64 x (sin.f64 x))
(+.f64 (*.f64 -1 (sin.f64 x)) x)
(-.f64 x (sin.f64 x))
x
(+.f64 (*.f64 -1 (sin.f64 x)) x)
(-.f64 x (sin.f64 x))
(+.f64 (*.f64 -1 (sin.f64 x)) x)
(-.f64 x (sin.f64 x))
(+.f64 (*.f64 -1 (sin.f64 x)) x)
(-.f64 x (sin.f64 x))
-1/2
(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
(+.f64 -1/2 (*.f64 9/40 (pow.f64 x 2)))
(+.f64 (*.f64 9/40 (pow.f64 x 2)) -1/2)
(-.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) (.f64 -27/2800 (pow.f64 x 4))) 1/2)
(+.f64 -1/2 (+.f64 (.f64 9/40 (pow.f64 x 2)) (.f64 -27/2800 (pow.f64 x 4))))
(+.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) -1/2) (.f64 -27/2800 (pow.f64 x 4)))
(+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) -1/2))
(-.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (*.f64 27/112000 (pow.f64 x 6)))) 1/2)
(+.f64 -1/2 (+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (*.f64 27/112000 (pow.f64 x 6)))))
(+.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) -1/2) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (*.f64 27/112000 (pow.f64 x 6))))
(+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (*.f64 27/112000 (pow.f64 x 6))) -1/2))
(+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (+.f64 (*.f64 27/112000 (pow.f64 x 6)) -1/2)))
(+.f64 (.f64 -27/2800 (pow.f64 x 4)) (+.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) -1/2) (*.f64 27/112000 (pow.f64 x 6))))
(+.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) -1/2) (-.f64 (.f64 27/112000 (pow.f64 x 6)) (*.f64 (pow.f64 x 4) 27/2800)))
1
(-.f64 (+.f64 1 (.f64 -1 (/.f64 (sin.f64 x) x))) (.f64 -1 (/.f64 (sin.f64 x) (*.f64 (cos.f64 x) x))))
(-.f64 (+.f64 1 (.f64 -1 (/.f64 (sin.f64 x) x))) (.f64 -1 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x)))))
(+.f64 (.f64 -1 (/.f64 (sin.f64 x) x)) (+.f64 1 (.f64 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))) 1)))
(+.f64 (.f64 -1 (/.f64 (sin.f64 x) x)) (+.f64 1 (.f64 1 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x))))))
(+.f64 (-.f64 1 (/.f64 (sin.f64 x) x)) (.f64 1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x)))))
(-.f64 (+.f64 1 (+.f64 (.f64 -1 (/.f64 (sin.f64 x) x)) (/.f64 (.f64 (sin.f64 x) (-.f64 (.f64 -1 (sin.f64 x)) (.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))) (.f64 (cos.f64 x) (pow.f64 x 2))))) (.f64 -1 (/.f64 (sin.f64 x) (*.f64 (cos.f64 x) x))))
(-.f64 (+.f64 1 (+.f64 (.f64 -1 (/.f64 (sin.f64 x) x)) (/.f64 (.f64 (sin.f64 x) (-.f64 (neg.f64 (sin.f64 x)) (.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))) (.f64 (cos.f64 x) (pow.f64 x 2))))) (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x)))))
(+.f64 (-.f64 (+.f64 1 (.f64 -1 (/.f64 (sin.f64 x) x))) (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x))))) (/.f64 (.f64 (sin.f64 x) (-.f64 (neg.f64 (sin.f64 x)) (neg.f64 (/.f64 (sin.f64 x) (cos.f64 x))))) (*.f64 (cos.f64 x) (pow.f64 x 2))))
(+.f64 (-.f64 (+.f64 1 (.f64 -1 (/.f64 (sin.f64 x) x))) (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x))))) (/.f64 (.f64 (sin.f64 x) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))) (*.f64 (cos.f64 x) (pow.f64 x 2))))
(+.f64 1 (-.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))) (.f64 (cos.f64 x) (pow.f64 x 2))) (-.f64 (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x)))) (*.f64 -1 (/.f64 (sin.f64 x) x)))))
(+.f64 1 (-.f64 (.f64 -1 (/.f64 (sin.f64 x) x)) (-.f64 (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x)))) (/.f64 (.f64 (sin.f64 x) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))) (*.f64 (cos.f64 x) (pow.f64 x 2))))))
(+.f64 (-.f64 1 (/.f64 (sin.f64 x) x)) (+.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))) (.f64 (cos.f64 x) (pow.f64 x 2))) (.f64 1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x))))))
(+.f64 1 (-.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))) (.f64 (cos.f64 x) (pow.f64 x 2))) (+.f64 (/.f64 (sin.f64 x) x) (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x)))))))
(-.f64 (+.f64 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (-.f64 (.f64 -1 (sin.f64 x)) (.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))) (.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 x 3))) (+.f64 1 (+.f64 (.f64 -1 (/.f64 (sin.f64 x) x)) (/.f64 (.f64 (sin.f64 x) (-.f64 (.f64 -1 (sin.f64 x)) (.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))) (.f64 (cos.f64 x) (pow.f64 x 2)))))) (.f64 -1 (/.f64 (sin.f64 x) (*.f64 (cos.f64 x) x))))
(-.f64 (+.f64 (+.f64 1 (+.f64 (.f64 -1 (/.f64 (sin.f64 x) x)) (/.f64 (.f64 (sin.f64 x) (-.f64 (neg.f64 (sin.f64 x)) (.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x))))) (.f64 (cos.f64 x) (pow.f64 x 2))))) (/.f64 (.f64 (-.f64 (neg.f64 (sin.f64 x)) (.f64 -1 (/.f64 (sin.f64 x) (cos.f64 x)))) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2)))) (.f64 -1 (/.f64 (sin.f64 x) (*.f64 x (cos.f64 x)))))
(+.f64 (+.f64 (-.f64 (+.f64 1 (.f64 -1 (/.f64 (sin.f64 x) x))) (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x))))) (/.f64 (.f64 (sin.f64 x) (-.f64 (neg.f64 (sin.f64 x)) (neg.f64 (/.f64 (sin.f64 x) (cos.f64 x))))) (.f64 (cos.f64 x) (pow.f64 x 2)))) (/.f64 (.f64 (-.f64 (neg.f64 (sin.f64 x)) (neg.f64 (/.f64 (sin.f64 x) (cos.f64 x)))) (pow.f64 (sin.f64 x) 2)) (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))
(+.f64 (+.f64 (-.f64 (+.f64 1 (.f64 -1 (/.f64 (sin.f64 x) x))) (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x))))) (/.f64 (.f64 (sin.f64 x) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))) (.f64 (cos.f64 x) (pow.f64 x 2)))) (/.f64 (.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) (pow.f64 (sin.f64 x) 2)) (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))
(+.f64 (+.f64 1 (-.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))) (.f64 (cos.f64 x) (pow.f64 x 2))) (-.f64 (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x)))) (.f64 -1 (/.f64 (sin.f64 x) x))))) (/.f64 (.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) (pow.f64 (sin.f64 x) 2)) (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))
(+.f64 1 (+.f64 (/.f64 (.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))) (-.f64 (.f64 -1 (/.f64 (sin.f64 x) x)) (-.f64 (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x)))) (/.f64 (.f64 (sin.f64 x) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))) (*.f64 (cos.f64 x) (pow.f64 x 2)))))))
(+.f64 (-.f64 1 (/.f64 (sin.f64 x) x)) (+.f64 (/.f64 (.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))) (+.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))) (.f64 (cos.f64 x) (pow.f64 x 2))) (.f64 1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x)))))))
(+.f64 1 (+.f64 (/.f64 (.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) (pow.f64 (sin.f64 x) 2)) (.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))) (-.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))) (.f64 (cos.f64 x) (pow.f64 x 2))) (+.f64 (/.f64 (sin.f64 x) x) (.f64 -1 (/.f64 (sin.f64 x) (.f64 x (cos.f64 x))))))))
1
(+.f64 1 (*.f64 -1 (/.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) x)))
(+.f64 1 (/.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) x))
(/.f64 (+.f64 (-.f64 x (sin.f64 x)) (/.f64 (sin.f64 x) (cos.f64 x))) x)
(/.f64 (+.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (-.f64 x (sin.f64 x))) x)
(+.f64 1 (+.f64 (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))) (.f64 -1 (/.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) x))))
(+.f64 1 (+.f64 (.f64 -1 (/.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) x)) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))))))
(+.f64 1 (+.f64 (/.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) x) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2))))))
(+.f64 (+.f64 1 (/.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) x)) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2)))))
(+.f64 (/.f64 (+.f64 (-.f64 x (sin.f64 x)) (/.f64 (sin.f64 x) (cos.f64 x))) x) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2)))))
(+.f64 (/.f64 (+.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (-.f64 x (sin.f64 x))) x) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2)))))
(+.f64 (.f64 -1 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 x 3)))) (+.f64 1 (+.f64 (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))) (*.f64 -1 (/.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) x)))))
(+.f64 (+.f64 1 (+.f64 (.f64 -1 (/.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) x)) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))))) (.f64 -1 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2)))))
(+.f64 (+.f64 (+.f64 1 (.f64 -1 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))) (.f64 -1 (/.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) x))) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2)))))
(+.f64 (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))) (+.f64 (+.f64 1 (/.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) x)) (.f64 -1 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))))
(+.f64 (+.f64 1 (/.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) x)) (+.f64 (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))) (.f64 -1 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))))
(+.f64 (/.f64 (+.f64 (-.f64 x (sin.f64 x)) (/.f64 (sin.f64 x) (cos.f64 x))) x) (+.f64 (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))) (.f64 -1 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))))
(+.f64 (/.f64 (+.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (-.f64 x (sin.f64 x))) x) (+.f64 (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))) (.f64 -1 (/.f64 (.f64 (pow.f64 (sin.f64 x) 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (pow.f64 x 3) (pow.f64 (cos.f64 x) 2))))))
(+.f64 x (neg.f64 (tan.f64 x)))
(-.f64 x (tan.f64 x))
(+.f64 (-.f64 x (tan.f64 x)) 0)
(+.f64 0 (-.f64 x (tan.f64 x)))
(+.f64 (-.f64 x (tan.f64 x)) 0)
(+.f64 (neg.f64 (tan.f64 x)) x)
(-.f64 x (tan.f64 x))
(*.f64 (-.f64 x (tan.f64 x)) 1)
(-.f64 x (tan.f64 x))
(*.f64 1 (-.f64 x (tan.f64 x)))
(-.f64 x (tan.f64 x))
(*.f64 (-.f64 (tan.f64 x) x) -1)
(-.f64 x (tan.f64 x))
(*.f64 -1 (-.f64 (tan.f64 x) x))
(-.f64 x (tan.f64 x))
(neg.f64 (-.f64 (tan.f64 x) x))
(-.f64 x (tan.f64 x))
(+.f64 x (neg.f64 (sin.f64 x)))
(-.f64 x (sin.f64 x))
(+.f64 (-.f64 x (sin.f64 x)) 0)
(+.f64 0 (-.f64 x (sin.f64 x)))
(+.f64 0 (-.f64 x (sin.f64 x)))
(+.f64 (neg.f64 (sin.f64 x)) x)
(-.f64 x (sin.f64 x))
(*.f64 (-.f64 x (sin.f64 x)) 1)
(-.f64 x (sin.f64 x))
(*.f64 1 (-.f64 x (sin.f64 x)))
(-.f64 x (sin.f64 x))
(*.f64 (-.f64 (sin.f64 x) x) -1)
(-.f64 x (sin.f64 x))
(*.f64 -1 (-.f64 (sin.f64 x) x))
(-.f64 x (sin.f64 x))
(neg.f64 (-.f64 (sin.f64 x) x))
(-.f64 x (sin.f64 x))
(+.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 0)
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(/.f64 (-.f64 (sin.f64 x) x) (-.f64 (tan.f64 x) x))
(+.f64 0 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(/.f64 (-.f64 (sin.f64 x) x) (-.f64 (tan.f64 x) x))
(-.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 0)
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(/.f64 (-.f64 (sin.f64 x) x) (-.f64 (tan.f64 x) x))
(-.f64 0 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(/.f64 (-.f64 (sin.f64 x) x) (-.f64 (tan.f64 x) x))
(*.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) 1)
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(/.f64 (-.f64 (sin.f64 x) x) (-.f64 (tan.f64 x) x))
(*.f64 1 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))))
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(/.f64 (-.f64 (sin.f64 x) x) (-.f64 (tan.f64 x) x))
(*.f64 -1 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(/.f64 (-.f64 (sin.f64 x) x) (-.f64 (tan.f64 x) x))
(*.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)) -1)
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(/.f64 (-.f64 (sin.f64 x) x) (-.f64 (tan.f64 x) x))
(neg.f64 (/.f64 (-.f64 x (sin.f64 x)) (-.f64 (tan.f64 x) x)))
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(/.f64 (-.f64 (sin.f64 x) x) (-.f64 (tan.f64 x) x))

eval31.0ms (0.4%)

Compiler: Compiled 2602 to 1137 computations (56.3% saved)

prune16.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

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

Error

0.0b

Counts

112 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	35.7b	(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
▶	36.2b	(/.f64 (-.f64 x (sin.f64 x)) x)
▶	63.4b	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 5) -1/120)) (-.f64 x (tan.f64 x)))
▶	27.0b	(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
▶	36.3b	(+.f64 (+.f64 1 (/.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) x)) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2)))))
	36.7b	1
	27.4b	-1/2

Compiler

Compiled 92 to 61 computations (33.7% saved)

localize32.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sin.f64 x) (cos.f64 x))
✓	1.8b	(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
✓	1.8b	(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
✓	18.7b	(/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))

Compiler

Compiled 143 to 37 computations (74.1% saved)

series5.0ms (0.1%)

Counts

4 → 16

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))
1.0ms	x	@	-inf	(/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))
1.0ms	x	@	0	(/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))
0.0ms	x	@	inf	(/.f64 (sin.f64 x) (cos.f64 x))
0.0ms	x	@	0	(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))

rewrite11.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

60×	`rational.json-simplify-2`
60×	`bool.json-1`
52×	`rational.json-1`
52×	`rational.json-2`
40×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	122
1	68	122
2	131	122
3	177	122
4	194	122
5	213	122
6	215	122

Stop Event

1×

saturated

Counts

4 → 31

Calls

Call 1

Inputs
(/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2)))
(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
(/.f64 (sin.f64 x) (cos.f64 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))) (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sin.f64 x) (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)) (sin.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (neg.f64 (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 x) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (sin.f64 x) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sin.f64 x) (cos.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (sin.f64 x) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (sin.f64 x) (cos.f64 x)) (/.f64 (sin.f64 x) (cos.f64 x)))))))

simplify26.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

238×	`rational.json-simplify-1`
162×	`rational.json-simplify-33`
96×	`rational.json-simplify-2`
56×	`rational.json-simplify-31`
26×	`rational.json-simplify-29`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	112	1429
1	175	1429
2	263	1429
3	388	1429
4	485	1429
5	500	1429

Stop Event

1×

saturated

Counts

47 → 75

Calls

Call 1

Inputs
(*.f64 -1/2 (pow.f64 x 2))
(+.f64 (.f64 -7/24 (pow.f64 x 4)) (.f64 -1/2 (pow.f64 x 2)))
(+.f64 (.f64 -13/80 (pow.f64 x 6)) (+.f64 (.f64 -7/24 (pow.f64 x 4)) (*.f64 -1/2 (pow.f64 x 2))))
(+.f64 (.f64 -13/80 (pow.f64 x 6)) (+.f64 (.f64 -7/24 (pow.f64 x 4)) (+.f64 (.f64 -10109/120960 (pow.f64 x 8)) (.f64 -1/2 (pow.f64 x 2)))))
(*.f64 -1/2 (pow.f64 x 3))
(+.f64 (.f64 -1/2 (pow.f64 x 3)) (.f64 -1/8 (pow.f64 x 5)))
(+.f64 (.f64 -1/2 (pow.f64 x 3)) (+.f64 (.f64 -13/240 (pow.f64 x 7)) (*.f64 -1/8 (pow.f64 x 5))))
(+.f64 (.f64 -1/2 (pow.f64 x 3)) (+.f64 (.f64 -529/24192 (pow.f64 x 9)) (+.f64 (.f64 -13/240 (pow.f64 x 7)) (.f64 -1/8 (pow.f64 x 5)))))
(*.f64 1/2 (pow.f64 x 3))
(+.f64 (.f64 1/2 (pow.f64 x 3)) (.f64 1/8 (pow.f64 x 5)))
(+.f64 (.f64 13/240 (pow.f64 x 7)) (+.f64 (.f64 1/2 (pow.f64 x 3)) (*.f64 1/8 (pow.f64 x 5))))
(+.f64 (.f64 13/240 (pow.f64 x 7)) (+.f64 (.f64 1/2 (pow.f64 x 3)) (+.f64 (.f64 1/8 (pow.f64 x 5)) (.f64 529/24192 (pow.f64 x 9)))))
x
(+.f64 (*.f64 1/3 (pow.f64 x 3)) x)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 2/15 (pow.f64 x 5)) x))
(+.f64 (.f64 17/315 (pow.f64 x 7)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (*.f64 2/15 (pow.f64 x 5)) x)))
(+.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))) 0)
(+.f64 0 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))))
(.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2))) 1)
(.f64 1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2))))
(+.f64 (sin.f64 x) (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))
(+.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) 0)
(+.f64 0 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)) (sin.f64 x))
(*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) 1)
(*.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) -1)
(*.f64 1 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))
(*.f64 -1 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))
(neg.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))
(+.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (neg.f64 (sin.f64 x)))
(+.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) 0)
(+.f64 0 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))
(+.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 x) (cos.f64 x)))
(*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) -1)
(*.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) 1)
(*.f64 1 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))
(*.f64 -1 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))
(neg.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))
(+.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 0)
(+.f64 0 (/.f64 (sin.f64 x) (cos.f64 x)))
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 0)
(-.f64 0 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))
(*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 1)
(*.f64 1 (/.f64 (sin.f64 x) (cos.f64 x)))
(*.f64 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)) -1)
(*.f64 -1 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))
(neg.f64 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))

Outputs
(*.f64 -1/2 (pow.f64 x 2))
(+.f64 (.f64 -7/24 (pow.f64 x 4)) (.f64 -1/2 (pow.f64 x 2)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -7/24 (pow.f64 x 4)))
(+.f64 (.f64 -13/80 (pow.f64 x 6)) (+.f64 (.f64 -7/24 (pow.f64 x 4)) (*.f64 -1/2 (pow.f64 x 2))))
(+.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -7/24 (pow.f64 x 4))) (*.f64 -13/80 (pow.f64 x 6)))
(+.f64 (.f64 -1/2 (pow.f64 x 2)) (+.f64 (.f64 -7/24 (pow.f64 x 4)) (*.f64 -13/80 (pow.f64 x 6))))
(+.f64 (.f64 -13/80 (pow.f64 x 6)) (+.f64 (.f64 -7/24 (pow.f64 x 4)) (+.f64 (.f64 -10109/120960 (pow.f64 x 8)) (.f64 -1/2 (pow.f64 x 2)))))
(+.f64 (+.f64 (.f64 -13/80 (pow.f64 x 6)) (.f64 -7/24 (pow.f64 x 4))) (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -10109/120960 (pow.f64 x 8))))
(+.f64 (+.f64 (.f64 -1/2 (pow.f64 x 2)) (.f64 -10109/120960 (pow.f64 x 8))) (+.f64 (.f64 -7/24 (pow.f64 x 4)) (.f64 -13/80 (pow.f64 x 6))))
(*.f64 -1/2 (pow.f64 x 3))
(+.f64 (.f64 -1/2 (pow.f64 x 3)) (.f64 -1/8 (pow.f64 x 5)))
(+.f64 (.f64 -1/2 (pow.f64 x 3)) (+.f64 (.f64 -13/240 (pow.f64 x 7)) (*.f64 -1/8 (pow.f64 x 5))))
(+.f64 (.f64 -1/2 (pow.f64 x 3)) (+.f64 (.f64 -1/8 (pow.f64 x 5)) (*.f64 -13/240 (pow.f64 x 7))))
(+.f64 (.f64 -1/2 (pow.f64 x 3)) (+.f64 (.f64 -529/24192 (pow.f64 x 9)) (+.f64 (.f64 -13/240 (pow.f64 x 7)) (.f64 -1/8 (pow.f64 x 5)))))
(+.f64 (.f64 -1/2 (pow.f64 x 3)) (+.f64 (+.f64 (.f64 -1/8 (pow.f64 x 5)) (.f64 -13/240 (pow.f64 x 7))) (.f64 -529/24192 (pow.f64 x 9))))
(+.f64 (.f64 -1/2 (pow.f64 x 3)) (+.f64 (.f64 -1/8 (pow.f64 x 5)) (+.f64 (.f64 -13/240 (pow.f64 x 7)) (.f64 -529/24192 (pow.f64 x 9)))))
(*.f64 1/2 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) 1/2)
(+.f64 (.f64 1/2 (pow.f64 x 3)) (.f64 1/8 (pow.f64 x 5)))
(+.f64 (.f64 (pow.f64 x 3) 1/2) (.f64 (pow.f64 x 5) 1/8))
(+.f64 (.f64 13/240 (pow.f64 x 7)) (+.f64 (.f64 1/2 (pow.f64 x 3)) (*.f64 1/8 (pow.f64 x 5))))
(+.f64 (+.f64 (.f64 (pow.f64 x 7) 13/240) (.f64 (pow.f64 x 3) 1/2)) (*.f64 (pow.f64 x 5) 1/8))
(+.f64 (.f64 (pow.f64 x 5) 1/8) (+.f64 (.f64 (pow.f64 x 3) 1/2) (*.f64 (pow.f64 x 7) 13/240)))
(+.f64 (.f64 (pow.f64 x 3) 1/2) (+.f64 (.f64 (pow.f64 x 5) 1/8) (*.f64 (pow.f64 x 7) 13/240)))
(+.f64 (.f64 13/240 (pow.f64 x 7)) (+.f64 (.f64 1/2 (pow.f64 x 3)) (+.f64 (.f64 1/8 (pow.f64 x 5)) (.f64 529/24192 (pow.f64 x 9)))))
(+.f64 (+.f64 (.f64 (pow.f64 x 7) 13/240) (.f64 (pow.f64 x 3) 1/2)) (+.f64 (.f64 (pow.f64 x 5) 1/8) (.f64 (pow.f64 x 9) 529/24192)))
(+.f64 (+.f64 (.f64 (pow.f64 x 5) 1/8) (.f64 (pow.f64 x 9) 529/24192)) (+.f64 (.f64 (pow.f64 x 3) 1/2) (.f64 (pow.f64 x 7) 13/240)))
(+.f64 (.f64 (pow.f64 x 3) 1/2) (+.f64 (.f64 (pow.f64 x 7) 13/240) (+.f64 (.f64 (pow.f64 x 5) 1/8) (.f64 (pow.f64 x 9) 529/24192))))
x
(+.f64 (*.f64 1/3 (pow.f64 x 3)) x)
(+.f64 x (*.f64 (pow.f64 x 3) 1/3))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 2/15 (pow.f64 x 5)) x))
(+.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 x (.f64 (pow.f64 x 5) 2/15)))
(+.f64 x (+.f64 (.f64 (pow.f64 x 3) 1/3) (.f64 (pow.f64 x 5) 2/15)))
(+.f64 (.f64 17/315 (pow.f64 x 7)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (*.f64 2/15 (pow.f64 x 5)) x)))
(+.f64 (+.f64 (.f64 (pow.f64 x 7) 17/315) (.f64 (pow.f64 x 3) 1/3)) (+.f64 x (*.f64 (pow.f64 x 5) 2/15)))
(+.f64 (+.f64 x (.f64 (pow.f64 x 5) 2/15)) (+.f64 (.f64 (pow.f64 x 3) 1/3) (*.f64 (pow.f64 x 7) 17/315)))
(+.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (+.f64 (.f64 (pow.f64 x 7) 17/315) x) (*.f64 (pow.f64 x 5) 2/15)))
(+.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 x (+.f64 (.f64 (pow.f64 x 5) 2/15) (*.f64 (pow.f64 x 7) 17/315))))
(+.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))) 0)
(+.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (pow.f64 x 2) (cos.f64 x))) 0)
(+.f64 0 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (cos.f64 x) (pow.f64 x 2))))
(+.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (.f64 (pow.f64 x 2) (cos.f64 x))) 0)
(.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2))) 1)
(.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (pow.f64 x 2) (cos.f64 x))) 1)
(.f64 1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2))))
(.f64 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (pow.f64 x 2) (cos.f64 x))) 1)
(+.f64 (sin.f64 x) (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))
(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
(+.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) 0)
(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
(+.f64 0 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))
(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
(+.f64 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)) (sin.f64 x))
(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
(*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) 1)
(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
(*.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) -1)
(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
(*.f64 1 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))
(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
(*.f64 -1 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))
(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
(neg.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))
(-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))
(+.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (neg.f64 (sin.f64 x)))
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
(+.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) 0)
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
(+.f64 0 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
(+.f64 (neg.f64 (sin.f64 x)) (/.f64 (sin.f64 x) (cos.f64 x)))
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
(*.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))) -1)
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
(*.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) 1)
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
(*.f64 1 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)))
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
(*.f64 -1 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
(neg.f64 (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x))))
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x))
(+.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 0)
(/.f64 (sin.f64 x) (cos.f64 x))
(+.f64 0 (/.f64 (sin.f64 x) (cos.f64 x)))
(/.f64 (sin.f64 x) (cos.f64 x))
(-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 0)
(/.f64 (sin.f64 x) (cos.f64 x))
(-.f64 0 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))
(/.f64 (sin.f64 x) (cos.f64 x))
(*.f64 (/.f64 (sin.f64 x) (cos.f64 x)) 1)
(/.f64 (sin.f64 x) (cos.f64 x))
(*.f64 1 (/.f64 (sin.f64 x) (cos.f64 x)))
(/.f64 (sin.f64 x) (cos.f64 x))
(*.f64 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)) -1)
(/.f64 (sin.f64 x) (cos.f64 x))
(*.f64 -1 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))
(/.f64 (sin.f64 x) (cos.f64 x))
(neg.f64 (/.f64 (neg.f64 (sin.f64 x)) (cos.f64 x)))
(/.f64 (sin.f64 x) (cos.f64 x))

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 9/40 (pow.f64 x 2))

Compiler

Compiled 20 to 16 computations (20% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(*.f64 9/40 (pow.f64 x 2))
0.0ms	x	@	0	(*.f64 9/40 (pow.f64 x 2))
0.0ms	x	@	-inf	(*.f64 9/40 (pow.f64 x 2))

rewrite5.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

22×	`bool.json-1`
16×	`rational.json-simplify-2`
14×	`rational.json-1`
14×	`rational.json-2`
14×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	33	13
2	55	13
3	60	13

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(*.f64 9/40 (pow.f64 x 2))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 9/40 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 9/40 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 9/40 (pow.f64 x 2)) (*.f64 9/40 (pow.f64 x 2)))))))

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	11	38

Stop Event

1×

saturated

Counts

2 → 2

Calls

Call 1

Inputs
(+.f64 (*.f64 9/40 (pow.f64 x 2)) 0)
(+.f64 0 (*.f64 9/40 (pow.f64 x 2)))

Outputs
(+.f64 (*.f64 9/40 (pow.f64 x 2)) 0)
(+.f64 0 (*.f64 9/40 (pow.f64 x 2)))
(+.f64 (*.f64 9/40 (pow.f64 x 2)) 0)

localize49.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.4b	(-.f64 x (tan.f64 x))
✓	18.6b	(+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880))
✓	20.8b	(+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (*.f64 (pow.f64 x 7) 1/5040))
✓	23.1b	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 5) -1/120)) (-.f64 x (tan.f64 x)))

Compiler

Compiled 127 to 97 computations (23.6% saved)

series5.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 5) -1/120)) (-.f64 x (tan.f64 x)))
1.0ms	x	@	inf	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 5) -1/120)) (-.f64 x (tan.f64 x)))
1.0ms	x	@	-inf	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 5) -1/120)) (-.f64 x (tan.f64 x)))
1.0ms	x	@	inf	(+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880))
0.0ms	x	@	inf	(+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (*.f64 (pow.f64 x 7) 1/5040))

rewrite12.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

126×	`rational.json-simplify-1`
118×	`bool.json-1`
96×	`rational.json-1`
96×	`rational.json-2`
88×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	163
1	119	163
2	195	163
3	284	163
4	371	163
5	402	163

Stop Event

1×

saturated

Counts

3 → 13

Calls

Call 1

Inputs

(/.f64 (+.f64 (+.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880)) (*.f64 (pow.f64 x 7) 1/5040)) (*.f64 (pow.f64 x 5) -1/120)) (-.f64 x (tan.f64 x)))

(+.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880)) (*.f64 (pow.f64 x 7) 1/5040))

(+.f64 (*.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))) (/.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 7) 1/5040))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 7) 1/5040))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 7) 1/5040))) (+.f64 (*.f64 (pow.f64 x 3) 1/6) (+.f64 (*.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 7) 1/5040))))))))

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880)) (+.f64 (*.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880)))))))

simplify105.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

702×	`rational.json-simplify-31`
532×	`rational.json-simplify-2`
446×	`rational.json-simplify-1`
372×	`rational.json-simplify-27`
320×	`rational.json-simplify-29`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	109	2495
1	192	2495
2	299	2495
3	464	2495
4	713	2495
5	1027	2495
6	1453	2495
7	1832	2495
8	1913	2495
9	1960	2495
10	2031	2495
11	2059	2495
12	2106	2495
13	2299	2495
14	2334	2495
15	2335	2495

Stop Event

1×

saturated

Counts

49 → 52

Calls

Call 1

Inputs
-1/2
(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
(-.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) (.f64 -27/2800 (pow.f64 x 4))) 1/2)
(-.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (*.f64 27/112000 (pow.f64 x 6)))) 1/2)
(*.f64 -1/362880 (pow.f64 x 8))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (*.f64 -1/362880 (pow.f64 x 8)))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 (-.f64 1/5040 (*.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (pow.f64 x 6))))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (/.f64 (.f64 (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (.f64 (sin.f64 x) (pow.f64 x 5))) (cos.f64 x)) (.f64 (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (pow.f64 x 6)))))
(*.f64 -1/362880 (pow.f64 x 8))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (*.f64 -1/362880 (pow.f64 x 8)))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 (pow.f64 x 6) (+.f64 1/5040 (*.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))))))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (.f64 (pow.f64 x 6) (+.f64 1/5040 (.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))) (/.f64 (.f64 (sin.f64 x) (.f64 (+.f64 1/5040 (.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (pow.f64 x 5))) (cos.f64 x)))))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/5040 (pow.f64 x 7)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(*.f64 -1/362880 (pow.f64 x 9))
(+.f64 (.f64 1/5040 (pow.f64 x 7)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(*.f64 -1/362880 (pow.f64 x 9))
(+.f64 (.f64 1/5040 (pow.f64 x 7)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(*.f64 -1/362880 (pow.f64 x 9))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(*.f64 -1/362880 (pow.f64 x 9))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))) 0)
(+.f64 0 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))))
(-.f64 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))) 0)
(-.f64 0 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)))
(.f64 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))) 1)
(.f64 1 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))))
(.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)))
(.f64 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)) -1)
(neg.f64 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)))
(.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 7) 1/5040))) 1)
(.f64 1 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 7) 1/5040))))
(.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880)) 1)
(.f64 1 (+.f64 (.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880)))

Outputs
-1/2
(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
(+.f64 -1/2 (*.f64 9/40 (pow.f64 x 2)))
(+.f64 (*.f64 9/40 (pow.f64 x 2)) -1/2)
(-.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) (.f64 -27/2800 (pow.f64 x 4))) 1/2)
(+.f64 -1/2 (+.f64 (.f64 9/40 (pow.f64 x 2)) (.f64 -27/2800 (pow.f64 x 4))))
(+.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) -1/2) (.f64 -27/2800 (pow.f64 x 4)))
(+.f64 (.f64 9/40 (pow.f64 x 2)) (-.f64 -1/2 (.f64 (pow.f64 x 4) 27/2800)))
(-.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (*.f64 27/112000 (pow.f64 x 6)))) 1/2)
(+.f64 -1/2 (+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (*.f64 27/112000 (pow.f64 x 6)))))
(+.f64 (+.f64 (.f64 9/40 (pow.f64 x 2)) -1/2) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (*.f64 27/112000 (pow.f64 x 6))))
(+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (.f64 -27/2800 (pow.f64 x 4)) (+.f64 (*.f64 27/112000 (pow.f64 x 6)) -1/2)))
(+.f64 (.f64 9/40 (pow.f64 x 2)) (+.f64 (.f64 27/112000 (pow.f64 x 6)) (-.f64 -1/2 (*.f64 (pow.f64 x 4) 27/2800))))
(*.f64 -1/362880 (pow.f64 x 8))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (*.f64 -1/362880 (pow.f64 x 8)))
(+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 -1/362880 (/.f64 (*.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 (-.f64 1/5040 (*.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (pow.f64 x 6))))
(+.f64 (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x)))) (.f64 (pow.f64 x 6) (-.f64 1/5040 (*.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))))
(+.f64 (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x)))) (.f64 (pow.f64 x 6) (+.f64 1/5040 (*.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))))
(+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (.f64 (pow.f64 x 6) (-.f64 1/5040 (*.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))))))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (/.f64 (.f64 (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (.f64 (sin.f64 x) (pow.f64 x 5))) (cos.f64 x)) (.f64 (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (pow.f64 x 6)))))
(+.f64 (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x)))) (+.f64 (.f64 (pow.f64 x 6) (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))) (/.f64 (.f64 (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (.f64 (sin.f64 x) (pow.f64 x 5))) (cos.f64 x))))
(+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 (pow.f64 x 6) (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))) (/.f64 (.f64 (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (.f64 (sin.f64 x) (pow.f64 x 5))) (cos.f64 x)))))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 (pow.f64 x 6) (+.f64 1/5040 (.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))))) (/.f64 (.f64 (sin.f64 x) (.f64 (+.f64 1/5040 (.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (pow.f64 x 5))) (cos.f64 x))))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (.f64 (pow.f64 x 6) (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))) (/.f64 (.f64 (sin.f64 x) (.f64 (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (pow.f64 x 5))) (cos.f64 x)))))
(*.f64 -1/362880 (pow.f64 x 8))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (*.f64 -1/362880 (pow.f64 x 8)))
(+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 -1/362880 (/.f64 (*.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 (pow.f64 x 6) (+.f64 1/5040 (*.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))))))
(+.f64 (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x)))) (.f64 (pow.f64 x 6) (-.f64 1/5040 (*.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))))
(+.f64 (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x)))) (.f64 (pow.f64 x 6) (+.f64 1/5040 (*.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))))
(+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (.f64 (pow.f64 x 6) (-.f64 1/5040 (*.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))))))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (.f64 (pow.f64 x 6) (+.f64 1/5040 (.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))) (/.f64 (.f64 (sin.f64 x) (.f64 (+.f64 1/5040 (.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (pow.f64 x 5))) (cos.f64 x)))))
(+.f64 (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x)))) (+.f64 (.f64 (pow.f64 x 6) (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))) (/.f64 (.f64 (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (.f64 (sin.f64 x) (pow.f64 x 5))) (cos.f64 x))))
(+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 (pow.f64 x 6) (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))) (/.f64 (.f64 (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (.f64 (sin.f64 x) (pow.f64 x 5))) (cos.f64 x)))))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 (pow.f64 x 6) (+.f64 1/5040 (.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))))) (/.f64 (.f64 (sin.f64 x) (.f64 (+.f64 1/5040 (.f64 -1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (pow.f64 x 5))) (cos.f64 x))))
(+.f64 (.f64 -1/362880 (/.f64 (.f64 (sin.f64 x) (pow.f64 x 7)) (cos.f64 x))) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (.f64 (pow.f64 x 6) (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))) (/.f64 (.f64 (sin.f64 x) (.f64 (-.f64 1/5040 (.f64 1/362880 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (pow.f64 x 5))) (cos.f64 x)))))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 1/5040 (pow.f64 x 7)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 (pow.f64 x 7) 1/5040))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (*.f64 -1/362880 (pow.f64 x 9))))
(*.f64 -1/362880 (pow.f64 x 9))
(+.f64 (.f64 1/5040 (pow.f64 x 7)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 (pow.f64 x 7) 1/5040) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (*.f64 -1/362880 (pow.f64 x 9))))
(*.f64 -1/362880 (pow.f64 x 9))
(+.f64 (.f64 1/5040 (pow.f64 x 7)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 (pow.f64 x 7) 1/5040) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (*.f64 -1/362880 (pow.f64 x 9))))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (*.f64 -1/362880 (pow.f64 x 9))))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(*.f64 -1/362880 (pow.f64 x 9))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(*.f64 -1/362880 (pow.f64 x 9))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (.f64 -1/362880 (pow.f64 x 9)))
(+.f64 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))) 0)
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x)))
(+.f64 0 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))))
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x)))
(-.f64 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))) 0)
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x)))
(-.f64 0 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)))
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x)))
(.f64 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))) 1)
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x)))
(.f64 1 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x))))
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x)))
(.f64 -1 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)))
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x)))
(.f64 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (*.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)) -1)
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x)))
(neg.f64 (/.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 (tan.f64 x) x)))
(/.f64 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 -1/362880 (pow.f64 x 9)) (.f64 (pow.f64 x 5) -1/120)))) (-.f64 x (tan.f64 x)))
(.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 7) 1/5040))) 1)
(.f64 1 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (.f64 -1/362880 (pow.f64 x 9)))))
(.f64 1 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 9) -1/362880) (.f64 (pow.f64 x 7) 1/5040))))
(.f64 1 (+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (.f64 -1/362880 (pow.f64 x 9)))))
(.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880)) 1)
(.f64 1 (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 -1/362880 (pow.f64 x 9))))
(.f64 1 (+.f64 (.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 9) -1/362880)))
(.f64 1 (+.f64 (.f64 1/6 (pow.f64 x 3)) (*.f64 -1/362880 (pow.f64 x 9))))

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 x (sin.f64 x)) x)
	1.2b	(-.f64 x (sin.f64 x))

Compiler

Compiled 14 to 4 computations (71.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(/.f64 (-.f64 x (sin.f64 x)) x)
0.0ms	x	@	0	(/.f64 (-.f64 x (sin.f64 x)) x)
0.0ms	x	@	-inf	(/.f64 (-.f64 x (sin.f64 x)) x)

rewrite8.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

62×	`bool.json-1`
56×	`rational.json-1`
56×	`rational.json-2`
50×	`rational.json-simplify-2`
44×	`rational.json-simplify-27`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	38	17
2	91	17
3	154	17
4	199	17
5	248	17
6	253	17

Stop Event

1×

saturated

Counts

1 → 13

Calls

Call 1

Inputs
(/.f64 (-.f64 x (sin.f64 x)) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x (sin.f64 x)) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (/.f64 (sin.f64 x) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 x (sin.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (sin.f64 x) (neg.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x (sin.f64 x)) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 1 (/.f64 (sin.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (+.f64 -1 (/.f64 (sin.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (sin.f64 x) (neg.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (sin.f64 x)) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (-.f64 x (sin.f64 x)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 -1 (/.f64 (sin.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 -1 (/.f64 (sin.f64 x) x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 -1 (/.f64 (sin.f64 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (-.f64 x (sin.f64 x)) x) (/.f64 (-.f64 x (sin.f64 x)) x))))))

simplify21.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

78×	`rational.json-simplify-1`
64×	`rational.json-simplify-9`
56×	`rational.json-simplify-2`
46×	`rational.json-simplify-31`
46×	`rational.json-simplify-27`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	50	599
1	88	485
2	145	485
3	196	485
4	229	485
5	256	485
6	279	485
7	299	485
8	325	485
9	340	485
10	349	485
11	350	485

Stop Event

1×

saturated

Counts

25 → 23

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(+.f64 (.f64 -1/120 (pow.f64 x 4)) (.f64 1/6 (pow.f64 x 2)))
(+.f64 (.f64 -1/120 (pow.f64 x 4)) (+.f64 (.f64 1/6 (pow.f64 x 2)) (*.f64 1/5040 (pow.f64 x 6))))
(+.f64 (.f64 -1/120 (pow.f64 x 4)) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (.f64 1/6 (pow.f64 x 2)) (.f64 1/5040 (pow.f64 x 6)))))
1
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
1
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(+.f64 (/.f64 (-.f64 x (sin.f64 x)) x) 0)
(+.f64 1 (/.f64 (sin.f64 x) (neg.f64 x)))
(+.f64 0 (/.f64 (-.f64 x (sin.f64 x)) x))
(+.f64 (/.f64 (sin.f64 x) (neg.f64 x)) 1)
(-.f64 (/.f64 (-.f64 x (sin.f64 x)) x) 0)
(-.f64 1 (/.f64 (sin.f64 x) x))
(-.f64 0 (+.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 (/.f64 (sin.f64 x) (neg.f64 x)) -1)
(*.f64 (/.f64 (-.f64 x (sin.f64 x)) x) 1)
(*.f64 1 (/.f64 (-.f64 x (sin.f64 x)) x))
(*.f64 -1 (+.f64 -1 (/.f64 (sin.f64 x) x)))
(*.f64 (+.f64 -1 (/.f64 (sin.f64 x) x)) -1)
(neg.f64 (+.f64 -1 (/.f64 (sin.f64 x) x)))

Outputs
(*.f64 1/6 (pow.f64 x 2))
(+.f64 (.f64 -1/120 (pow.f64 x 4)) (.f64 1/6 (pow.f64 x 2)))
(+.f64 (.f64 1/6 (pow.f64 x 2)) (.f64 -1/120 (pow.f64 x 4)))
(+.f64 (.f64 -1/120 (pow.f64 x 4)) (+.f64 (.f64 1/6 (pow.f64 x 2)) (*.f64 1/5040 (pow.f64 x 6))))
(+.f64 (.f64 -1/120 (pow.f64 x 4)) (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (+.f64 (.f64 1/6 (pow.f64 x 2)) (.f64 1/5040 (pow.f64 x 6)))))
(+.f64 (.f64 -1/120 (pow.f64 x 4)) (+.f64 (+.f64 (.f64 -1/362880 (pow.f64 x 8)) (.f64 1/6 (pow.f64 x 2))) (.f64 1/5040 (pow.f64 x 6))))
(+.f64 (.f64 -1/120 (pow.f64 x 4)) (+.f64 (.f64 1/5040 (pow.f64 x 6)) (+.f64 (.f64 1/6 (pow.f64 x 2)) (.f64 -1/362880 (pow.f64 x 8)))))
(+.f64 (.f64 -1/120 (pow.f64 x 4)) (+.f64 (.f64 1/6 (pow.f64 x 2)) (+.f64 (.f64 1/5040 (pow.f64 x 6)) (.f64 -1/362880 (pow.f64 x 8)))))
1
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
1
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(+.f64 (/.f64 (-.f64 x (sin.f64 x)) x) 0)
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(+.f64 1 (/.f64 (sin.f64 x) (neg.f64 x)))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(+.f64 0 (/.f64 (-.f64 x (sin.f64 x)) x))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(+.f64 (/.f64 (sin.f64 x) (neg.f64 x)) 1)
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(-.f64 (/.f64 (-.f64 x (sin.f64 x)) x) 0)
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(-.f64 1 (/.f64 (sin.f64 x) x))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 0 (+.f64 -1 (/.f64 (sin.f64 x) x)))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(-.f64 (/.f64 (sin.f64 x) (neg.f64 x)) -1)
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(*.f64 (/.f64 (-.f64 x (sin.f64 x)) x) 1)
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(*.f64 1 (/.f64 (-.f64 x (sin.f64 x)) x))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(*.f64 -1 (+.f64 -1 (/.f64 (sin.f64 x) x)))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(*.f64 (+.f64 -1 (/.f64 (sin.f64 x) x)) -1)
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))
(neg.f64 (+.f64 -1 (/.f64 (sin.f64 x) x)))
(+.f64 1 (*.f64 -1 (/.f64 (sin.f64 x) x)))
(-.f64 1 (/.f64 (sin.f64 x) x))

eval90.0ms (1.1%)

Compiler: Compiled 6384 to 3658 computations (42.7% saved)

prune30.0ms (0.4%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	219	0	219
Fresh	0	2	2
Picked	0	1	1
Done	0	4	4
Total	219	7	226

Error

0.0b

Counts

226 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	35.7b	(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
✓	36.2b	(/.f64 (-.f64 x (sin.f64 x)) x)
✓	63.4b	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 5) -1/120)) (-.f64 x (tan.f64 x)))
✓	27.0b	(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
✓	36.3b	(+.f64 (+.f64 1 (/.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) x)) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2)))))
	36.7b	1
	27.4b	-1/2

Compiler

Compiled 92 to 61 computations (33.7% saved)

eval0.0ms (0%)

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

prune6.0ms (0.1%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	5	5
Total	7	7

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	35.7b	(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
✓	36.2b	(/.f64 (-.f64 x (sin.f64 x)) x)
✓	63.4b	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 5) -1/120)) (-.f64 x (tan.f64 x)))
✓	27.0b	(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
✓	36.3b	(+.f64 (+.f64 1 (/.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) x)) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2)))))
	36.7b	1
	27.4b	-1/2

Compiler

Compiled 92 to 61 computations (33.7% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	5	5
Total	7	7

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	35.7b	(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
✓	36.2b	(/.f64 (-.f64 x (sin.f64 x)) x)
✓	63.4b	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 5) -1/120)) (-.f64 x (tan.f64 x)))
✓	27.0b	(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
✓	36.3b	(+.f64 (+.f64 1 (/.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) x)) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2)))))
	36.7b	1
	27.4b	-1/2

Compiler

Compiled 92 to 61 computations (33.7% saved)

regimes131.0ms (1.6%)

Counts

7 → 3

Calls

Call 1

Inputs
-1/2
1
(/.f64 (-.f64 x (sin.f64 x)) x)
(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(/.f64 (+.f64 (+.f64 (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 9) -1/362880)) (.f64 (pow.f64 x 7) 1/5040)) (.f64 (pow.f64 x 5) -1/120)) (-.f64 x (tan.f64 x)))
(+.f64 (+.f64 1 (/.f64 (-.f64 (/.f64 (sin.f64 x) (cos.f64 x)) (sin.f64 x)) x)) (.f64 -1 (/.f64 (.f64 (sin.f64 x) (-.f64 (sin.f64 x) (/.f64 (sin.f64 x) (cos.f64 x)))) (*.f64 (cos.f64 x) (pow.f64 x 2)))))

Outputs
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))

Calls

2 calls:

125.0ms	x
4.0ms	(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))

Results

Error	Segments	Branch
0.0b	3	`x`
0.4b	2	`(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))`

Compiler

Compiled 98 to 57 computations (41.8% saved)

bsearch48.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
21.0ms	2.4177525331471026e-6	0.10591689381410355
26.0ms	-228430279.24467233	-1.28344470316887e-5

Results

44.0ms

288×

body

256

valid

Compiler

Compiled 374 to 279 computations (25.4% saved)

regimes12.0ms (0.1%)

Counts

4 → 3

Calls

Call 1

Inputs
-1/2
1
(/.f64 (-.f64 x (sin.f64 x)) x)
(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)

Outputs
1
(-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2)
1

Calls

1 calls:

11.0ms

Results

Error	Segments	Branch
0.9b	3	`x`

Compiler

Compiled 18 to 13 computations (27.8% saved)

bsearch51.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
23.0ms	0.10591689381410355	15472.668863869301
27.0ms	-228430279.24467233	-1.28344470316887e-5

Results

47.0ms

304×

body

256

valid

Compiler

Compiled 242 to 218 computations (9.9% saved)

regimes11.0ms (0.1%)

Accuracy

Total -61.9b remaining (-5494%)

Threshold costs -61.9b (-5494%)

Counts

3 → 3

Calls

Call 1

Inputs
-1/2
1
(/.f64 (-.f64 x (sin.f64 x)) x)

Outputs
1
-1/2
1

Calls

1 calls:

9.0ms

Results

Error	Segments	Branch
1.1b	3	`x`

Compiler

Compiled 11 to 7 computations (36.4% saved)

bsearch51.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
24.0ms	0.10591689381410355	15472.668863869301
27.0ms	-228430279.24467233	-1.28344470316887e-5

Results

48.0ms

304×

body

256

valid

Compiler

Compiled 128 to 123 computations (3.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	152

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 x -1498797955988901/288230376151711744) (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) (if (<=.f64 x 5764607523034235/1152921504606846976) (-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2) (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))))
(if (<=.f64 x -5854679515581645/2251799813685248) 1 (if (<=.f64 x 9/2) (-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2) 1))
(if (<=.f64 x -8782019273372467/1125899906842624) 1 (if (<=.f64 x 3512807709348987/2251799813685248) -1/2 1))
-1/2

Outputs
(if (<=.f64 x -1498797955988901/288230376151711744) (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x))) (if (<=.f64 x 5764607523034235/1152921504606846976) (-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2) (/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))))
(if (<=.f64 x -5854679515581645/2251799813685248) 1 (if (<=.f64 x 9/2) (-.f64 (*.f64 9/40 (pow.f64 x 2)) 1/2) 1))
(if (<=.f64 x -8782019273372467/1125899906842624) 1 (if (<=.f64 x 3512807709348987/2251799813685248) -1/2 1))
-1/2

Compiler

Compiled 66 to 45 computations (31.8% saved)

soundness0.0ms (0%)

end39.0ms (0.5%)

Compiler: Compiled 63 to 42 computations (33.3% saved)

Iter	Nodes	Cost
0	50	599
1	88	485
2	145	485
3	196	485
4	229	485
5	256	485
6	279	485
7	299	485
8	325	485
9	340	485
10	349	485
11	350	485

Iter	Nodes	Cost
0	50	599
1	88	485
2	145	485
3	196	485
4	229	485
5	256	485
6	279	485
7	299	485
8	325	485
9	340	485
10	349	485
11	350	485

Details

analyze474.0ms (5.7%)

sample6.8s (81.6%)

preprocess8.0ms (0.1%)

simplify7.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize11.0ms (0.1%)

series3.0ms (0%)

rewrite9.0ms (0.1%)

simplify199.0ms (2.4%)

eval31.0ms (0.4%)

prune16.0ms (0.2%)

localize32.0ms (0.4%)

series5.0ms (0.1%)

rewrite11.0ms (0.1%)

simplify26.0ms (0.3%)

localize8.0ms (0.1%)

series1.0ms (0%)

rewrite5.0ms (0.1%)

simplify4.0ms (0.1%)

localize49.0ms (0.6%)

series5.0ms (0.1%)

rewrite12.0ms (0.1%)

simplify105.0ms (1.3%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite8.0ms (0.1%)

simplify21.0ms (0.2%)

eval90.0ms (1.1%)

prune30.0ms (0.4%)

eval0.0ms (0%)

prune6.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes131.0ms (1.6%)

bsearch48.0ms (0.6%)

regimes12.0ms (0.1%)

bsearch51.0ms (0.6%)

regimes11.0ms (0.1%)

bsearch51.0ms (0.6%)

simplify3.0ms (0%)

soundness0.0ms (0%)

end39.0ms (0.5%)

Profiling

Iter	Nodes	Cost
0	50	599
1	88	485
2	145	485
3	196	485
4	229	485
5	256	485
6	279	485
7	299	485
8	325	485
9	340	485
10	349	485
11	350	485