Details

analyze996.0ms (16.3%)

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 17 to 11 computations (35.3% saved)

sample73.0ms (1.2%)

Algorithm

1×

intervals

Results

29.0ms	31×	body	2048	valid
12.0ms	52×	body	1024	valid
8.0ms	146×	body	128	valid
4.0ms	1×	body	4096	valid
4.0ms	21×	body	512	valid
1.0ms	5×	body	256	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify24.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

50×	`cancel-sign-sub-inv_binary64`
37×	`associate-/l*_binary64`
36×	`sub-neg_binary64`
30×	`times-frac_binary64` `div-sub_binary64`
27×	`distribute-rgt-neg-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	24	20
2	48	20
3	114	20
4	161	20
5	207	20
6	246	20
7	285	20
8	348	20
9	342	20
10	346	20
11	299	20

prune14.0ms (0.2%)

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

14.3b

Counts

2 → 2

Alt Table

Status	Error	Program
	14.4b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 PI.f64 l))))
▶	14.3b	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (.f64 PI.f64 l)) (*.f64 F F)))

Compiler

Compiled 74 to 44 computations (40.5% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 PI.f64 l)
0.2b	(*.f64 PI.f64 l)
3.8b	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
26.3b	(tan.f64 (*.f64 PI.f64 l))

rewrite114.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

10.2b

Rules

14×	`add-sqr-sqrt_binary64`
13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
8×	`pow1_binary64`
6×	`associate-l_binary64` `associate-r_binary64`

Counts

4 → 66

Calls

4 calls:

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

Compiler

Compiled 1091 to 236 computations (78.4% saved)

series103.0ms (1.7%)

Error

14.3b

Counts

4 → 21

Calls

4 calls:

45.0ms	(/.f64 (tan.f64 (.f64 PI.f64 l)) (.f64 F F))
30.0ms	(tan.f64 (*.f64 PI.f64 l))
8.0ms	(*.f64 PI.f64 l)
6.0ms	(*.f64 PI.f64 l)

Compiler

Compiled 962 to 576 computations (40.1% saved)

simplify144.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

532×	`unswap-sqr_binary64`
436×	`times-frac_binary64`
409×	`associate-/l*_binary64`
310×	`associate-l_binary64`
237×	`associate-r_binary64`

Counts

87 → 35

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	114	1326
1	253	1168
2	750	1168
3	2807	1168
4	3355	1168
5	4400	1168
6	4958	1168
7	4997	1168
8	4901	1168

prune35.0ms (0.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	30	5	35
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	31	6	37

Error

10.3b

Counts

37 → 6

Alt Table

Status	Error	Program
▶	10.4b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (.f64 PI.f64 l)) F))))
	14.3b	(-.f64 (.f64 PI.f64 l) (/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (cos.f64 (.f64 PI.f64 l)) (*.f64 F F))))
	14.4b	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 l (cbrt.f64 PI.f64)))) (*.f64 F F)))
	33.7b	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (cbrt.f64 (pow.f64 (.f64 PI.f64 l) 3))) (*.f64 F F)))
	14.4b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 PI.f64 l))))
	12.9b	(-.f64 (.f64 PI.f64 l) (/.f64 (.f64 (cbrt.f64 (tan.f64 (.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (.f64 PI.f64 l)))) (/.f64 F (/.f64 (cbrt.f64 (tan.f64 (*.f64 PI.f64 l))) F))))

Compiler

Compiled 702 to 295 computations (58% saved)

localize9.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)
26.3b	(tan.f64 (*.f64 PI.f64 l))

rewrite122.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

10.2b

Rules

20×	`add-sqr-sqrt_binary64`
16×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`times-frac_binary64`
8×	`pow1_binary64`

Counts

4 → 72

Calls

4 calls:

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

Compiler

Compiled 1356 to 449 computations (66.9% saved)

series88.0ms (1.4%)

Error

10.3b

Counts

4 → 21

Calls

4 calls:

45.0ms	(/.f64 (tan.f64 (*.f64 PI.f64 l)) F)
15.0ms	(tan.f64 (*.f64 PI.f64 l))
6.0ms	(*.f64 PI.f64 l)
6.0ms	(*.f64 PI.f64 l)

Compiler

Compiled 1015 to 620 computations (38.9% saved)

simplify166.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

436×	`div-sub_binary64`
412×	`unswap-sqr_binary64` `*-commutative_binary64`
376×	`sqr-pow_binary64`
349×	`associate-*l/_binary64`
345×	`associate-/r/_binary64`

Counts

93 → 27

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	123	1362
1	250	1243
2	636	1243
3	1606	1243
4	2621	1243
5	3363	1243
6	3959	1243
7	4419	1243
8	4715	1243
9	4851	1243

prune42.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	24	3	27
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	25	8	33

Error

10.3b

Counts

33 → 8

Alt Table

Status	Error	Program
✓	10.4b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (.f64 PI.f64 l)) F))))
	10.6b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (.f64 (.f64 (cbrt.f64 (tan.f64 (.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (.f64 PI.f64 l)))) (/.f64 (cbrt.f64 (tan.f64 (.f64 PI.f64 l))) F)))))
	33.4b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (cbrt.f64 (pow.f64 (.f64 PI.f64 l) 3))) F))))
	14.3b	(-.f64 (.f64 PI.f64 l) (/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (cos.f64 (.f64 PI.f64 l)) (*.f64 F F))))
▶	10.5b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 l (sqrt.f64 PI.f64)))) F))))
	14.4b	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 l (cbrt.f64 PI.f64)))) (*.f64 F F)))
	33.7b	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (cbrt.f64 (pow.f64 (.f64 PI.f64 l) 3))) (*.f64 F F)))
	14.4b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 PI.f64 l))))

Compiler

Compiled 789 to 397 computations (49.7% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (sqrt.f64 PI.f64) (.f64 l (sqrt.f64 PI.f64)))
1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)
26.3b	(tan.f64 (.f64 (sqrt.f64 PI.f64) (.f64 l (sqrt.f64 PI.f64))))

rewrite122.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

10.3b

Rules

11×	`pow1_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
6×	`associate-l_binary64`

Counts

4 → 55

Calls

4 calls:

10.0ms	(.f64 (sqrt.f64 PI.f64) (.f64 l (sqrt.f64 PI.f64)))
3.0ms	(tan.f64 (.f64 (sqrt.f64 PI.f64) (.f64 l (sqrt.f64 PI.f64))))
1.0ms	(sqrt.f64 PI.f64)
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1162 to 437 computations (62.4% saved)

series34.0ms (0.6%)

Error

10.3b

Counts

4 → 9

Calls

4 calls:

16.0ms	(tan.f64 (.f64 (sqrt.f64 PI.f64) (.f64 l (sqrt.f64 PI.f64))))
7.0ms	(.f64 (sqrt.f64 PI.f64) (.f64 l (sqrt.f64 PI.f64)))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 447 to 278 computations (37.8% saved)

simplify124.0ms (2%)

Algorithm

1×	egg-herbie

Rules

545×	`log-div_binary64`
536×	`unswap-sqr_binary64`
433×	`associate-l_binary64`
427×	`*-commutative_binary64`
329×	`associate-/l*_binary64`

Counts

64 → 35

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	83	832
1	172	581
2	435	581
3	1056	581
4	1399	581
5	2226	581
6	2417	581
7	2974	571
8	3808	571
9	4979	571
10	5216	571

prune63.0ms (1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	33	2	35
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	35	8	43

Error

10.3b

Counts

43 → 8

Alt Table

Status	Error	Program
✓	10.4b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (.f64 PI.f64 l)) F))))
	10.6b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (.f64 (.f64 (cbrt.f64 (tan.f64 (.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (.f64 PI.f64 l)))) (/.f64 (cbrt.f64 (tan.f64 (.f64 PI.f64 l))) F)))))
▶	10.5b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (*.f64 l (pow.f64 (sqrt.f64 PI.f64) 3/2)))) F))))
	10.8b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))) (.f64 (*.f64 l (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))))) F))))
	14.3b	(-.f64 (.f64 PI.f64 l) (/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (cos.f64 (.f64 PI.f64 l)) (*.f64 F F))))
	14.4b	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 l (cbrt.f64 PI.f64)))) (*.f64 F F)))
	33.7b	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (cbrt.f64 (pow.f64 (.f64 PI.f64 l) 3))) (*.f64 F F)))
	14.4b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 PI.f64 l))))

Compiler

Compiled 936 to 475 computations (49.3% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (.f64 l (pow.f64 (sqrt.f64 PI.f64) 3/2)))
1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)
26.1b	(tan.f64 (.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (.f64 l (pow.f64 (sqrt.f64 PI.f64) 3/2))))

rewrite174.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

10.3b

Rules

15×	`sqrt-prod_binary64`
14×	`add-exp-log_binary64`
11×	`add-sqr-sqrt_binary64`
9×	`add-cbrt-cube_binary64` `add-cube-cbrt_binary64` `-un-lft-identity_binary64` `associate-l*_binary64`
8×	`pow1_binary64`

Counts

4 → 59

Calls

4 calls:

10.0ms	(.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (.f64 l (pow.f64 (sqrt.f64 PI.f64) 3/2)))
3.0ms	(tan.f64 (.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (.f64 l (pow.f64 (sqrt.f64 PI.f64) 3/2))))
1.0ms	(sqrt.f64 PI.f64)
1.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1439 to 714 computations (50.4% saved)

series32.0ms (0.5%)

Error

10.3b

Counts

4 → 9

Calls

4 calls:

16.0ms	(tan.f64 (.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (.f64 l (pow.f64 (sqrt.f64 PI.f64) 3/2))))
7.0ms	(.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (.f64 l (pow.f64 (sqrt.f64 PI.f64) 3/2)))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 447 to 278 computations (37.8% saved)

simplify100.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

875×	`associate-/r/_binary64`
585×	`associate-+l+_binary64`
378×	`associate-+r+_binary64`
324×	`unswap-sqr_binary64`
314×	`*-commutative_binary64`

Counts

68 → 24

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	99	1127
1	206	1030
2	603	1030
3	961	1030
4	1518	1030
5	1994	1000
6	3431	1000
7	5389	1000

prune45.0ms (0.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	23	1	24
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	23	9	32

Error

10.3b

Counts

32 → 9

Alt Table

Status	Error	Program
	10.4b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (.f64 PI.f64 l)) F))))
	10.6b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (.f64 (.f64 (cbrt.f64 (tan.f64 (.f64 PI.f64 l))) (cbrt.f64 (tan.f64 (.f64 PI.f64 l)))) (/.f64 (cbrt.f64 (tan.f64 (.f64 PI.f64 l))) F)))))
	10.5b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (*.f64 l (pow.f64 (sqrt.f64 PI.f64) 3/2)))) F))))
	10.6b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 PI.f64))) (.f64 (.f64 l (pow.f64 (sqrt.f64 PI.f64) 3/2)) (sqrt.f64 (sqrt.f64 (sqrt.f64 PI.f64)))))) F))))
	10.8b	(-.f64 (.f64 PI.f64 l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))) (.f64 (*.f64 l (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))))) F))))
	14.3b	(-.f64 (.f64 PI.f64 l) (/.f64 (sin.f64 (.f64 PI.f64 l)) (.f64 (cos.f64 (.f64 PI.f64 l)) (*.f64 F F))))
	14.4b	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 l (cbrt.f64 PI.f64)))) (*.f64 F F)))
	33.7b	(-.f64 (.f64 PI.f64 l) (/.f64 (tan.f64 (cbrt.f64 (pow.f64 (.f64 PI.f64 l) 3))) (*.f64 F F)))
	14.4b	(-.f64 (.f64 PI.f64 l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 PI.f64 l))))

Compiler

Compiled 600 to 327 computations (45.5% saved)

regimes1.1s (17.6%)

Accuracy

Total 0.1b remaining (1.1%)

Threshold costs 0.1b (1.1%)

Compiler

Compiled 17666 to 10120 computations (42.7% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	12	20
2	19	20
3	25	20
4	30	20
5	33	20
6	34	20
7	34	20

end1.0ms (0%)

Compiler: Compiled 14 to 8 computations (42.9% saved)

sample2.4s (38.6%)

Algorithm

1×

intervals

Results

884.0ms	1024×	body	2048	valid
475.0ms	1857×	body	1024	valid
207.0ms	4076×	body	128	valid
142.0ms	44×	body	4096	valid
119.0ms	699×	body	512	valid
34.0ms	300×	body	256	valid
9.0ms	156×	body	128	invalid
4.0ms	9×	body	2048	invalid
3.0ms	8×	body	8192	exit

Compiler

Compiled 232 to 137 computations (40.9% saved)

Iter	Nodes	Cost
0	11	23
1	24	20
2	48	20
3	114	20
4	161	20
5	207	20
6	246	20
7	285	20
8	348	20
9	342	20
10	346	20
11	299	20

Iter	Nodes	Cost
0	11	23
1	24	20
2	48	20
3	114	20
4	161	20
5	207	20
6	246	20
7	285	20
8	348	20
9	342	20
10	346	20
11	299	20

Details

analyze996.0ms (16.3%)

sample73.0ms (1.2%)

simplify24.0ms (0.4%)

prune14.0ms (0.2%)

localize9.0ms (0.2%)

rewrite114.0ms (1.9%)

series103.0ms (1.7%)

simplify144.0ms (2.4%)

prune35.0ms (0.6%)

localize9.0ms (0.1%)

rewrite122.0ms (2%)

series88.0ms (1.4%)

simplify166.0ms (2.7%)

prune42.0ms (0.7%)

localize13.0ms (0.2%)

rewrite122.0ms (2%)

series34.0ms (0.6%)

simplify124.0ms (2%)

prune63.0ms (1%)

localize17.0ms (0.3%)

rewrite174.0ms (2.9%)

series32.0ms (0.5%)

simplify100.0ms (1.6%)

prune45.0ms (0.7%)

regimes1.1s (17.6%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample2.4s (38.6%)

Profiling

Iter	Nodes	Cost
0	11	23
1	24	20
2	48	20
3	114	20
4	161	20
5	207	20
6	246	20
7	285	20
8	348	20
9	342	20
10	346	20
11	299	20