Details

analyze505.0ms (0.6%)

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)

sample36.0ms (0%)

Algorithm

1×

intervals

Results

12.0ms	67×	body	1024	valid
6.0ms	147×	body	128	valid
4.0ms	32×	body	512	valid
1.0ms	9×	body	256	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 34 to 22 computations (35.3% saved)

simplify220.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (122.0ms)

Iter	Nodes	Cost
0	4853	26
1	4853	26

prune3.0ms (0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Kept	Total
New	3	3
Fresh	3	3
Picked	0	0
Done	0	0
Total	6	6

Error

0.3b

Counts

6 → 3

Compiler

Compiled 17 to 10 computations (41.2% saved)

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_1123`
27×	`*-un-lft-identity_binary64_1101`
22×	`add-cube-cbrt_binary64_1136`
18×	`pow1_binary64_1162`
15×	`times-frac_binary64_1107`
10×	`difference-of-squares_binary64_1070` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
8×	`tan-quot_binary64_1260`
6×	`add-log-exp_binary64_1140` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
5×	`associate-/l*_binary64_1046`
3×	`associate-/r*_binary64_1045`
2×	`pow-plus_binary64_1164` `-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `prod-exp_binary64_1150` `flip--_binary64_1076` `flip3--_binary64_1105` `associate-/l/_binary64_1048` `associate-r/_binary64_1043` `associate-/r/_binary64_1047` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `pow2_binary64_1182`
1×	`diff-log_binary64_1193` `frac-2neg_binary64_1112` `sub-neg_binary64_1094` `clear-num_binary64_1100` `flip3-+_binary64_1104` `div-inv_binary64_1098` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `flip-+_binary64_1075` `cancel-sign-sub-inv_binary64_1067` `div-sub_binary64_1106`

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))
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)))

series400.0ms (0.5%)

Counts

4 → 18

Calls

4 calls:

212.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
66.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
61.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
60.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 540 to 432 computations (20% saved)

simplify122.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4908	2014
1	4908	2014

prune664.0ms (0.8%)

Pruning

73 alts after pruning (72 fresh and 1 done)

	Pruned	Kept	Total
New	58	70	128
Fresh	0	2	2
Picked	0	0	0
Done	0	1	1
Total	58	73	131

Error

0.0b

Counts

131 → 73

Compiler

Compiled 3309 to 2145 computations (35.2% saved)

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite44.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

71×	`add-sqr-sqrt_binary64_1123`
59×	`*-un-lft-identity_binary64_1101`
40×	`difference-of-squares_binary64_1070`
36×	`times-frac_binary64_1107`
29×	`add-cube-cbrt_binary64_1136`
16×	`unpow-prod-down_binary64_1180`
12×	`pow1_binary64_1162` `associate-/l*_binary64_1046` `sqr-pow_binary64_1073` `unpow2_binary64_1166`
9×	`add-exp-log_binary64_1139`
8×	`add-cbrt-cube_binary64_1137` `cancel-sign-sub-inv_binary64_1067`
6×	`add-log-exp_binary64_1140`
5×	`distribute-lft-out--_binary64_1053`
4×	`tan-quot_binary64_1260`
3×	`pow-unpow_binary64_1178` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042` `associate-/r*_binary64_1045`
2×	`flip--_binary64_1076` `flip3--_binary64_1105` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047`
1×	`pow-plus_binary64_1164` `diff-log_binary64_1193` `-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `prod-exp_binary64_1150` `pow-pow_binary64_1173` `frac-2neg_binary64_1112` `sub-neg_binary64_1094` `clear-num_binary64_1100` `flip3-+_binary64_1104` `associate-r/_binary64_1043` `div-inv_binary64_1098` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `flip-+_binary64_1075` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `pow2_binary64_1182` `pow-to-exp_binary64_1170` `div-sub_binary64_1106`

Counts

4 → 142

Calls

8 calls:

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

series402.0ms (0.5%)

Counts

4 → 18

Calls

4 calls:

221.0ms	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
70.0ms	(-.f64 1 (pow.f64 (tan.f64 x) 2))
55.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
54.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 533 to 439 computations (17.6% saved)

simplify102.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5175	3012

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 2 (.f64 x x))
0.0b	(.f64 2 (.f64 x x))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
3×	`add-sqr-sqrt_binary64_1123` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172` `associate-l_binary64_1042`
2×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
1×	`-commutative_binary64_1032` `add-log-exp_binary64_1140` `associate-r*_binary64_1041` `unswap-sqr_binary64_1069`

Counts

1 → 19

Calls

2 calls:

10.0ms	(.f64 2 (.f64 x x))
0.0ms	(.f64 2 (.f64 x x))

series28.0ms (0%)

Counts

1 → 3

Calls

1 calls:

28.0ms

(*.f64 2 (*.f64 x x))

Compiler

Compiled 42 to 42 computations (0% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5069	180

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite33.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`*-un-lft-identity_binary64_1101`
29×	`add-sqr-sqrt_binary64_1123`
21×	`add-cube-cbrt_binary64_1136`
20×	`times-frac_binary64_1107`
12×	`difference-of-squares_binary64_1070` `pow1_binary64_1162`
9×	`add-exp-log_binary64_1139`
8×	`add-cbrt-cube_binary64_1137`
6×	`add-log-exp_binary64_1140` `distribute-lft-out_binary64_1052`
5×	`associate-/l*_binary64_1046`
4×	`tan-quot_binary64_1260` `associate-/r*_binary64_1045`
3×	`unpow-prod-down_binary64_1180` `pow-unpow_binary64_1178` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
2×	`flip--_binary64_1076` `flip3--_binary64_1105` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047`
1×	`pow-plus_binary64_1164` `diff-log_binary64_1193` `-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `prod-exp_binary64_1150` `pow-pow_binary64_1173` `frac-2neg_binary64_1112` `sub-neg_binary64_1094` `clear-num_binary64_1100` `flip3-+_binary64_1104` `associate-r/_binary64_1043` `div-inv_binary64_1098` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `flip-+_binary64_1075` `unswap-sqr_binary64_1069` `cancel-sign-sub-inv_binary64_1067` `associate-*l/_binary64_1044` `sqr-pow_binary64_1073` `pow2_binary64_1182` `pow-to-exp_binary64_1170` `unpow2_binary64_1166` `div-sub_binary64_1106`

Counts

4 → 106

Calls

8 calls:

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

series398.0ms (0.5%)

Counts

4 → 18

Calls

4 calls:

212.0ms	(/.f64 (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (pow.f64 (pow.f64 (tan.f64 x) 2) 1)))
66.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
62.0ms	(pow.f64 (tan.f64 x) 2)
58.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 569 to 491 computations (13.7% saved)

simplify109.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4940	2114
1	4940	2114

localize15.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.2b	(pow.f64 (tan.f64 x) 2)
0.2b	(*.f64 (tan.f64 x) (tan.f64 x))
0.4b	(pow.f64 (tan.f64 x) 4)

rewrite46.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`*-un-lft-identity_binary64_1101`
65×	`add-sqr-sqrt_binary64_1123`
40×	`times-frac_binary64_1107`
30×	`difference-of-squares_binary64_1070`
28×	`add-cube-cbrt_binary64_1136`
16×	`unpow-prod-down_binary64_1180`
13×	`pow1_binary64_1162`
12×	`sqr-pow_binary64_1073`
11×	`distribute-lft-out_binary64_1052`
10×	`add-exp-log_binary64_1139` `associate-/l*_binary64_1046`
8×	`add-cbrt-cube_binary64_1137`
6×	`pow-unpow_binary64_1178`
5×	`distribute-lft-out--_binary64_1053`
4×	`add-log-exp_binary64_1140` `tan-quot_binary64_1260` `associate-/r*_binary64_1045`
3×	`swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
2×	`pow-exp_binary64_1169` `pow-pow_binary64_1173` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047` `pow-to-exp_binary64_1170`
1×	`pow-plus_binary64_1164` `-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `prod-exp_binary64_1150` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `flip--_binary64_1076` `flip3--_binary64_1105` `flip3-+_binary64_1104` `associate-r/_binary64_1043` `div-inv_binary64_1098` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `flip-+_binary64_1075` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `pow2_binary64_1182` `unpow2_binary64_1166` `div-sub_binary64_1106`

Counts

4 → 134

Calls

8 calls:

15.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)))

series433.0ms (0.5%)

Counts

4 → 16

Calls

4 calls:

240.0ms	(/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (+.f64 (pow.f64 (tan.f64 x) 2) 1))
71.0ms	(pow.f64 (tan.f64 x) 4)
62.0ms	(pow.f64 (tan.f64 x) 2)
59.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 697 to 546 computations (21.7% saved)

simplify89.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5047	2982

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_1132`
10×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
6×	`unpow-prod-down_binary64_1180`
5×	`add-exp-log_binary64_1139` `pow1_binary64_1162`
4×	`pow1/3_binary64_1183` `add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137`
3×	`pow-unpow_binary64_1178` `tan-quot_binary64_1260` `cbrt-div_binary64_1133`
2×	`pow-pow_binary64_1173`
1×	`pow-exp_binary64_1169` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170`

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 (tan.f64 x) (tan.f64 x)))

series566.0ms (0.7%)

Counts

4 → 16

Calls

4 calls:

194.0ms	(pow.f64 (cbrt.f64 (tan.f64 x)) 4)
126.0ms	(cbrt.f64 (tan.f64 x))
124.0ms	(cbrt.f64 (tan.f64 x))
121.0ms	(cbrt.f64 (tan.f64 x))

Compiler

Compiled 812 to 560 computations (31% saved)

simplify105.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4883	697
1	4883	697

prune6.2s (7.3%)

Pruning

243 alts after pruning (237 fresh and 6 done)

	Pruned	Kept	Total
New	337	192	529
Fresh	22	45	67
Picked	0	0	0
Done	0	6	6
Total	359	243	602

Error

0.0b

Counts

602 → 243

Compiler

Compiled 13330 to 8718 computations (34.6% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1123`
14×	`*-un-lft-identity_binary64_1101` `pow1_binary64_1162` `add-cube-cbrt_binary64_1136`
9×	`unpow-prod-down_binary64_1180` `add-exp-log_binary64_1139` `pow-unpow_binary64_1178`
6×	`add-cbrt-cube_binary64_1137`
4×	`add-log-exp_binary64_1140` `tan-quot_binary64_1260`
3×	`pow-exp_binary64_1169` `pow-pow_binary64_1173` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170` `unpow2_binary64_1166`
1×	`pow-plus_binary64_1164` `-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `prod-exp_binary64_1150` `associate-r/_binary64_1043` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `pow2_binary64_1182`

Counts

4 → 82

Calls

8 calls:

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

series235.0ms (0.3%)

Counts

4 → 16

Calls

4 calls:

62.0ms	(pow.f64 (tan.f64 x) 2)
59.0ms	(pow.f64 (tan.f64 x) 2)
57.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
56.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 917 to 707 computations (22.9% saved)

simplify92.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4944	723
1	4944	723

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 2 (.f64 x x))
0.0b	(.f64 2 (.f64 x x))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
3×	`add-sqr-sqrt_binary64_1123` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172` `associate-l_binary64_1042`
2×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
1×	`-commutative_binary64_1032` `add-log-exp_binary64_1140` `associate-r*_binary64_1041` `unswap-sqr_binary64_1069`

Counts

1 → 19

Calls

2 calls:

6.0ms	(.f64 2 (.f64 x x))
0.0ms	(.f64 2 (.f64 x x))

series26.0ms (0%)

Counts

1 → 3

Calls

1 calls:

26.0ms

(*.f64 2 (*.f64 x x))

Compiler

Compiled 54 to 54 computations (0% saved)

simplify78.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5069	180

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite42.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-sqr-sqrt_binary64_1123`
40×	`*-un-lft-identity_binary64_1101`
35×	`unpow-prod-down_binary64_1180`
32×	`difference-of-squares_binary64_1070`
30×	`cbrt-prod_binary64_1132`
24×	`cube-prod_binary64_1129`
16×	`add-cube-cbrt_binary64_1136`
13×	`pow1_binary64_1162`
11×	`sqr-pow_binary64_1073`
9×	`unpow2_binary64_1166`
8×	`add-exp-log_binary64_1139`
7×	`add-cbrt-cube_binary64_1137`
6×	`pow-unpow_binary64_1178`
4×	`add-log-exp_binary64_1140` `distribute-lft-out--_binary64_1053` `cube-div_binary64_1130` `tan-quot_binary64_1260`
3×	`swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
2×	`pow-exp_binary64_1169` `cube-mult_binary64_1131` `pow-pow_binary64_1173` `flip--_binary64_1076` `flip3--_binary64_1105` `unpow3_binary64_1167` `pow-to-exp_binary64_1170` `cbrt-div_binary64_1133`
1×	`pow-plus_binary64_1164` `-commutative_binary64_1032` `rem-cube-cbrt_binary64_1124` `cbrt-unprod_binary64_1134` `pow1/3_binary64_1183` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `prod-exp_binary64_1150` `associate-r/_binary64_1043` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `pow2_binary64_1182` `rem-cbrt-cube_binary64_1125`

Counts

4 → 130

Calls

8 calls:

12.0ms	(cbrt.f64 (pow.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) 3))
8.0ms	(pow.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) 3)
6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
3.0ms	(pow.f64 (tan.f64 x) 2)
0.0ms	(+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))

series337.0ms (0.4%)

Counts

4 → 18

Calls

4 calls:

158.0ms	(pow.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) 3)
65.0ms	(cbrt.f64 (pow.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)) 3))
58.0ms	(pow.f64 (tan.f64 x) 2)
55.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 603 to 501 computations (16.9% saved)

simplify124.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	4920	1856
1	4920	1856

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (+.f64 (log.f64 (exp.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 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.1b	(+.f64 (log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2))) 1)
0.2b	(*.f64 (tan.f64 x) (tan.f64 x))
0.4b	(exp.f64 (pow.f64 (tan.f64 x) 2))
0.4b	(pow.f64 (tan.f64 x) 4)
1.9b	(log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))

rewrite28.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_1123`
16×	`exp-prod_binary64_1153`
15×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
13×	`pow1_binary64_1162`
9×	`unpow-prod-down_binary64_1180` `log-pow_binary64_1190`
7×	`add-exp-log_binary64_1139`
6×	`add-cbrt-cube_binary64_1137`
5×	`add-log-exp_binary64_1140`
4×	`tan-quot_binary64_1260`
3×	`pow-unpow_binary64_1178` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `log-prod_binary64_1187` `associate-l_binary64_1042` `sqr-pow_binary64_1073`
2×	`unpow2_binary64_1166`
1×	`pow-plus_binary64_1164` `-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `prod-exp_binary64_1150` `pow-pow_binary64_1173` `rem-exp-log_binary64_1141` `rem-log-exp_binary64_1142` `associate-r/_binary64_1043` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `pow2_binary64_1182` `pow-to-exp_binary64_1170`

Counts

4 → 81

Calls

8 calls:

6.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
4.0ms	(exp.f64 (pow.f64 (tan.f64 x) 2))
4.0ms	(log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))
3.0ms	(pow.f64 (tan.f64 x) 4)
0.0ms	(+.f64 (log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2))) 1)

series372.0ms (0.4%)

Counts

4 → 16

Calls

4 calls:

159.0ms	(log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))
80.0ms	(pow.f64 (tan.f64 x) 4)
70.0ms	(exp.f64 (pow.f64 (tan.f64 x) 2))
63.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 759 to 608 computations (19.9% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5058	764

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(+.f64 (pow.f64 (tan.f64 x) 2) 1)
0.1b	(+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.0b	(-.f64 (.f64 1 1) (.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 4)))
0.0b	(+.f64 1 (pow.f64 (tan.f64 x) 4))
0.3b	(*.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 4))
0.4b	(pow.f64 (tan.f64 x) 4)
0.4b	(pow.f64 (tan.f64 x) 4)
0.4b	(pow.f64 (tan.f64 x) 4)

rewrite35.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_1123`
27×	`unpow-prod-down_binary64_1180`
19×	`add-exp-log_binary64_1139`
18×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
13×	`sqr-pow_binary64_1073`
9×	`pow-exp_binary64_1169` `prod-exp_binary64_1150` `pow-unpow_binary64_1178` `unswap-sqr_binary64_1069` `pow-to-exp_binary64_1170`
7×	`pow1_binary64_1162` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `associate-l_binary64_1042`
6×	`add-cbrt-cube_binary64_1137`
4×	`add-log-exp_binary64_1140`
3×	`pow-pow_binary64_1173`
1×	`*-commutative_binary64_1032` `cbrt-unprod_binary64_1134` `pow-prod-up_binary64_1171` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `pow2_binary64_1182`

Counts

4 → 103

Calls

8 calls:

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

series358.0ms (0.4%)

Counts

4 → 12

Calls

4 calls:

115.0ms	(*.f64 (pow.f64 (tan.f64 x) 4) (pow.f64 (tan.f64 x) 4))
86.0ms	(pow.f64 (tan.f64 x) 4)
79.0ms	(pow.f64 (tan.f64 x) 4)
78.0ms	(pow.f64 (tan.f64 x) 4)

Compiler

Compiled 906 to 682 computations (24.7% saved)

simplify98.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	5023	1072

prune10.4s (12.3%)

Pruning

396 alts after pruning (385 fresh and 11 done)

	Pruned	Kept	Total
New	314	166	480
Fresh	13	219	232
Picked	0	0	0
Done	0	11	11
Total	327	396	723

Error

0.0b

Counts

723 → 396

Compiler

Compiled 17527 to 12133 computations (30.8% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_1123` `unpow-prod-down_binary64_1180` `*-un-lft-identity_binary64_1101` `pow-unpow_binary64_1178` `add-cube-cbrt_binary64_1136`
8×	`add-exp-log_binary64_1139` `pow1_binary64_1162`
4×	`pow-exp_binary64_1169` `add-log-exp_binary64_1140` `pow-pow_binary64_1173` `add-cbrt-cube_binary64_1137` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170` `unpow2_binary64_1166`

Counts

4 → 72

Calls

8 calls:

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

series242.0ms (0.3%)

Counts

4 → 16

Calls

4 calls:

64.0ms	(pow.f64 (tan.f64 x) 2)
62.0ms	(pow.f64 (tan.f64 x) 2)
58.0ms	(pow.f64 (tan.f64 x) 2)
57.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 952 to 784 computations (17.6% saved)

simplify88.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4996	716
1	4996	716

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 2 (.f64 x x))
0.0b	(.f64 2 (.f64 x x))

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-exp-log_binary64_1139` `pow1_binary64_1162` `add-cbrt-cube_binary64_1137`
3×	`add-sqr-sqrt_binary64_1123` `cbrt-unprod_binary64_1134` `prod-exp_binary64_1150` `pow-prod-down_binary64_1172` `associate-l_binary64_1042`
2×	`*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
1×	`-commutative_binary64_1032` `add-log-exp_binary64_1140` `associate-r*_binary64_1041` `unswap-sqr_binary64_1069`

Counts

1 → 19

Calls

2 calls:

6.0ms	(.f64 2 (.f64 x x))
0.0ms	(.f64 2 (.f64 x x))

series28.0ms (0%)

Counts

1 → 3

Calls

1 calls:

28.0ms

(*.f64 2 (*.f64 x x))

Compiler

Compiled 66 to 66 computations (0% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5069	180

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(-.f64 1 (pow.f64 (tan.f64 x) 4))
0.1b	(+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))
0.0b	(+.f64 (+.f64 1 (.f64 x x)) (.f64 (pow.f64 x 4) 7/6))
0.0b	(+.f64 (log.f64 (+.f64 (+.f64 1 (.f64 x x)) (.f64 (pow.f64 x 4) 7/6))) 1)
0.2b	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (+.f64 (log.f64 (+.f64 (+.f64 1 (.f64 x x)) (.f64 (pow.f64 x 4) 7/6))) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
0.2b	(*.f64 (tan.f64 x) (tan.f64 x))
0.4b	(pow.f64 (tan.f64 x) 4)
25.5b	(log.f64 (+.f64 (+.f64 1 (.f64 x x)) (.f64 (pow.f64 x 4) 7/6)))

rewrite100.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

368×	`times-frac_binary64_1107`
352×	`*-un-lft-identity_binary64_1101`
274×	`add-sqr-sqrt_binary64_1123`
132×	`add-cube-cbrt_binary64_1136`
120×	`difference-of-squares_binary64_1070`
80×	`distribute-lft-out_binary64_1052`
56×	`associate-/l*_binary64_1046`
53×	`pow1_binary64_1162`
43×	`unpow-prod-down_binary64_1180`
41×	`log-pow_binary64_1190` `sqr-pow_binary64_1073`
20×	`distribute-lft-out--_binary64_1053`
13×	`add-exp-log_binary64_1139`
11×	`add-cbrt-cube_binary64_1137`
10×	`associate-/r/_binary64_1047`
6×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
5×	`div-inv_binary64_1098`
4×	`add-log-exp_binary64_1140` `tan-quot_binary64_1260`
3×	`pow-unpow_binary64_1178` `swap-sqr_binary64_1068` `associate-r_binary64_1041` `log-prod_binary64_1187` `div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `associate-l_binary64_1042` `associate-/r*_binary64_1045`
2×	`log-div_binary64_1188` `div-sub_binary64_1106`
1×	`pow-plus_binary64_1164` `-commutative_binary64_1032` `pow-exp_binary64_1169` `cbrt-unprod_binary64_1134` `frac-times_binary64_1111` `pow-prod-up_binary64_1171` `prod-exp_binary64_1150` `pow-pow_binary64_1173` `frac-2neg_binary64_1112` `rem-log-exp_binary64_1142` `clear-num_binary64_1100` `associate-/l/_binary64_1048` `associate-r/_binary64_1043` `pow-sqr_binary64_1074` `pow-prod-down_binary64_1172` `unswap-sqr_binary64_1069` `associate-*l/_binary64_1044` `pow2_binary64_1182` `pow-to-exp_binary64_1170`

Counts

4 → 304

Calls

8 calls:

30.0ms	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (+.f64 (log.f64 (+.f64 (+.f64 1 (.f64 x x)) (.f64 (pow.f64 x 4) 7/6))) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
6.0ms	(log.f64 (+.f64 (+.f64 1 (.f64 x x)) (.f64 (pow.f64 x 4) 7/6)))
5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
3.0ms	(pow.f64 (tan.f64 x) 4)
0.0ms	(+.f64 (log.f64 (+.f64 (+.f64 1 (.f64 x x)) (.f64 (pow.f64 x 4) 7/6))) 1)

series638.0ms (0.8%)

Counts

4 → 18

Calls

4 calls:

416.0ms	(/.f64 (/.f64 (-.f64 1 (pow.f64 (tan.f64 x) 4)) (+.f64 (log.f64 (+.f64 (+.f64 1 (.f64 x x)) (.f64 (pow.f64 x 4) 7/6))) 1)) (+.f64 1 (*.f64 (tan.f64 x) (tan.f64 x))))
82.0ms	(pow.f64 (tan.f64 x) 4)
77.0ms	(log.f64 (+.f64 (+.f64 1 (.f64 x x)) (.f64 (pow.f64 x 4) 7/6)))
63.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 1275 to 1037 computations (18.7% saved)

simplify219.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

322 → 322

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4939	18589
1	4939	18589

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(*.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 (tan.f64 x) (tan.f64 x)))
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)

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_1132`
10×	`add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101` `add-cube-cbrt_binary64_1136`
6×	`unpow-prod-down_binary64_1180`
5×	`add-exp-log_binary64_1139` `pow1_binary64_1162`
4×	`pow1/3_binary64_1183` `add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137`
3×	`pow-unpow_binary64_1178` `tan-quot_binary64_1260` `cbrt-div_binary64_1133`
2×	`pow-pow_binary64_1173`
1×	`pow-exp_binary64_1169` `sqr-pow_binary64_1073` `pow-to-exp_binary64_1170`

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)))

series554.0ms (0.7%)

Counts

4 → 16

Calls

4 calls:

202.0ms	(pow.f64 (cbrt.f64 (tan.f64 x)) 4)
124.0ms	(cbrt.f64 (tan.f64 x))
117.0ms	(cbrt.f64 (tan.f64 x))
109.0ms	(cbrt.f64 (tan.f64 x))

Compiler

Compiled 812 to 560 computations (31% saved)

simplify107.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4883	697
1	4883	697

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`cbrt-prod_binary64_1132`
33×	`add-sqr-sqrt_binary64_1123`
27×	`*-un-lft-identity_binary64_1101`
24×	`difference-of-squares_binary64_1070`
9×	`unpow-prod-down_binary64_1180` `add-cube-cbrt_binary64_1136`
7×	`sqr-pow_binary64_1073` `unpow2_binary64_1166`
6×	`cbrt-div_binary64_1133`
5×	`add-exp-log_binary64_1139` `pow1_binary64_1162`
4×	`add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137`
3×	`pow1/3_binary64_1183` `distribute-lft-out--_binary64_1053` `flip--_binary64_1076` `flip3--_binary64_1105` `pow-unpow_binary64_1178`
1×	`pow-exp_binary64_1169` `pow-pow_binary64_1173` `pow-to-exp_binary64_1170`

Counts

4 → 84

Calls

8 calls:

6.0ms	(cbrt.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)))
6.0ms	(cbrt.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)))
6.0ms	(cbrt.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)))
3.0ms	(pow.f64 (tan.f64 x) 2)
0.0ms	(+.f64 (pow.f64 (tan.f64 x) 2) 1)

series814.0ms (1%)

Counts

4 → 19

Calls

4 calls:

252.0ms	(cbrt.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)))
251.0ms	(cbrt.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)))
246.0ms	(cbrt.f64 (-.f64 1 (pow.f64 (tan.f64 x) 2)))
64.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 1073 to 893 computations (16.8% saved)

simplify89.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4922	1523
1	4922	1523

prune23.9s (28.3%)

Pruning

603 alts after pruning (587 fresh and 16 done)

	Pruned	Kept	Total
New	392	216	608
Fresh	9	371	380
Picked	0	0	0
Done	0	16	16
Total	401	603	1004

Error

0.0b

Counts

1004 → 603

Compiler

Compiled 13859 to 9493 computations (31.5% saved)

simplify762.0ms (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (160.0ms)

Iter	Nodes	Cost
0	4510	44619
1	4510	44619

regimes9.3s (11%)

Compiler: Compiled 82743 to 62060 computations (25% saved)

bsearch0.0ms (0%)

regimes177.0ms (0.2%)

Compiler: Compiled 936 to 765 computations (18.3% saved)

bsearch1.0ms (0%)

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

regimes15.0ms (0%)

Compiler: Compiled 40 to 38 computations (5% saved)

bsearch0.0ms (0%)

regimes7.0ms (0%)

Accuracy

Total 0.3b remaining (93.4%)

Threshold costs 0.3b (93.4%)

Compiler

Compiled 4 to 6 computations (-50% saved)

bsearch4.0ms (0%)

Compiler: Compiled 35 to 31 computations (11.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	52
1	31	52

end0.0ms (0%)

sample24.1s (28.5%)

Algorithm

1×

intervals

Results

356.0ms	2019×	body	1024	valid
199.0ms	4500×	body	128	valid
137.0ms	1034×	body	512	valid
41.0ms	441×	body	256	valid
2.0ms	6×	body	2048	valid

Compiler

Compiled 20732 to 15561 computations (24.9% saved)

Pareto

0.009749688849588658