Details

analyze792.0ms (12.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

Compiler

Compiled 17 to 9 computations (47.1% saved)

sample40.0ms (0.6%)

Algorithm

1×

intervals

Results

16.0ms	71×	body	1024	valid
9.0ms	138×	body	128	valid
6.0ms	33×	body	512	valid
2.0ms	14×	body	256	valid

Compiler

Compiled 34 to 18 computations (47.1% saved)

simplify105.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

676×	`sub-neg_binary64`
627×	`times-frac_binary64`
614×	`unsub-neg_binary64`
570×	`div-sub_binary64`
462×	`neg-sub0_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	24
1	19	24
2	29	24
3	43	24
4	87	24
5	117	24
6	175	24
7	376	24
8	788	24
9	1321	24
10	2683	24
11	3470	24
12	4204	24
13	4847	24
14	4853	24

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.4b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.4b	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))

Compiler

Compiled 32 to 16 computations (50% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.2b	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
0.3b	(*.f64 (tan.f64 x) (tan.f64 x))

rewrite157.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

31×	`add-sqr-sqrt_binary64`
27×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
18×	`pow1_binary64`
15×	`times-frac_binary64`

Counts

4 → 110

Calls

4 calls:

5.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
4.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
4.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
2.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))

Compiler

Compiled 2444 to 939 computations (61.6% saved)

series73.0ms (1.1%)

Error

0.3b

Counts

4 → 24

Calls

4 calls:

25.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
12.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
11.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
11.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 921 to 676 computations (26.6% saved)

simplify152.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

583×	`cancel-sign-sub-inv_binary64`
292×	`associate-l_binary64`
243×	`associate-r_binary64`
212×	`unswap-sqr_binary64`
191×	`exp-prod_binary64`

Counts

134 → 111

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	149	2734
1	341	2455
2	890	2433
3	2844	2419
4	4740	2165
5	4982	2165
6	4906	2165

prune115.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	100	11	111
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	11	112

Error

0.1b

Counts

112 → 11

Alt Table

Status	Error	Program
	0.8b	(/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 2)) (cbrt.f64 (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))))
	0.5b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (+.f64 1 (pow.f64 (tan.f64 x) 2))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.4b	(-.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
	0.4b	(/.f64 (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) 1))
	0.9b	(.f64 (/.f64 (+.f64 1 (tan.f64 x)) (.f64 (cbrt.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2))))) (/.f64 (-.f64 1 (tan.f64 x)) (cbrt.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2)))))
	0.8b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (.f64 (cbrt.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (+.f64 1 (pow.f64 (tan.f64 x) 2))))) (cbrt.f64 (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x)))))
	0.6b	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (*.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 2)) (cbrt.f64 (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (pow.f64 (tan.f64 x) 2)))))
	0.5b	(.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2))) 3))
▶	0.4b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2))))

Compiler

Compiled 2269 to 1425 computations (37.2% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))
0.2b	(-.f64 1 (tan.f64 x))
0.3b	(pow.f64 (tan.f64 x) 2)
0.3b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2))))

rewrite239.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

89×	`*-un-lft-identity_binary64`
66×	`add-sqr-sqrt_binary64`
49×	`times-frac_binary64`
31×	`add-cube-cbrt_binary64`
30×	`associate-r_binary64`

Counts

4 → 140

Calls

4 calls:

16.0ms	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
8.0ms	(/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))
3.0ms	(-.f64 1 (tan.f64 x))
2.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 3157 to 2075 computations (34.3% saved)

series93.0ms (1.5%)

Error

0.1b

Counts

4 → 24

Calls

4 calls:

26.0ms	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
20.0ms	(/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))
12.0ms	(pow.f64 (tan.f64 x) 2)
9.0ms	(-.f64 1 (tan.f64 x))

Compiler

Compiled 1000 to 726 computations (27.4% saved)

simplify164.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

593×	`distribute-rgt-in_binary64`
525×	`distribute-lft-in_binary64`
331×	`associate-/l*_binary64`
320×	`times-frac_binary64`
159×	`cancel-sign-sub-inv_binary64`

Counts

164 → 86

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	222	3820
1	566	3542
2	1748	3533
3	4632	3533
4	4992	3533
5	4938	3533

prune91.0ms (1.4%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	82	4	86
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	85	12	97

Error

0.1b

Counts

97 → 12

Alt Table

Status	Error	Program
	0.8b	(/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 2)) (cbrt.f64 (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))))
	33.9b	(.f64 (+.f64 1 (tan.f64 x)) (.f64 (+.f64 1 (sqrt.f64 (tan.f64 x))) (/.f64 (-.f64 1 (sqrt.f64 (tan.f64 x))) (+.f64 1 (pow.f64 (tan.f64 x) 2)))))
▶	0.4b	(-.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
	0.4b	(/.f64 (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (+.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) 1))
	0.5b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (cbrt.f64 (pow.f64 (-.f64 1 (tan.f64 x)) 3)) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
	0.5b	(.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	0.8b	(.f64 (.f64 (cbrt.f64 (+.f64 1 (tan.f64 x))) (cbrt.f64 (+.f64 1 (tan.f64 x)))) (*.f64 (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (+.f64 1 (tan.f64 x)))))
	0.5b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2))) 3))
✓	0.4b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
	0.7b	(.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (.f64 (pow.f64 (cbrt.f64 (tan.f64 x)) 4) (pow.f64 (cbrt.f64 (tan.f64 x)) 2)))))
	0.6b	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (*.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 2)) (cbrt.f64 (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (pow.f64 (tan.f64 x) 2)))))

Compiler

Compiled 1800 to 1200 computations (33.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (tan.f64 x) 2)
0.3b	(pow.f64 (tan.f64 x) 2)
0.3b	(pow.f64 (tan.f64 x) 2)
0.3b	(-.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 1 (pow.f64 (tan.f64 x) 2))))

rewrite284.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

81×	`*-un-lft-identity_binary64`
70×	`add-sqr-sqrt_binary64`
68×	`times-frac_binary64`
38×	`cancel-sign-sub-inv_binary64`
29×	`add-cube-cbrt_binary64`

Counts

4 → 134

Calls

4 calls:

33.0ms	(-.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
2.0ms	(pow.f64 (tan.f64 x) 2)
2.0ms	(pow.f64 (tan.f64 x) 2)
2.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 3799 to 2717 computations (28.5% saved)

series106.0ms (1.7%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

37.0ms	(-.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
13.0ms	(pow.f64 (tan.f64 x) 2)
12.0ms	(pow.f64 (tan.f64 x) 2)
11.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 1335 to 1046 computations (21.6% saved)

simplify162.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

514×	`associate-/l*_binary64`
415×	`times-frac_binary64`
413×	`associate-*l/_binary64`
276×	`exp-prod_binary64`
254×	`div-sub_binary64`

Counts

158 → 124

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	233	3816
1	580	3488
2	1571	3324
3	4220	3318
4	4554	3318
5	4870	3318

prune96.0ms (1.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	3	7	10
Picked	0	1	1
Done	0	1	1
Total	125	11	136

Error

0.0b

Counts

136 → 11

Alt Table

Status	Error	Program
	0.8b	(/.f64 (-.f64 1 (.f64 (.f64 (cbrt.f64 (pow.f64 (tan.f64 x) 2)) (cbrt.f64 (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (pow.f64 (tan.f64 x) 2)))) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
	0.5b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))))
	33.9b	(.f64 (+.f64 1 (tan.f64 x)) (.f64 (+.f64 1 (sqrt.f64 (tan.f64 x))) (/.f64 (-.f64 1 (sqrt.f64 (tan.f64 x))) (+.f64 1 (pow.f64 (tan.f64 x) 2)))))
✓	0.4b	(-.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
	0.5b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (cbrt.f64 (pow.f64 (-.f64 1 (tan.f64 x)) 3)) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
	16.2b	(exp.f64 (log.f64 (*.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (-.f64 1 (pow.f64 (tan.f64 x) 2)))))
	0.5b	(.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	0.8b	(.f64 (.f64 (cbrt.f64 (+.f64 1 (tan.f64 x))) (cbrt.f64 (+.f64 1 (tan.f64 x)))) (*.f64 (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (+.f64 1 (tan.f64 x)))))
	0.5b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2))) 3))
✓	0.4b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
▶	0.4b	(-.f64 (/.f64 1 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 (cos.f64 x) 2) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))))

Compiler

Compiled 1919 to 1368 computations (28.7% saved)

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (cos.f64 x) 2)
0.3b	(pow.f64 (cos.f64 x) 2)
0.3b	(pow.f64 (cos.f64 x) 2)
0.3b	(-.f64 (/.f64 1 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 (cos.f64 x) 2) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))))

rewrite250.0ms (3.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-sqr-sqrt_binary64`
17×	`*-un-lft-identity_binary64`
14×	`cancel-sign-sub-inv_binary64`
13×	`add-cube-cbrt_binary64`
12×	`unpow-prod-down_binary64`

Counts

4 → 87

Calls

4 calls:

31.0ms	(-.f64 (/.f64 1 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 (cos.f64 x) 2) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))))
2.0ms	(pow.f64 (cos.f64 x) 2)
2.0ms	(pow.f64 (cos.f64 x) 2)
2.0ms	(pow.f64 (cos.f64 x) 2)

Compiler

Compiled 3955 to 2641 computations (33.2% saved)

series98.0ms (1.5%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

44.0ms	(-.f64 (/.f64 1 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 (cos.f64 x) 2) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))))
11.0ms	(pow.f64 (cos.f64 x) 2)
9.0ms	(pow.f64 (cos.f64 x) 2)
9.0ms	(pow.f64 (cos.f64 x) 2)

Compiler

Compiled 1691 to 1245 computations (26.4% saved)

simplify114.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

559×	`associate-*l/_binary64`
545×	`associate-/r*_binary64`
515×	`associate-/l*_binary64`
161×	`exp-prod_binary64`
153×	`distribute-rgt-in_binary64`

Counts

111 → 75

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	172	3214
1	445	2946
2	1314	2632
3	4852	2625
4	5024	2625

prune103.0ms (1.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	71	4	75
Fresh	1	7	8
Picked	1	0	1
Done	0	2	2
Total	73	13	86

Error

0.0b

Counts

86 → 13

Alt Table

Status	Error	Program
	0.8b	(.f64 (.f64 (cbrt.f64 (+.f64 1 (tan.f64 x))) (cbrt.f64 (+.f64 1 (tan.f64 x)))) (*.f64 (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2))) (cbrt.f64 (+.f64 1 (tan.f64 x)))))
	0.6b	(.f64 (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (-.f64 (/.f64 1 (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 4) (pow.f64 (cos.f64 x) 4)))) (/.f64 (pow.f64 (sin.f64 x) 2) (.f64 (pow.f64 (cos.f64 x) 2) (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 4) (pow.f64 (cos.f64 x) 4)))))))
	33.9b	(.f64 (+.f64 1 (tan.f64 x)) (.f64 (+.f64 1 (sqrt.f64 (tan.f64 x))) (/.f64 (-.f64 1 (sqrt.f64 (tan.f64 x))) (+.f64 1 (pow.f64 (tan.f64 x) 2)))))
	0.4b	(-.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (/.f64 (pow.f64 (tan.f64 x) 2) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
	0.5b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (cbrt.f64 (pow.f64 (-.f64 1 (tan.f64 x)) 3)) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
	16.2b	(exp.f64 (log.f64 (*.f64 (/.f64 1 (+.f64 1 (pow.f64 (tan.f64 x) 2))) (-.f64 1 (pow.f64 (tan.f64 x) 2)))))
	0.5b	(.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
	0.4b	(.f64 1 (.f64 (/.f64 1 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (-.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))))
	0.7b	(.f64 (+.f64 (.f64 1 1) (-.f64 (.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))) (-.f64 (/.f64 1 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 6) (pow.f64 (cos.f64 x) 6)))) (/.f64 (pow.f64 (sin.f64 x) 2) (*.f64 (pow.f64 (cos.f64 x) 2) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 6) (pow.f64 (cos.f64 x) 6)))))))
	0.5b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2))) 3))
	0.5b	(log.f64 (exp.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (pow.f64 (tan.f64 x) 2)))))
	0.4b	(*.f64 (+.f64 1 (tan.f64 x)) (/.f64 (-.f64 1 (tan.f64 x)) (+.f64 1 (pow.f64 (tan.f64 x) 2))))
	0.6b	(/.f64 (-.f64 (pow.f64 (/.f64 1 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) 3) (pow.f64 (/.f64 (pow.f64 (sin.f64 x) 2) (.f64 (pow.f64 (cos.f64 x) 2) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))))) 3)) (+.f64 (/.f64 (/.f64 1 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))) (.f64 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (/.f64 (pow.f64 (sin.f64 x) 2) (.f64 (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2))) (.f64 (pow.f64 (cos.f64 x) 2) (+.f64 1 (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (cos.f64 x) 2)))))))))

Compiler

Compiled 2357 to 1595 computations (32.3% saved)

regimes1.6s (25.5%)

Accuracy

Total 0.3b remaining (80.9%)

Threshold costs 0.3b (80.9%)

Compiler

Compiled 38845 to 25905 computations (33.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	18	25
2	22	25
3	24	25
4	25	25
5	24	25

end1.0ms (0%)

Compiler: Compiled 17 to 12 computations (29.4% saved)

sample1.4s (22.8%)

Algorithm

1×

intervals

Results

460.0ms	2016×	body	1024	valid
255.0ms	4467×	body	128	valid
165.0ms	988×	body	512	valid
61.0ms	523×	body	256	valid
2.0ms	6×	body	2048	valid

Compiler

Compiled 480 to 343 computations (28.5% saved)

Details

analyze792.0ms (12.5%)

sample40.0ms (0.6%)

simplify105.0ms (1.6%)

prune1.0ms (0%)

localize7.0ms (0.1%)

rewrite157.0ms (2.5%)

series73.0ms (1.1%)

simplify152.0ms (2.4%)

prune115.0ms (1.8%)

localize10.0ms (0.2%)

rewrite239.0ms (3.8%)

series93.0ms (1.5%)

simplify164.0ms (2.6%)

prune91.0ms (1.4%)

localize9.0ms (0.1%)

rewrite284.0ms (4.5%)

series106.0ms (1.7%)

simplify162.0ms (2.6%)

prune96.0ms (1.5%)

localize16.0ms (0.3%)

rewrite250.0ms (3.9%)

series98.0ms (1.5%)

simplify114.0ms (1.8%)

prune103.0ms (1.6%)

regimes1.6s (25.5%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample1.4s (22.8%)

Profiling