Details

analyze720.0ms (8.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4853	24
1	4853	24
0	1	1
1	1	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)

sample34.0ms (0.4%)

Algorithm

1×

intervals

Results

10.0ms	65×	body	1024	valid
9.0ms	150×	body	128	valid
3.0ms	27×	body	512	valid
1.0ms	14×	body	256	valid

Compiler

Compiled 31 to 18 computations (41.9% saved)

simplify105.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4853	24
1	4853	24

prune3.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 30 to 16 computations (46.7% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.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))

rewrite208.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

31×	`add-sqr-sqrt_binary64_782`
27×	`*-un-lft-identity_binary64_760`
22×	`add-cube-cbrt_binary64_795`
18×	`pow1_binary64_821`
15×	`times-frac_binary64_766`
10×	`add-exp-log_binary64_798` `add-cbrt-cube_binary64_796` `difference-of-squares_binary64_729`
8×	`tan-quot_binary64_919`
6×	`add-log-exp_binary64_799` `swap-sqr_binary64_727` `associate-l_binary64_701` `associate-r_binary64_700`
5×	`associate-/l*_binary64_705`
3×	`associate-/r*_binary64_704`
2×	`pow2_binary64_841` `pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `frac-times_binary64_770` `pow-sqr_binary64_733` `unswap-sqr_binary64_728` `associate-l/_binary64_703` `associate-r/_binary64_702` `*-commutative_binary64_691` `flip3--_binary64_764` `flip--_binary64_735` `associate-/l/_binary64_707` `associate-/r/_binary64_706`
1×	`diff-log_binary64_852` `sub-neg_binary64_753` `cancel-sign-sub-inv_binary64_726` `div-exp_binary64_811` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `div-sub_binary64_765` `clear-num_binary64_759` `div-inv_binary64_757` `flip3-+_binary64_763` `flip-+_binary64_734`

Counts

4 → 110

Calls

4 calls:

7.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
5.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)))

Compiler

Compiled 2625 to 1007 computations (61.6% saved)

series592.0ms (6.9%)

Error

0.3b

Counts

4 → 23

Calls

4 calls:

284.0ms	(/.f64 (-.f64 1 (.f64 (tan.f64 x) (tan.f64 x))) (+.f64 1 (.f64 (tan.f64 x) (tan.f64 x))))
102.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
90.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
88.0ms	(-.f64 1 (*.f64 (tan.f64 x) (tan.f64 x)))

Compiler

Compiled 1013 to 745 computations (26.5% saved)

simplify83.0ms (1%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4936	2142
1	4936	2142

prune221.0ms (2.6%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	120	13	133
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	121	13	134

Error

0.1b

Counts

134 → 13

Compiler

Compiled 2886 to 1687 computations (41.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (tan.f64 x) 2)
0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
0.4b	(exp.f64 (pow.f64 (tan.f64 x) 2))
3.6b	(log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))

rewrite132.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

17×	`add-sqr-sqrt_binary64_782`
16×	`exp-prod_binary64_812`
15×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
13×	`pow1_binary64_821`
9×	`log-pow_binary64_849` `unpow-prod-down_binary64_839`
7×	`add-exp-log_binary64_798`
6×	`add-cbrt-cube_binary64_796`
5×	`add-log-exp_binary64_799`
4×	`tan-quot_binary64_919`
3×	`unpow2_binary64_825` `sqr-pow_binary64_732` `log-prod_binary64_846` `swap-sqr_binary64_727` `associate-l_binary64_701` `associate-r_binary64_700` `pow-unpow_binary64_837`
1×	`rem-log-exp_binary64_801` `rem-exp-log_binary64_800` `pow2_binary64_841` `pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `frac-times_binary64_770` `pow-sqr_binary64_733` `unswap-sqr_binary64_728` `associate-l/_binary64_703` `associate-r/_binary64_702` `*-commutative_binary64_691` `pow-pow_binary64_832` `pow-to-exp_binary64_829` `pow-exp_binary64_828`

Counts

4 → 82

Calls

4 calls:

5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
4.0ms	(exp.f64 (pow.f64 (tan.f64 x) 2))
3.0ms	(log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))
3.0ms	(pow.f64 (tan.f64 x) 2)

Compiler

Compiled 1781 to 1029 computations (42.2% saved)

series559.0ms (6.5%)

Error

0.1b

Counts

4 → 21

Calls

4 calls:

258.0ms	(log.f64 (exp.f64 (pow.f64 (tan.f64 x) 2)))
97.0ms	(exp.f64 (pow.f64 (tan.f64 x) 2))
95.0ms	(pow.f64 (tan.f64 x) 2)
83.0ms	(*.f64 (tan.f64 x) (tan.f64 x))

Compiler

Compiled 1110 to 853 computations (23.2% saved)

simplify48.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5271	848

prune142.0ms (1.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	104	12	116

Error

0.1b

Counts

116 → 12

Compiler

Compiled 2196 to 1342 computations (38.9% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (tan.f64 x) (tan.f64 x))
0.4b	(pow.f64 (exp.f64 (fabs.f64 (tan.f64 x))) (sqrt.f64 (pow.f64 (tan.f64 x) 2)))
3.6b	(log.f64 (pow.f64 (exp.f64 (fabs.f64 (tan.f64 x))) (sqrt.f64 (pow.f64 (tan.f64 x) 2))))
15.7b	(sqrt.f64 (pow.f64 (tan.f64 x) 2))

rewrite169.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

21×	`add-sqr-sqrt_binary64_782`
17×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
16×	`sqrt-prod_binary64_776`
13×	`unpow-prod-down_binary64_839`
12×	`pow1_binary64_821`
11×	`pow-unpow_binary64_837`
7×	`add-exp-log_binary64_798` `log-prod_binary64_846`
6×	`add-cbrt-cube_binary64_796`
5×	`sqr-pow_binary64_732`
4×	`add-log-exp_binary64_799` `rem-sqrt-square_binary64_773` `pow-pow_binary64_832` `tan-quot_binary64_919`
3×	`unpow2_binary64_825` `rem-log-exp_binary64_801` `exp-prod_binary64_812` `swap-sqr_binary64_727` `associate-l_binary64_701` `associate-r_binary64_700`
2×	`pow-to-exp_binary64_829` `pow-exp_binary64_828`
1×	`pow1/2_binary64_840` `sqrt-pow1_binary64_778` `log-pow_binary64_849` `pow2_binary64_841` `pow-prod-down_binary64_831` `pow-prod-up_binary64_830` `pow-plus_binary64_823` `prod-exp_binary64_809` `cbrt-unprod_binary64_793` `frac-times_binary64_770` `pow-sqr_binary64_733` `unswap-sqr_binary64_728` `associate-l/_binary64_703` `associate-r/_binary64_702` `*-commutative_binary64_691`

Counts

4 → 95

Calls

4 calls:

5.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
5.0ms	(sqrt.f64 (pow.f64 (tan.f64 x) 2))
4.0ms	(pow.f64 (exp.f64 (fabs.f64 (tan.f64 x))) (sqrt.f64 (pow.f64 (tan.f64 x) 2)))
2.0ms	(log.f64 (pow.f64 (exp.f64 (fabs.f64 (tan.f64 x))) (sqrt.f64 (pow.f64 (tan.f64 x) 2))))

Compiler

Compiled 2663 to 1333 computations (49.9% saved)

series651.0ms (7.6%)

Error

0.1b

Counts

4 → 16

Calls

4 calls:

310.0ms	(log.f64 (pow.f64 (exp.f64 (fabs.f64 (tan.f64 x))) (sqrt.f64 (pow.f64 (tan.f64 x) 2))))
193.0ms	(pow.f64 (exp.f64 (fabs.f64 (tan.f64 x))) (sqrt.f64 (pow.f64 (tan.f64 x) 2)))
79.0ms	(*.f64 (tan.f64 x) (tan.f64 x))
49.0ms	(sqrt.f64 (pow.f64 (tan.f64 x) 2))

Compiler

Compiled 1051 to 688 computations (34.5% saved)

simplify51.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5615	1102

prune167.0ms (1.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	111	12	123

Error

0.1b

Counts

123 → 12

Compiler

Compiled 2744 to 1424 computations (48.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (sin.f64 x) 2)
0.2b	(pow.f64 (sin.f64 x) 2)
0.2b	(pow.f64 (cos.f64 x) 2)
0.2b	(pow.f64 (cos.f64 x) 2)

rewrite128.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

12×	`add-cube-cbrt_binary64_795` `unpow-prod-down_binary64_839` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760` `pow-unpow_binary64_837`
8×	`pow1_binary64_821` `add-exp-log_binary64_798`
4×	`pow-pow_binary64_832` `pow-to-exp_binary64_829` `pow-exp_binary64_828` `unpow2_binary64_825` `add-log-exp_binary64_799` `add-cbrt-cube_binary64_796` `sqr-pow_binary64_732`

Counts

4 → 72

Calls

4 calls:

3.0ms	(pow.f64 (sin.f64 x) 2)
3.0ms	(pow.f64 (sin.f64 x) 2)
2.0ms	(pow.f64 (cos.f64 x) 2)
2.0ms	(pow.f64 (cos.f64 x) 2)

Compiler

Compiled 2016 to 1337 computations (33.7% saved)

series197.0ms (2.3%)

Error

0.1b

Counts

4 → 22

Calls

4 calls:

45.0ms	(pow.f64 (sin.f64 x) 2)
43.0ms	(pow.f64 (cos.f64 x) 2)
42.0ms	(pow.f64 (cos.f64 x) 2)
37.0ms	(pow.f64 (sin.f64 x) 2)

Compiler

Compiled 1416 to 1085 computations (23.4% saved)

simplify65.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5059	772

prune146.0ms (1.7%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	94	12	106

Error

0.1b

Counts

106 → 12

Compiler

Compiled 2444 to 1584 computations (35.2% saved)

regimes952.0ms (11.1%)

Accuracy

Total 0.3b remaining (86.2%)

Threshold costs 0.3b (86.2%)

Compiler

Compiled 10931 to 6676 computations (38.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	20
1	21	20

end0.0ms (0%)

sample3.1s (36.7%)

Algorithm

1×

intervals

Results

338.0ms	2026×	body	1024	valid
182.0ms	4515×	body	128	valid
129.0ms	995×	body	512	valid
39.0ms	459×	body	256	valid
1.0ms	5×	body	2048	valid

Compiler

Compiled 2496 to 1557 computations (37.6% saved)

Details

analyze720.0ms (8.4%)

sample34.0ms (0.4%)

simplify105.0ms (1.2%)

prune3.0ms (0%)

localize7.0ms (0.1%)

rewrite208.0ms (2.4%)

series592.0ms (6.9%)

simplify83.0ms (1%)

prune221.0ms (2.6%)

localize11.0ms (0.1%)

rewrite132.0ms (1.5%)

series559.0ms (6.5%)

simplify48.0ms (0.6%)

prune142.0ms (1.7%)

localize16.0ms (0.2%)

rewrite169.0ms (2%)

series651.0ms (7.6%)

simplify51.0ms (0.6%)

prune167.0ms (1.9%)

localize12.0ms (0.1%)

rewrite128.0ms (1.5%)

series197.0ms (2.3%)

simplify65.0ms (0.8%)

prune146.0ms (1.7%)

regimes952.0ms (11.1%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample3.1s (36.7%)

Profiling