Details

analyze18.8s (14%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5141	1925
0	5	5
1	5	5

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
6.2%	93.5%	0.2%	11
6.2%	93.5%	0.2%	12
7.8%	92%	0.2%	13
8.6%	91.2%	0.2%	14

Compiler

Compiled 110 to 84 computations (23.6% saved)

sample2.1s (1.5%)

Algorithm

1×

intervals

Results

596.0ms	53×	body	4096	valid
387.0ms	55×	body	2048	valid
338.0ms	28×	body	4096	invalid
198.0ms	30×	body	2048	invalid
136.0ms	29×	body	1024	valid
95.0ms	102×	body	128	valid
60.0ms	12×	body	1024	invalid
50.0ms	2×	body	8192	valid
48.0ms	2×	body	8192	invalid
39.0ms	14×	body	512	valid
27.0ms	9×	body	512	invalid
22.0ms	27×	body	128	invalid
9.0ms	5×	body	256	invalid
2.0ms	1×	body	256	valid

Compiler

Compiled 219 to 172 computations (21.5% saved)

simplify45.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5232	172

prune24.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

41.3b

Counts

2 → 2

Compiler

Compiled 323 to 229 computations (29.1% saved)

localize89.0ms (0.1%)

Local error

Found 4 expressions with local error:

29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite289.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

41.0b

Rules

4×	`pow1_binary64_139` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`

Counts

4 → 28

Calls

4 calls:

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

Compiler

Compiled 3248 to 2318 computations (28.6% saved)

series384.0ms (0.3%)

Error

41.3b

Counts

4 → 14

Calls

4 calls:

73.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
73.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
60.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
58.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 4380 to 3267 computations (25.4% saved)

simplify94.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4838	514
1	4838	514

prune443.0ms (0.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	37	5	42
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	38	6	44

Error

41.0b

Counts

44 → 6

Compiler

Compiled 5389 to 3859 computations (28.4% saved)

localize96.0ms (0.1%)

Local error

Found 4 expressions with local error:

29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite271.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

41.0b

Rules

4×	`pow1_binary64_139` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`

Counts

4 → 28

Calls

4 calls:

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

Compiler

Compiled 3332 to 2402 computations (27.9% saved)

series392.0ms (0.3%)

Error

41.0b

Counts

4 → 14

Calls

4 calls:

79.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
79.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
61.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
61.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 4500 to 3387 computations (24.7% saved)

simplify93.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4838	514
1	4838	514

prune424.0ms (0.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	42	6	48

Error

41.0b

Counts

48 → 6

Compiler

Compiled 5403 to 3899 computations (27.8% saved)

localize99.0ms (0.1%)

Local error

Found 4 expressions with local error:

29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite286.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

41.0b

Rules

4×	`pow1_binary64_139` `add-log-exp_binary64_117` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`

Counts

4 → 28

Calls

4 calls:

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

Compiler

Compiled 3332 to 2402 computations (27.9% saved)

series392.0ms (0.3%)

Error

41.0b

Counts

4 → 14

Calls

4 calls:

79.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
73.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
63.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
60.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 4500 to 3387 computations (24.7% saved)

simplify94.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4838	514
1	4838	514

prune437.0ms (0.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	40	2	42
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	42	6	48

Error

41.0b

Counts

48 → 6

Compiler

Compiled 5408 to 3904 computations (27.8% saved)

localize113.0ms (0.1%)

Local error

Found 4 expressions with local error:

29.7b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
29.7b	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.0b	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (log.f64 (exp.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)))

rewrite689.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

38.2b

Rules

15×	`associate-*r/_binary64_20`
9×	`frac-sub_binary64_87`
7×	`associate-*l/_binary64_21`
6×	`add-log-exp_binary64_117` `frac-times_binary64_88`
4×	`pow1_binary64_139` `add-exp-log_binary64_116` `add-cbrt-cube_binary64_114` `add-cube-cbrt_binary64_113` `add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`
2×	`sub-div_binary64_85`
1×	`diff-log_binary64_170` `flip3--_binary64_82` `sub-neg_binary64_71` `flip--_binary64_53` `cancel-sign-sub-inv_binary64_44`

Counts

4 → 44

Calls

4 calls:

79.0ms	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (log.f64 (exp.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)))
4.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
3.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
3.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 6380 to 4592 computations (28% saved)

series19.5s (14.5%)

Error

30.1b

Counts

4 → 31

Calls

4 calls:

18.9s	(-.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) x-scale) y-scale) (/.f64 (/.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) (log.f64 (exp.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))))) x-scale) y-scale)) (.f64 (.f64 4 (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) PI.f64))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) PI.f64))) 2)) x-scale) x-scale)) (/.f64 (/.f64 (+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (/.f64 angle 180) PI.f64))) 2)) y-scale) y-scale)))
86.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))
74.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
67.0ms	(cos.f64 (*.f64 (/.f64 angle 180) PI.f64))

Compiler

Compiled 12934 to 9574 computations (26% saved)

simplify182.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5149	8614

prune746.0ms (0.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	70	5	75
Fresh	3	1	4
Picked	0	1	1
Done	1	0	1
Total	74	7	81

Error

27.8b

Counts

81 → 7

Compiler

Compiled 9169 to 5790 computations (36.9% saved)

regimes6.2s (4.6%)

Accuracy

Total 4.1b remaining (13.5%)

Threshold costs 0b (0%)

Compiler

Compiled 60344 to 44498 computations (26.3% saved)

bsearch5.1s (3.8%)

Steps

Iters	Range		Point
10	5.460592494985294e+144	1.2370841634187474e+157	1.3138355265440023e+154
10	4.0705527001818706e-91	3.727118535593084e-72	2.8219450278693245e-72
7	-2.5351938295507255e-52	-5.338272757860085e-54	-3.5617364763359223e-53
9	-2.333967477788946e+107	-1.4489264183286603e+102	-6.27253968024875e+104

Compiler

Compiled 1 to 5 computations (-400% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	51	53
1	51	53

end0.0ms (0%)

sample1.3min (57.2%)

Algorithm

1×

intervals

Results

17.4s	1423×	body	4096	valid
12.6s	1712×	body	2048	valid
10.0s	804×	body	4096	invalid
8.6s	1120×	body	2048	invalid
4.1s	868×	body	1024	valid
3.5s	3393×	body	128	valid
3.2s	648×	body	1024	invalid
1.9s	72×	body	8192	valid
1.2s	382×	body	512	valid
1.1s	39×	body	8192	invalid
908.0ms	973×	body	128	invalid
866.0ms	276×	body	512	invalid
280.0ms	150×	body	256	valid
207.0ms	108×	body	256	invalid

Compiler

Compiled 7454 to 5495 computations (26.3% saved)

Details

analyze18.8s (14%)

sample2.1s (1.5%)

simplify45.0ms (0%)

prune24.0ms (0%)

localize89.0ms (0.1%)

rewrite289.0ms (0.2%)

series384.0ms (0.3%)

simplify94.0ms (0.1%)

prune443.0ms (0.3%)

localize96.0ms (0.1%)

rewrite271.0ms (0.2%)

series392.0ms (0.3%)

simplify93.0ms (0.1%)

prune424.0ms (0.3%)

localize99.0ms (0.1%)

rewrite286.0ms (0.2%)

series392.0ms (0.3%)

simplify94.0ms (0.1%)

prune437.0ms (0.3%)

localize113.0ms (0.1%)

rewrite689.0ms (0.5%)

series19.5s (14.5%)

simplify182.0ms (0.1%)

prune746.0ms (0.6%)

regimes6.2s (4.6%)

bsearch5.1s (3.8%)

simplify7.0ms (0%)

end0.0ms (0%)

sample1.3min (57.2%)

Profiling