Details

analyze1.8s (14.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
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
37.4%	49.9%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
49.7%	37.1%	13.2%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample176.0ms (1.5%)

Algorithm

1×

intervals

Results

48.0ms	50×	body	1024	valid
41.0ms	46×	body	1024	invalid
23.0ms	161×	body	128	valid
15.0ms	25×	body	512	valid
13.0ms	21×	body	512	invalid
11.0ms	8×	body	2048	valid
5.0ms	12×	body	256	valid
4.0ms	12×	body	256	invalid
2.0ms	19×	body	128	invalid

Compiler

Compiled 43 to 42 computations (2.3% saved)

simplify240.0ms (2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (143.0ms)

Iter	Nodes	Cost
0	5252	34

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

Merged error: 20.2b

Counts

2 → 1

Compiler

Compiled 42 to 38 computations (9.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (/.f64 angle 180) PI.f64)
0.3b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
23.9b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_441`
13×	`-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `associate-l*_binary64_360`
12×	`add-exp-log_binary64_457`
10×	`times-frac_binary64_425`
9×	`add-cbrt-cube_binary64_455` `pow1_binary64_480`
4×	`add-log-exp_binary64_458`
3×	`associate-r_binary64_359` `prod-exp_binary64_468` `pow-unpow_binary64_496`
2×	`pow-prod-down_binary64_490` `unswap-sqr_binary64_387` `cbrt-unprod_binary64_452` `pow-exp_binary64_487` `pow-pow_binary64_491`
1×	`associate-l/_binary64_362` `unpow-prod-down_binary64_498` `div-inv_binary64_416` `sqr-pow_binary64_391` `pow-to-exp_binary64_488` `-commutative_binary64_350` `unpow2_binary64_484` `div-exp_binary64_470` `cbrt-undiv_binary64_453`

Counts

4 → 64

Calls

4 calls:

8.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
7.0ms	(*.f64 (/.f64 angle 180) PI.f64)
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

series114.0ms (0.9%)

Counts

4 → 12

Calls

4 calls:

71.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)
20.0ms	(*.f64 (/.f64 angle 180) PI.f64)
14.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
9.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

simplify56.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5068	1040

prune163.0ms (1.4%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	55	21	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	21	77

Merged error: 19.3b

Counts

77 → 21

Compiler

Compiled 2567 to 1942 computations (24.3% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.6b	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
23.9b	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64_419` `add-log-exp_binary64_458` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
2×	`associate-*l/_binary64_362` `pow1/3_binary64_501` `cbrt-div_binary64_451` `cbrt-prod_binary64_450`

Counts

4 → 34

Calls

4 calls:

5.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
4.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

series282.0ms (2.3%)

Counts

4 → 12

Calls

4 calls:

123.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
113.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
32.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
13.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

simplify91.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4907	612
1	4907	612

prune126.0ms (1%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	41	5	46
Fresh	2	18	20
Picked	1	0	1
Done	0	0	0
Total	44	23	67

Merged error: 19.2b

Counts

67 → 23

Compiler

Compiled 2437 to 1859 computations (23.7% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
0.6b	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
23.9b	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
24.7b	(sin.f64 (.f64 (.f64 angle PI.f64) 1/180))

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64_419` `add-log-exp_binary64_458` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
2×	`associate-*l/_binary64_362` `pow1/3_binary64_501` `cbrt-div_binary64_451` `cbrt-prod_binary64_450`

Counts

4 → 34

Calls

4 calls:

6.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
5.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
4.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
2.0ms	(sin.f64 (.f64 (.f64 angle PI.f64) 1/180))

series289.0ms (2.4%)

Counts

4 → 12

Calls

4 calls:

124.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
119.0ms	(cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))
32.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64)) (cbrt.f64 (.f64 (/.f64 angle 180) PI.f64))) (cbrt.f64 (*.f64 (/.f64 angle 180) PI.f64))))
13.0ms	(sin.f64 (.f64 (.f64 angle PI.f64) 1/180))

simplify90.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4882	612
1	4882	612

prune129.0ms (1.1%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	40	6	46
Fresh	4	18	22
Picked	1	0	1
Done	0	0	0
Total	45	24	69

Merged error: 19.2b

Counts

69 → 24

Compiler

Compiled 2523 to 1877 computations (25.6% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (/.f64 angle 180))
0.6b	(cbrt.f64 (/.f64 angle 180))
24.1b	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (/.f64 angle 180)))))
24.8b	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`cbrt-prod_binary64_450`
18×	`*-un-lft-identity_binary64_419` `times-frac_binary64_425` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
4×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
2×	`pow1/3_binary64_501` `cbrt-div_binary64_451` `div-inv_binary64_416`

Counts

4 → 58

Calls

4 calls:

4.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (/.f64 angle 180)))))
3.0ms	(cbrt.f64 (/.f64 angle 180))
2.0ms	(cbrt.f64 (/.f64 angle 180))
2.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

series240.0ms (2%)

Counts

4 → 12

Calls

4 calls:

99.0ms	(cbrt.f64 (/.f64 angle 180))
96.0ms	(cbrt.f64 (/.f64 angle 180))
31.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (*.f64 PI.f64 (cbrt.f64 (/.f64 angle 180)))))
13.0ms	(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

simplify60.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5075	936

prune134.0ms (1.1%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	64	6	70
Fresh	3	20	23
Picked	0	1	1
Done	0	0	0
Total	67	27	94

Merged error: 19.1b

Counts

94 → 27

Compiler

Compiled 2522 to 1907 computations (24.4% saved)

regimes953.0ms (7.9%)

Compiler: Compiled 12662 to 10916 computations (13.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	60
1	29	60

end0.0ms (0%)

sample6.9s (57.7%)

Algorithm

1×

intervals

Results

1.5s	1627×	body	1024	valid
1.2s	1288×	body	1024	invalid
645.0ms	4973×	body	128	valid
481.0ms	802×	body	512	valid
439.0ms	685×	body	512	invalid
246.0ms	182×	body	2048	valid
134.0ms	410×	body	256	valid
128.0ms	332×	body	256	invalid
76.0ms	565×	body	128	invalid
29.0ms	6×	body	4096	valid

Compiler

Compiled 1875 to 1612 computations (14% saved)

Details

analyze1.8s (14.9%)

sample176.0ms (1.5%)

simplify240.0ms (2%)

prune3.0ms (0%)

localize14.0ms (0.1%)

rewrite24.0ms (0.2%)

series114.0ms (0.9%)

simplify56.0ms (0.5%)

prune163.0ms (1.4%)

localize18.0ms (0.1%)

rewrite18.0ms (0.2%)

series282.0ms (2.3%)

simplify91.0ms (0.8%)

prune126.0ms (1%)

localize20.0ms (0.2%)

rewrite21.0ms (0.2%)

series289.0ms (2.4%)

simplify90.0ms (0.7%)

prune129.0ms (1.1%)

localize19.0ms (0.2%)

rewrite17.0ms (0.1%)

series240.0ms (2%)

simplify60.0ms (0.5%)

prune134.0ms (1.1%)

regimes953.0ms (7.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample6.9s (57.7%)

Profiling