Details

analyze486.0ms (0.8%)

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 16 to 9 computations (43.8% saved)

sample30.0ms (0%)

Algorithm

1×

intervals

Results

12.0ms	75×	body	1024	valid
6.0ms	138×	body	128	valid
3.0ms	28×	body	512	valid
1.0ms	15×	body	256	valid

Compiler

Compiled 31 to 18 computations (41.9% saved)

simplify200.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (104.0ms)

Iter	Nodes	Cost
0	4853	24
1	4853	24

prune2.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

0.4b

Counts

2 → 1

Compiler

Compiled 15 to 8 computations (46.7% saved)

localize7.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
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.1b	(+.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.2b	(-.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))

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_100`
27×	`*-un-lft-identity_binary64_78`
22×	`add-cube-cbrt_binary64_113`
18×	`pow1_binary64_139`
15×	`times-frac_binary64_84`
10×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116` `difference-of-squares_binary64_47`
8×	`tan-quot_binary64_237`
6×	`associate-l_binary64_19` `add-log-exp_binary64_117` `swap-sqr_binary64_45` `associate-r_binary64_18`
5×	`associate-/l*_binary64_23`
3×	`associate-/r*_binary64_22`
2×	`pow2_binary64_159` `-commutative_binary64_9` `pow-sqr_binary64_51` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `flip3--_binary64_82` `frac-times_binary64_88` `flip--_binary64_53` `pow-prod-up_binary64_148` `associate-l/_binary64_21` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `associate-/r/_binary64_24` `associate-*r/_binary64_20` `pow-plus_binary64_141` `associate-/l/_binary64_25`
1×	`cbrt-undiv_binary64_112` `div-exp_binary64_129` `flip-+_binary64_52` `diff-log_binary64_170` `frac-2neg_binary64_89` `div-inv_binary64_75` `clear-num_binary64_77` `cancel-sign-sub-inv_binary64_44` `div-sub_binary64_83` `sub-neg_binary64_71` `flip3-+_binary64_81`

Counts

4 → 110

Calls

8 calls:

7.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
3.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.0ms	(+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))

series365.0ms (0.6%)

Counts

4 → 14

Calls

4 calls:

196.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
63.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
56.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
49.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 446 to 355 computations (20.4% saved)

simplify83.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4929	1953
1	4929	1953

prune721.0ms (1.1%)

Pruning

69 alts after pruning (68 fresh and 1 done)

	Pruned	Kept	Total
New	56	68	124
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	56	69	125

Error

0.1b

Counts

125 → 69

Compiler

Compiled 3207 to 2077 computations (35.2% saved)

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite33.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`
13×	`add-cube-cbrt_binary64_113` `pow1_binary64_139`
9×	`associate-r_binary64_18` `cancel-sign-sub-inv_binary64_44`
8×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `add-exp-log_binary64_116`
7×	`associate-l_binary64_19`
5×	`frac-times_binary64_88`
4×	`tan-quot_binary64_237` `distribute-lft-in_binary64_27` `flip-+_binary64_52` `flip3--_binary64_82` `distribute-rgt-in_binary64_28` `flip--_binary64_53` `difference-of-squares_binary64_47` `flip3-+_binary64_81`
3×	`swap-sqr_binary64_45` `associate-l/_binary64_21` `associate-r/_binary64_20` `sub-neg_binary64_71`
2×	`*-commutative_binary64_9` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `distribute-lft-out--_binary64_30` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `distribute-lft-out_binary64_29`
1×	`+-commutative_binary64_8` `pow2_binary64_159` `pow-sqr_binary64_51` `diff-log_binary64_170` `pow-prod-up_binary64_148` `pow-plus_binary64_141` `sum-log_binary64_169`

Counts

4 → 95

Calls

8 calls:

11.0ms	(*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x)))
6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
4.0ms	(+.f64 (tan.f64 x) 1)
4.0ms	(-.f64 1 (tan.f64 x))
0.0ms	(+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))

series208.0ms (0.3%)

Counts

4 → 15

Calls

4 calls:

84.0ms	(*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x)))
53.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
37.0ms	(-.f64 1 (tan.f64 x))
35.0ms	(+.f64 (tan.f64 x) 1)

Compiler

Compiled 517 to 371 computations (28.2% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5584	1328

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
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 (pow.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)))
0.1b	(+.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 x)) 1))
0.2b	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (pow.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)))
0.2b	(-.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))

rewrite35.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`*-un-lft-identity_binary64_78`
33×	`add-sqr-sqrt_binary64_100`
23×	`add-cube-cbrt_binary64_113`
20×	`times-frac_binary64_84`
18×	`pow1_binary64_139`
12×	`difference-of-squares_binary64_47`
10×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
8×	`tan-quot_binary64_237`
6×	`associate-l_binary64_19` `add-log-exp_binary64_117` `swap-sqr_binary64_45` `associate-r_binary64_18` `distribute-lft-out_binary64_29`
5×	`associate-/l*_binary64_23`
4×	`associate-/r*_binary64_22`
2×	`pow2_binary64_159` `-commutative_binary64_9` `pow-sqr_binary64_51` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `flip3--_binary64_82` `frac-times_binary64_88` `flip--_binary64_53` `pow-prod-up_binary64_148` `associate-l/_binary64_21` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `associate-/r/_binary64_24` `associate-*r/_binary64_20` `pow-plus_binary64_141` `associate-/l/_binary64_25`
1×	`cbrt-undiv_binary64_112` `div-exp_binary64_129` `flip-+_binary64_52` `diff-log_binary64_170` `frac-2neg_binary64_89` `div-inv_binary64_75` `clear-num_binary64_77` `cancel-sign-sub-inv_binary64_44` `div-sub_binary64_83` `sub-neg_binary64_71` `flip3-+_binary64_81`

Counts

4 → 116

Calls

8 calls:

11.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (pow.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)))
6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
3.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.0ms	(+.f64 1 (pow.f64 (*.f64 (tan.f64 x) (tan.f64 x)) 1))

series352.0ms (0.6%)

Counts

4 → 14

Calls

4 calls:

194.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (pow.f64 (.f64 (tan.f64 x) (tan.f64 x)) 1)))
64.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
49.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
45.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 484 to 393 computations (18.8% saved)

simplify107.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4923	2108
1	4923	2108

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.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.2b	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.2b	(-.f64 1 (pow.f64 (tan.f64 x) 2))
0.1b	(-.f64 1 (pow.f64 (tan.f64 x) 4))
0.2b	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4)))
0.3b	(pow.f64 (tan.f64 x) 2)
0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
0.5b	(pow.f64 (tan.f64 x) 4)

rewrite58.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

217×	`add-sqr-sqrt_binary64_100`
167×	`*-un-lft-identity_binary64_78`
166×	`difference-of-squares_binary64_47`
120×	`times-frac_binary64_84`
54×	`unpow-prod-down_binary64_157`
50×	`sqr-pow_binary64_50`
36×	`add-cube-cbrt_binary64_113`
24×	`distribute-lft-out--_binary64_30`
23×	`unpow2_binary64_143`
13×	`pow1_binary64_139`
12×	`associate-/l*_binary64_23`
10×	`associate-/r*_binary64_22` `add-exp-log_binary64_116`
8×	`add-cbrt-cube_binary64_114`
6×	`pow-unpow_binary64_155`
4×	`tan-quot_binary64_237` `add-log-exp_binary64_117`
3×	`associate-l_binary64_19` `swap-sqr_binary64_45` `associate-r_binary64_18`
2×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `flip3--_binary64_82` `pow-pow_binary64_150` `flip--_binary64_53` `associate-/r/_binary64_24` `associate-/l/_binary64_25`
1×	`pow2_binary64_159` `-commutative_binary64_9` `pow-sqr_binary64_51` `cbrt-unprod_binary64_111` `cbrt-undiv_binary64_112` `prod-exp_binary64_127` `div-exp_binary64_129` `frac-2neg_binary64_89` `div-inv_binary64_75` `frac-times_binary64_88` `pow-prod-up_binary64_148` `associate-l/_binary64_21` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `associate-*r/_binary64_20` `clear-num_binary64_77` `div-sub_binary64_83` `pow-plus_binary64_141`

Counts

4 → 222

Calls

8 calls:

19.0ms	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4)))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
3.0ms	(pow.f64 (tan.f64 x) 4)
3.0ms	(pow.f64 (tan.f64 x) 2)
0.0ms	(-.f64 1 (pow.f64 (tan.f64 x) 4))

series407.0ms (0.6%)

Counts

4 → 12

Calls

4 calls:

233.0ms	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4)))
71.0ms	(pow.f64 (tan.f64 x) 4)
53.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
49.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 590 to 460 computations (22% saved)

simplify113.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

234 → 234

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5684	5816

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(.f64 (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 4))
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 (*.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 4))))
0.1b	(+.f64 1 (.f64 (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 4)))
0.6b	(cbrt.f64 (tan.f64 x))
0.6b	(cbrt.f64 (tan.f64 x))
0.6b	(cbrt.f64 (tan.f64 x))
0.8b	(pow.f64 (cbrt.f64 (tan.f64 x)) 4)

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_109`
10×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
6×	`unpow-prod-down_binary64_157`
5×	`add-exp-log_binary64_116` `pow1_binary64_139`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `pow1/3_binary64_160`
3×	`tan-quot_binary64_237` `cbrt-div_binary64_110` `pow-unpow_binary64_155`
2×	`pow-pow_binary64_150`
1×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `sqr-pow_binary64_50`

Counts

4 → 57

Calls

8 calls:

4.0ms	(pow.f64 (cbrt.f64 (tan.f64 x)) 4)
2.0ms	(cbrt.f64 (tan.f64 x))
2.0ms	(cbrt.f64 (tan.f64 x))
2.0ms	(cbrt.f64 (tan.f64 x))
0.0ms	(+.f64 1 (.f64 (.f64 (cbrt.f64 (tan.f64 x)) (cbrt.f64 (tan.f64 x))) (pow.f64 (cbrt.f64 (tan.f64 x)) 4)))

series503.0ms (0.8%)

Counts

4 → 12

Calls

4 calls:

174.0ms	(pow.f64 (cbrt.f64 (tan.f64 x)) 4)
114.0ms	(cbrt.f64 (tan.f64 x))
112.0ms	(cbrt.f64 (tan.f64 x))
103.0ms	(cbrt.f64 (tan.f64 x))

Compiler

Compiled 656 to 444 computations (32.3% saved)

simplify108.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4964	632
1	4964	632

prune5.0s (7.9%)

Pruning

270 alts after pruning (264 fresh and 6 done)

	Pruned	Kept	Total
New	340	203	543
Fresh	2	61	63
Picked	0	0	0
Done	0	6	6
Total	342	270	612

Error

0.0b

Counts

612 → 270

Compiler

Compiled 14472 to 9039 computations (37.5% saved)

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite29.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64_78`
19×	`add-sqr-sqrt_binary64_100`
11×	`add-cube-cbrt_binary64_113`
9×	`cancel-sign-sub-inv_binary64_44`
8×	`add-log-exp_binary64_117`
7×	`add-exp-log_binary64_116` `pow1_binary64_139`
6×	`add-cbrt-cube_binary64_114` `associate-r_binary64_18`
4×	`distribute-lft-in_binary64_27` `associate-l_binary64_19` `flip-+_binary64_52` `flip3--_binary64_82` `distribute-rgt-in_binary64_28` `frac-times_binary64_88` `flip--_binary64_53` `difference-of-squares_binary64_47` `flip3-+_binary64_81`
3×	`unpow-prod-down_binary64_157` `pow-unpow_binary64_155` `sub-neg_binary64_71`
2×	`distribute-lft-out--_binary64_30` `associate-l/_binary64_21` `associate-r/_binary64_20` `distribute-lft-out_binary64_29`
1×	`+-commutative_binary64_8` `*-commutative_binary64_9` `pow-exp_binary64_146` `pow-to-exp_binary64_147` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `unpow2_binary64_143` `diff-log_binary64_170` `sqr-pow_binary64_50` `pow-pow_binary64_150` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `sum-log_binary64_169`

Counts

4 → 85

Calls

8 calls:

11.0ms	(*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x)))
4.0ms	(+.f64 (tan.f64 x) 1)
4.0ms	(-.f64 1 (tan.f64 x))
3.0ms	(pow.f64 (tan.f64 x) 2)
0.0ms	(+.f64 1 (pow.f64 (tan.f64 x) 2))

series197.0ms (0.3%)

Counts

4 → 15

Calls

4 calls:

82.0ms	(*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x)))
48.0ms	(pow.f64 (tan.f64 x) 2)
36.0ms	(-.f64 1 (tan.f64 x))
32.0ms	(+.f64 (tan.f64 x) 1)

Compiler

Compiled 496 to 392 computations (21% saved)

simplify81.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5232	1287

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_100` `pow1_binary64_139`
7×	`*-un-lft-identity_binary64_78`
6×	`add-cube-cbrt_binary64_113`
4×	`tan-quot_binary64_237` `add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `add-exp-log_binary64_116`
3×	`associate-l_binary64_19` `swap-sqr_binary64_45` `associate-r_binary64_18`
2×	`difference-of-squares_binary64_47`
1×	`pow2_binary64_159` `-commutative_binary64_9` `pow-sqr_binary64_51` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `flip3--_binary64_82` `diff-log_binary64_170` `frac-times_binary64_88` `flip--_binary64_53` `pow-prod-up_binary64_148` `associate-l/_binary64_21` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `associate-*r/_binary64_20` `cancel-sign-sub-inv_binary64_44` `pow-plus_binary64_141` `sub-neg_binary64_71`

Counts

2 → 42

Calls

4 calls:

5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
3.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

series104.0ms (0.2%)

Counts

2 → 7

Calls

2 calls:

57.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
47.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 147 to 138 computations (6.1% saved)

simplify48.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5216	435

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite39.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`*-un-lft-identity_binary64_78`
65×	`add-sqr-sqrt_binary64_100`
40×	`times-frac_binary64_84`
30×	`difference-of-squares_binary64_47`
28×	`add-cube-cbrt_binary64_113`
16×	`unpow-prod-down_binary64_157`
13×	`pow1_binary64_139`
12×	`sqr-pow_binary64_50`
11×	`distribute-lft-out_binary64_29`
10×	`associate-/l*_binary64_23` `add-exp-log_binary64_116`
8×	`add-cbrt-cube_binary64_114`
6×	`pow-unpow_binary64_155`
5×	`distribute-lft-out--_binary64_30`
4×	`tan-quot_binary64_237` `add-log-exp_binary64_117` `associate-/r*_binary64_22`
3×	`associate-l_binary64_19` `swap-sqr_binary64_45` `associate-r_binary64_18`
2×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `pow-pow_binary64_150` `associate-/r/_binary64_24` `associate-/l/_binary64_25`
1×	`pow2_binary64_159` `-commutative_binary64_9` `pow-sqr_binary64_51` `cbrt-unprod_binary64_111` `cbrt-undiv_binary64_112` `prod-exp_binary64_127` `div-exp_binary64_129` `flip-+_binary64_52` `flip3--_binary64_82` `unpow2_binary64_143` `frac-2neg_binary64_89` `div-inv_binary64_75` `frac-times_binary64_88` `flip--_binary64_53` `pow-prod-up_binary64_148` `associate-l/_binary64_21` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `associate-*r/_binary64_20` `clear-num_binary64_77` `div-sub_binary64_83` `pow-plus_binary64_141` `flip3-+_binary64_81`

Counts

4 → 134

Calls

8 calls:

14.0ms	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (+.f64 (pow.f64 (tan.f64 x) 2) 1))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
3.0ms	(pow.f64 (tan.f64 x) 4)
3.0ms	(pow.f64 (tan.f64 x) 2)
0.0ms	(+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))

series415.0ms (0.7%)

Counts

4 → 13

Calls

4 calls:

235.0ms	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (+.f64 (pow.f64 (tan.f64 x) 2) 1))
79.0ms	(pow.f64 (tan.f64 x) 4)
51.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
50.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 609 to 475 computations (22% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4966	2940
1	4966	2940

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(-.f64 1 (*.f64 (sqrt.f64 (tan.f64 x)) (pow.f64 (tan.f64 x) 3/2)))
0.1b	(.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4))) (-.f64 1 (.f64 (sqrt.f64 (tan.f64 x)) (pow.f64 (tan.f64 x) 3/2))))
0.1b	(pow.f64 (tan.f64 x) 3/2)
0.0b	(sqrt.f64 (tan.f64 x))
0.2b	(-.f64 1 (pow.f64 (tan.f64 x) 2))
0.2b	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4)))
0.3b	(pow.f64 (tan.f64 x) 2)
0.5b	(pow.f64 (tan.f64 x) 4)

rewrite61.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

221×	`add-sqr-sqrt_binary64_100`
174×	`difference-of-squares_binary64_47`
171×	`*-un-lft-identity_binary64_78`
120×	`times-frac_binary64_84`
59×	`unpow-prod-down_binary64_157`
53×	`sqr-pow_binary64_50`
34×	`add-cube-cbrt_binary64_113`
26×	`unpow2_binary64_143`
25×	`distribute-lft-out--_binary64_30`
12×	`associate-/l*_binary64_23`
10×	`associate-/r*_binary64_22`
8×	`add-exp-log_binary64_116` `cancel-sign-sub-inv_binary64_44`
6×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `pow-unpow_binary64_155` `pow1_binary64_139`
3×	`flip3--_binary64_82` `flip--_binary64_53`
2×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `pow-pow_binary64_150` `associate-/r/_binary64_24` `associate-/l/_binary64_25`
1×	`cbrt-undiv_binary64_112` `div-exp_binary64_129` `diff-log_binary64_170` `frac-2neg_binary64_89` `div-inv_binary64_75` `clear-num_binary64_77` `div-sub_binary64_83` `sub-neg_binary64_71`

Counts

4 → 222

Calls

8 calls:

19.0ms	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4)))
6.0ms	(-.f64 1 (pow.f64 (tan.f64 x) 2))
3.0ms	(pow.f64 (tan.f64 x) 4)
3.0ms	(pow.f64 (tan.f64 x) 2)
0.0ms	(sqrt.f64 (tan.f64 x))

series426.0ms (0.7%)

Counts

4 → 13

Calls

4 calls:

234.0ms	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (-.f64 1 (pow.f64 (tan.f64 x) 4)))
84.0ms	(pow.f64 (tan.f64 x) 4)
57.0ms	(-.f64 1 (pow.f64 (tan.f64 x) 2))
50.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 687 to 541 computations (21.3% saved)

simplify115.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

235 → 235

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5556	5986

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(-.f64 1 (tan.f64 x))
0.2b	(+.f64 (tan.f64 x) 1)
0.2b	(/.f64 (-.f64 1 (tan.f64 x)) (-.f64 1 (sqrt.f64 (pow.f64 (tan.f64 x) 4))))
0.1b	(+.f64 1 (sqrt.f64 (pow.f64 (tan.f64 x) 4)))
0.5b	(pow.f64 (tan.f64 x) 4)
0.5b	(pow.f64 (tan.f64 x) 4)
8.1b	(sqrt.f64 (pow.f64 (tan.f64 x) 4))
8.1b	(sqrt.f64 (pow.f64 (tan.f64 x) 4))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_100`
14×	`sqrt-prod_binary64_94` `unpow-prod-down_binary64_157`
12×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
6×	`rem-sqrt-square_binary64_91` `sqr-pow_binary64_50` `add-exp-log_binary64_116` `pow-unpow_binary64_155` `pow1_binary64_139`
4×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117`
2×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `sqrt-pow1_binary64_96` `pow-pow_binary64_150` `pow1/2_binary64_158`

Counts

4 → 72

Calls

8 calls:

3.0ms	(pow.f64 (tan.f64 x) 4)
3.0ms	(pow.f64 (tan.f64 x) 4)
3.0ms	(sqrt.f64 (pow.f64 (tan.f64 x) 4))
3.0ms	(sqrt.f64 (pow.f64 (tan.f64 x) 4))
0.0ms	(+.f64 1 (sqrt.f64 (pow.f64 (tan.f64 x) 4)))

series244.0ms (0.4%)

Counts

4 → 12

Calls

4 calls:

72.0ms	(pow.f64 (tan.f64 x) 4)
72.0ms	(pow.f64 (tan.f64 x) 4)
53.0ms	(sqrt.f64 (pow.f64 (tan.f64 x) 4))
47.0ms	(sqrt.f64 (pow.f64 (tan.f64 x) 4))

Compiler

Compiled 876 to 640 computations (26.9% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4854	748
1	4854	748

prune11.6s (18.4%)

Pruning

488 alts after pruning (479 fresh and 9 done)

	Pruned	Kept	Total
New	384	231	615
Fresh	11	248	259
Picked	0	0	0
Done	2	9	11
Total	397	488	885

Error

0.0b

Counts

885 → 488

Compiler

Compiled 22678 to 15530 computations (31.5% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite36.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`
13×	`add-cube-cbrt_binary64_113` `pow1_binary64_139`
9×	`associate-r_binary64_18` `cancel-sign-sub-inv_binary64_44`
8×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `add-exp-log_binary64_116`
7×	`associate-l_binary64_19`
5×	`frac-times_binary64_88`
4×	`tan-quot_binary64_237` `distribute-lft-in_binary64_27` `flip-+_binary64_52` `flip3--_binary64_82` `distribute-rgt-in_binary64_28` `flip--_binary64_53` `difference-of-squares_binary64_47` `flip3-+_binary64_81`
3×	`swap-sqr_binary64_45` `associate-l/_binary64_21` `associate-r/_binary64_20` `sub-neg_binary64_71`
2×	`*-commutative_binary64_9` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `distribute-lft-out--_binary64_30` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `distribute-lft-out_binary64_29`
1×	`+-commutative_binary64_8` `pow2_binary64_159` `pow-sqr_binary64_51` `diff-log_binary64_170` `pow-prod-up_binary64_148` `pow-plus_binary64_141` `sum-log_binary64_169`

Counts

4 → 95

Calls

8 calls:

12.0ms	(*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x)))
6.0ms	(-.f64 1 (tan.f64 x))
6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
4.0ms	(+.f64 (tan.f64 x) 1)
0.0ms	(+.f64 1 (.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))

series199.0ms (0.3%)

Counts

4 → 15

Calls

4 calls:

80.0ms	(*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x)))
46.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
39.0ms	(-.f64 1 (tan.f64 x))
34.0ms	(+.f64 (tan.f64 x) 1)

Compiler

Compiled 571 to 425 computations (25.6% saved)

simplify83.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5584	1328

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (sqrt.f64 (tan.f64 x)) (pow.f64 (sqrt.f64 (tan.f64 x)) 3))))
0.0b	(sqrt.f64 (tan.f64 x))
0.0b	(sqrt.f64 (tan.f64 x))
0.0b	(+.f64 1 (*.f64 (sqrt.f64 (tan.f64 x)) (pow.f64 (sqrt.f64 (tan.f64 x)) 3)))
0.1b	(*.f64 (sqrt.f64 (tan.f64 x)) (pow.f64 (sqrt.f64 (tan.f64 x)) 3))
0.2b	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
0.3b	(pow.f64 (sqrt.f64 (tan.f64 x)) 3)

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`add-sqr-sqrt_binary64_100`
25×	`sqrt-prod_binary64_94`
21×	`associate-r_binary64_18` `*-un-lft-identity_binary64_78`
20×	`add-cube-cbrt_binary64_113`
16×	`unpow-prod-down_binary64_157` `cube-prod_binary64_106`
14×	`pow1_binary64_139`
13×	`unswap-sqr_binary64_46`
12×	`add-exp-log_binary64_116`
9×	`tan-quot_binary64_237` `add-cbrt-cube_binary64_114` `associate-l_binary64_19`
6×	`add-log-exp_binary64_117`
5×	`sqrt-div_binary64_95`
4×	`prod-exp_binary64_127` `sqr-pow_binary64_50`
3×	`cube-div_binary64_107` `swap-sqr_binary64_45` `pow-pow_binary64_150` `pow-unpow_binary64_155`
2×	`cube-mult_binary64_108` `-commutative_binary64_9` `pow-exp_binary64_146` `pow-to-exp_binary64_147` `cbrt-unprod_binary64_111` `frac-times_binary64_88` `pow-prod-up_binary64_148` `associate-l/_binary64_21` `difference-of-squares_binary64_47` `associate-*r/_binary64_20` `unpow3_binary64_144`
1×	`rem-cube-cbrt_binary64_101` `pow2_binary64_159` `sqrt-pow2_binary64_97` `sqrt-pow1_binary64_96` `pow-sqr_binary64_51` `flip3--_binary64_82` `diff-log_binary64_170` `flip--_binary64_53` `pow-prod-down_binary64_149` `cancel-sign-sub-inv_binary64_44` `pow-plus_binary64_141` `pow1/2_binary64_158` `sub-neg_binary64_71`

Counts

4 → 127

Calls

8 calls:

12.0ms	(*.f64 (sqrt.f64 (tan.f64 x)) (pow.f64 (sqrt.f64 (tan.f64 x)) 3))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
4.0ms	(pow.f64 (sqrt.f64 (tan.f64 x)) 3)
3.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.0ms	(+.f64 1 (*.f64 (sqrt.f64 (tan.f64 x)) (pow.f64 (sqrt.f64 (tan.f64 x)) 3)))

series241.0ms (0.4%)

Counts

4 → 13

Calls

4 calls:

80.0ms	(pow.f64 (sqrt.f64 (tan.f64 x)) 3)
57.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
57.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
47.0ms	(*.f64 (sqrt.f64 (tan.f64 x)) (pow.f64 (sqrt.f64 (tan.f64 x)) 3))

Compiler

Compiled 533 to 413 computations (22.5% saved)

simplify85.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5108	1263

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (/.f64 (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 (tan.f64 x)) 2)) (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (-.f64 1 (tan.f64 x)))) (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
0.1b	(/.f64 (+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 (tan.f64 x)) 2)) (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (-.f64 1 (tan.f64 x))))
0.0b	(sqrt.f64 (tan.f64 x))
0.0b	(+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 (tan.f64 x)) 2))
0.2b	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
0.3b	(pow.f64 (sqrt.f64 (tan.f64 x)) 2)
0.5b	(pow.f64 (tan.f64 x) 4)

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_100`
14×	`*-un-lft-identity_binary64_78` `pow1_binary64_139`
13×	`add-cube-cbrt_binary64_113`
9×	`unpow-prod-down_binary64_157`
8×	`add-exp-log_binary64_116`
6×	`add-cbrt-cube_binary64_114` `add-log-exp_binary64_117` `pow-unpow_binary64_155`
4×	`tan-quot_binary64_237` `pow-pow_binary64_150`
3×	`sqrt-prod_binary64_94` `associate-l_binary64_19` `swap-sqr_binary64_45` `associate-r_binary64_18`
2×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `sqr-pow_binary64_50` `difference-of-squares_binary64_47`
1×	`pow2_binary64_159` `-commutative_binary64_9` `sqrt-pow2_binary64_97` `sqrt-pow1_binary64_96` `pow-sqr_binary64_51` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `flip3--_binary64_82` `unpow2_binary64_143` `diff-log_binary64_170` `frac-times_binary64_88` `flip--_binary64_53` `pow-prod-up_binary64_148` `associate-l/_binary64_21` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `associate-*r/_binary64_20` `cancel-sign-sub-inv_binary64_44` `pow-plus_binary64_141` `pow1/2_binary64_158` `sub-neg_binary64_71`

Counts

4 → 83

Calls

8 calls:

5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
4.0ms	(pow.f64 (sqrt.f64 (tan.f64 x)) 2)
3.0ms	(pow.f64 (tan.f64 x) 4)
3.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.0ms	(+.f64 (sqrt.f64 1) (pow.f64 (sqrt.f64 (tan.f64 x)) 2))

series260.0ms (0.4%)

Counts

4 → 13

Calls

4 calls:

78.0ms	(pow.f64 (tan.f64 x) 4)
66.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
64.0ms	(pow.f64 (sqrt.f64 (tan.f64 x)) 2)
52.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 768 to 599 computations (22% saved)

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5041	804

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite42.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`cbrt-div_binary64_110`
13×	`frac-times_binary64_88`
11×	`pow1_binary64_139`
10×	`add-sqr-sqrt_binary64_100`
9×	`flip-+_binary64_52` `flip3--_binary64_82` `flip--_binary64_53` `flip3-+_binary64_81`
8×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
7×	`associate-l/_binary64_21` `associate-r/_binary64_20`
6×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
4×	`tan-quot_binary64_237` `add-log-exp_binary64_117`
3×	`associate-l_binary64_19` `swap-sqr_binary64_45` `pow1/3_binary64_160` `associate-r_binary64_18` `cbrt-prod_binary64_109`
1×	`pow2_binary64_159` `*-commutative_binary64_9` `pow-sqr_binary64_51` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `pow-prod-up_binary64_148` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `pow-plus_binary64_141`

Counts

4 → 79

Calls

8 calls:

8.0ms	(cbrt.f64 (*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x))))
8.0ms	(cbrt.f64 (*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x))))
8.0ms	(cbrt.f64 (*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x))))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
0.0ms	(+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))

series775.0ms (1.2%)

Counts

4 → 15

Calls

4 calls:

240.0ms	(cbrt.f64 (*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x))))
240.0ms	(cbrt.f64 (*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x))))
239.0ms	(cbrt.f64 (*.f64 (+.f64 (tan.f64 x) 1) (-.f64 1 (tan.f64 x))))
55.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 1155 to 781 computations (32.4% saved)

simplify81.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5882	1761

prune14.1s (22.4%)

Pruning

653 alts after pruning (639 fresh and 14 done)

	Pruned	Kept	Total
New	264	176	440
Fresh	11	463	474
Picked	0	0	0
Done	0	14	14
Total	275	653	928

Error

0.0b

Counts

928 → 653

Compiler

Compiled 8556 to 4937 computations (42.3% saved)

simplify623.0ms (1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	3349	40398
1	3349	40398

regimes6.2s (9.8%)

Compiler: Compiled 71606 to 50922 computations (28.9% saved)

bsearch0.0ms (0%)

regimes241.0ms (0.4%)

Compiler: Compiled 1702 to 1354 computations (20.4% saved)

bsearch0.0ms (0%)

regimes145.0ms (0.2%)

Compiler: Compiled 927 to 762 computations (17.8% saved)

bsearch0.0ms (0%)

regimes11.0ms (0%)

Accuracy

Total 0.3b remaining (96.3%)

Threshold costs 0.3b (96.3%)

Compiler

Compiled 17 to 18 computations (-5.9% saved)

bsearch3.0ms (0%)

Compiler: Compiled 36 to 31 computations (13.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	55
1	34	55

end0.0ms (0%)

sample17.2s (27.2%)

Algorithm

1×

intervals

Results

341.0ms	2006×	body	1024	valid
197.0ms	4544×	body	128	valid
120.0ms	932×	body	512	valid
45.0ms	511×	body	256	valid
2.0ms	7×	body	2048	valid

Compiler

Compiled 17991 to 12811 computations (28.8% saved)

Pareto

-0.3915682525247326