Details

analyze693.0ms (9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
18.7%	81.2%	0.1%	7
18.7%	81.2%	0.1%	8
29.7%	69.5%	0.9%	9
30.4%	67.9%	1.7%	10
36.3%	61.1%	2.6%	11
36.9%	59.5%	3.6%	12
39.9%	55.9%	4.2%	13
40.2%	54.9%	4.9%	14

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample159.0ms (2.1%)

Algorithm

1×

intervals

Results

95.0ms	32×	body	2560	valid
38.0ms	57×	body	1280	valid
6.0ms	126×	body	80	valid
5.0ms	21×	body	640	valid
2.0ms	10×	body	320	valid
1.0ms	10×	body	160	valid
0.0ms	5×	body	80	invalid

Compiler

Compiled 29 to 23 computations (20.7% saved)

simplify498.0ms (6.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	300	20
1	300	20

prune9.0ms (0.1%)

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

Merged error: 19.8b

Counts

2 → 2

Compiler

Compiled 38 to 26 computations (31.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
5.2b	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
29.5b	(tan.f64 (*.f64 PI.f64 l))

rewrite21.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `associate-/r*_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64`

Counts

4 → 66

Calls

4 calls:

7.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
3.0ms	(tan.f64 (*.f64 PI.f64 l))

series51.0ms (0.7%)

Counts

4 → 12

Calls

4 calls:

23.0ms	(tan.f64 (*.f64 PI.f64 l))
23.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
3.0ms	(*.f64 PI.f64 l)
3.0ms	(*.f64 PI.f64 l)

simplify110.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	5227	914

prune99.0ms (1.3%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	60	18	78
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	62	18	80

Merged error: 14.7b

Counts

80 → 18

Compiler

Compiled 1597 to 465 computations (70.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
0.3b	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
29.5b	(tan.f64 (*.f64 PI.f64 l))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`times-frac_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/r_binary64` `associate-/l_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 72

Calls

4 calls:

5.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series33.0ms (0.4%)

Counts

4 → 12

Calls

4 calls:

18.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
10.0ms	(tan.f64 (*.f64 PI.f64 l))
3.0ms	(*.f64 PI.f64 l)
3.0ms	(*.f64 PI.f64 l)

simplify130.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	4717	1019
1	4717	1019

prune86.0ms (1.1%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	78	6	84
Fresh	4	13	17
Picked	0	1	1
Done	0	0	0
Total	82	20	102

Merged error: 14.6b

Counts

102 → 20

Compiler

Compiled 1925 to 767 computations (60.2% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
0.3b	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
29.5b	(tan.f64 (*.f64 PI.f64 l))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`times-frac_binary64`
8×	`pow1_binary64`
6×	`associate-r_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/r_binary64` `associate-/l_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `tan-quot_binary64` `*-commutative_binary64`
1×	`associate-/l/_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 72

Calls

4 calls:

5.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series32.0ms (0.4%)

Counts

4 → 12

Calls

4 calls:

17.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
9.0ms	(tan.f64 (*.f64 PI.f64 l))
3.0ms	(*.f64 PI.f64 l)
3.0ms	(*.f64 PI.f64 l)

simplify129.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	4717	1019
1	4717	1019

prune88.0ms (1.1%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	79	5	84
Fresh	3	15	18
Picked	1	0	1
Done	1	0	1
Total	84	20	104

Merged error: 14.6b

Counts

104 → 20

Compiler

Compiled 1781 to 565 computations (68.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
0.3b	(.f64 (tan.f64 (.f64 PI.f64 l)) (/.f64 1 F))
29.5b	(tan.f64 (*.f64 PI.f64 l))

rewrite21.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
17×	`*-un-lft-identity_binary64` `add-exp-log_binary64`
16×	`add-cube-cbrt_binary64`
13×	`add-cbrt-cube_binary64`
11×	`times-frac_binary64`
10×	`pow1_binary64`
9×	`associate-l_binary64`
6×	`prod-exp_binary64`
5×	`unswap-sqr_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64`
3×	`pow-prod-down_binary64` `tan-quot_binary64` `*-commutative_binary64`
2×	`div-exp_binary64`
1×	`1-exp_binary64` `cbrt-undiv_binary64` `associate-r/_binary64` `rec-exp_binary64` `un-div-inv_binary64` `div-inv_binary64` `frac-times_binary64` `associate-l/_binary64`

Counts

4 → 82

Calls

4 calls:

9.0ms	(.f64 (tan.f64 (.f64 PI.f64 l)) (/.f64 1 F))
4.0ms	(*.f64 PI.f64 l)
4.0ms	(*.f64 PI.f64 l)
2.0ms	(tan.f64 (*.f64 PI.f64 l))

series35.0ms (0.5%)

Counts

4 → 12

Calls

4 calls:

18.0ms	(.f64 (tan.f64 (.f64 PI.f64 l)) (/.f64 1 F))
12.0ms	(tan.f64 (*.f64 PI.f64 l))
3.0ms	(*.f64 PI.f64 l)
3.0ms	(*.f64 PI.f64 l)

simplify120.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	5118	1071

prune50.0ms (0.7%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	92	2	94
Fresh	1	18	19
Picked	0	1	1
Done	0	0	0
Total	93	21	114

Merged error: 14.6b

Counts

114 → 21

Compiler

Compiled 1690 to 593 computations (64.9% saved)

regimes279.0ms (3.6%)

Compiler: Compiled 1719 to 1100 computations (36% saved)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	70	23
1	70	23

end0.0ms (0%)

sample5.0s (64.7%)

Algorithm

1×

intervals

Results

2.3s	800×	body	2560	valid
961.0ms	1686×	body	1280	valid
255.0ms	956×	body	640	valid
194.0ms	3958×	body	80	valid
69.0ms	397×	body	320	valid
23.0ms	203×	body	160	valid
10.0ms	194×	body	80	invalid
4.0ms	2×	body	2560	invalid
1.0ms	3×	body	5120	exit
1.0ms	3×	body	1280	invalid

Compiler

Compiled 410 to 264 computations (35.6% saved)

Details

analyze693.0ms (9%)

sample159.0ms (2.1%)

simplify498.0ms (6.5%)

prune9.0ms (0.1%)

localize11.0ms (0.1%)

rewrite21.0ms (0.3%)

series51.0ms (0.7%)

simplify110.0ms (1.4%)

prune99.0ms (1.3%)

localize10.0ms (0.1%)

rewrite16.0ms (0.2%)

series33.0ms (0.4%)

simplify130.0ms (1.7%)

prune86.0ms (1.1%)

localize10.0ms (0.1%)

rewrite16.0ms (0.2%)

series32.0ms (0.4%)

simplify129.0ms (1.7%)

prune88.0ms (1.1%)

localize10.0ms (0.1%)

rewrite21.0ms (0.3%)

series35.0ms (0.5%)

simplify120.0ms (1.6%)

prune50.0ms (0.7%)

regimes279.0ms (3.6%)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample5.0s (64.7%)

Profiling