Details

analyze126.0ms (3.5%)

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
25%	74.9%	0.1%	5
25%	62.4%	12.6%	6
31.2%	50%	18.8%	7
40.6%	37.5%	22%	8
45.3%	26.5%	28.2%	9
46.8%	19.5%	33.7%	10
48.8%	14%	37.2%	11
51.7%	10.1%	38.1%	12
52.8%	7.1%	40.1%	13
53.3%	5.1%	41.6%	14

Compiler

Compiled 20 to 12 computations (40% saved)

sample21.0ms (0.6%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 39 to 25 computations (35.9% saved)

simplify237.0ms (6.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (143.0ms)

Iter	Nodes	Cost
0	4956	20
1	4956	20

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

Error

8.6b

Counts

2 → 2

Compiler

Compiled 41 to 29 computations (29.3% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (pow.f64 x.re 3) (.f64 x.re (.f64 (*.f64 x.im x.im) -3)))
0.2b	(.f64 (.f64 x.im x.im) -3)
8.4b	(.f64 x.re (.f64 (*.f64 x.im x.im) -3))

rewrite30.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `pow1_binary64_2867`
9×	`prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `pow-prod-down_binary64_2877`
6×	`add-sqr-sqrt_binary64_2828`
5×	`*-un-lft-identity_binary64_2806` `add-log-exp_binary64_2845` `add-cube-cbrt_binary64_2841`
4×	`associate-l_binary64_2747` `associate-r_binary64_2746`
2×	`*-commutative_binary64_2737`
1×	`distribute-lft-out_binary64_2757` `flip-+_binary64_2780` `sum-log_binary64_2897` `flip3-+_binary64_2809` `cube-mult_binary64_2836` `unswap-sqr_binary64_2774` `+-commutative_binary64_2736`

Counts

3 → 52

Calls

3 calls:

13.0ms	(+.f64 (pow.f64 x.re 3) (.f64 x.re (.f64 (*.f64 x.im x.im) -3)))
8.0ms	(.f64 x.re (.f64 (*.f64 x.im x.im) -3))
6.0ms	(.f64 (.f64 x.im x.im) -3)

series246.0ms (6.8%)

Counts

3 → 21

Calls

3 calls:

145.0ms	(+.f64 (pow.f64 x.re 3) (.f64 x.re (.f64 (*.f64 x.im x.im) -3)))
76.0ms	(.f64 x.re (.f64 (*.f64 x.im x.im) -3))
25.0ms	(.f64 (.f64 x.im x.im) -3)

Compiler

Compiled 360 to 333 computations (7.5% saved)

simplify76.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4951	1038
1	4951	1038

prune76.0ms (2.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	67	6	73
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	67	8	75

Error

8.4b

Counts

75 → 8

Compiler

Compiled 1107 to 826 computations (25.4% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (pow.f64 x.re 3) (.f64 x.re (.f64 x.im (*.f64 x.im -3))))
0.2b	(.f64 x.im (.f64 x.im -3))
8.4b	(.f64 x.re (.f64 x.im (*.f64 x.im -3)))

rewrite24.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `pow1_binary64_2867`
9×	`prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `pow-prod-down_binary64_2877`
6×	`associate-l_binary64_2747`
5×	`add-sqr-sqrt_binary64_2828` `*-un-lft-identity_binary64_2806` `add-log-exp_binary64_2845` `add-cube-cbrt_binary64_2841`
2×	`-commutative_binary64_2737` `associate-r*_binary64_2746`
1×	`distribute-lft-out_binary64_2757` `flip-+_binary64_2780` `sum-log_binary64_2897` `flip3-+_binary64_2809` `cube-mult_binary64_2836` `+-commutative_binary64_2736`

Counts

3 → 51

Calls

3 calls:

9.0ms	(+.f64 (pow.f64 x.re 3) (.f64 x.re (.f64 x.im (*.f64 x.im -3))))
7.0ms	(.f64 x.re (.f64 x.im (*.f64 x.im -3)))
5.0ms	(.f64 x.im (.f64 x.im -3))

series252.0ms (7%)

Counts

3 → 21

Calls

3 calls:

158.0ms	(+.f64 (pow.f64 x.re 3) (.f64 x.re (.f64 x.im (*.f64 x.im -3))))
71.0ms	(.f64 x.re (.f64 x.im (*.f64 x.im -3)))
23.0ms	(.f64 x.im (.f64 x.im -3))

Compiler

Compiled 360 to 333 computations (7.5% saved)

simplify130.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	4964	1018
1	4964	1018

prune68.0ms (1.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	73	7	80

Error

0.0b

Counts

80 → 7

Compiler

Compiled 1079 to 807 computations (25.2% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (pow.f64 x.re 3) (.f64 (.f64 x.re x.im) (*.f64 x.im -3)))
0.2b	(.f64 (.f64 x.re x.im) (*.f64 x.im -3))

rewrite17.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-exp-log_binary64_2844` `add-cbrt-cube_binary64_2842` `pow1_binary64_2867`
8×	`prod-exp_binary64_2855` `cbrt-unprod_binary64_2839` `pow-prod-down_binary64_2877`
4×	`add-log-exp_binary64_2845`
2×	`add-sqr-sqrt_binary64_2828` `*-un-lft-identity_binary64_2806` `add-cube-cbrt_binary64_2841`
1×	`associate-l_binary64_2747` `-commutative_binary64_2737` `flip-+_binary64_2780` `sum-log_binary64_2897` `flip3-+_binary64_2809` `associate-r*_binary64_2746` `+-commutative_binary64_2736`

Counts

2 → 33

Calls

2 calls:

9.0ms	(+.f64 (pow.f64 x.re 3) (.f64 (.f64 x.re x.im) (*.f64 x.im -3)))
6.0ms	(.f64 (.f64 x.re x.im) (*.f64 x.im -3))

series230.0ms (6.4%)

Counts

2 → 18

Calls

2 calls:

156.0ms	(+.f64 (pow.f64 x.re 3) (.f64 (.f64 x.re x.im) (*.f64 x.im -3)))
74.0ms	(.f64 (.f64 x.re x.im) (*.f64 x.im -3))

Compiler

Compiled 294 to 273 computations (7.1% saved)

simplify82.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5102	827

prune48.0ms (1.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	51	7	58

Error

0.0b

Counts

58 → 7

Compiler

Compiled 777 to 583 computations (25% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (pow.f64 x.re 3) (.f64 x.re (.f64 (.f64 (pow.f64 x.im 2) (.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (cbrt.f64 -3))))
0.1b	(.f64 (pow.f64 x.im 2) (.f64 (cbrt.f64 -3) (cbrt.f64 -3)))
0.2b	(.f64 (.f64 (pow.f64 x.im 2) (*.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (cbrt.f64 -3))
8.4b	(.f64 x.re (.f64 (.f64 (pow.f64 x.im 2) (.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (cbrt.f64 -3)))

rewrite59.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`add-exp-log_binary64_2844`
49×	`prod-exp_binary64_2855`
20×	`add-cbrt-cube_binary64_2842`
19×	`cbrt-unprod_binary64_2839`
12×	`associate-l_binary64_2747`
11×	`add-sqr-sqrt_binary64_2828` `pow1_binary64_2867`
9×	`*-un-lft-identity_binary64_2806` `add-cube-cbrt_binary64_2841`
8×	`associate-r_binary64_2746`
6×	`pow-exp_binary64_2874` `pow-to-exp_binary64_2875` `add-log-exp_binary64_2845`
5×	`pow-prod-down_binary64_2877`
4×	`unpow-prod-down_binary64_2885` `unswap-sqr_binary64_2774`
3×	`*-commutative_binary64_2737` `cbrt-prod_binary64_2837`
2×	`sqr-pow_binary64_2778` `unpow2_binary64_2871`
1×	`distribute-lft-out_binary64_2757` `flip-+_binary64_2780` `sum-log_binary64_2897` `flip3-+_binary64_2809` `cube-mult_binary64_2836` `pow2_binary64_2887` `+-commutative_binary64_2736`

Counts

4 → 94

Calls

4 calls:

15.0ms	(.f64 x.re (.f64 (.f64 (pow.f64 x.im 2) (.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (cbrt.f64 -3)))
14.0ms	(+.f64 (pow.f64 x.re 3) (.f64 x.re (.f64 (.f64 (pow.f64 x.im 2) (.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (cbrt.f64 -3))))
12.0ms	(.f64 (.f64 (pow.f64 x.im 2) (*.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (cbrt.f64 -3))
9.0ms	(.f64 (pow.f64 x.im 2) (.f64 (cbrt.f64 -3) (cbrt.f64 -3)))

series592.0ms (16.4%)

Counts

4 → 24

Calls

4 calls:

277.0ms	(+.f64 (pow.f64 x.re 3) (.f64 x.re (.f64 (.f64 (pow.f64 x.im 2) (.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (cbrt.f64 -3))))
191.0ms	(.f64 x.re (.f64 (.f64 (pow.f64 x.im 2) (.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (cbrt.f64 -3)))
69.0ms	(.f64 (.f64 (pow.f64 x.im 2) (*.f64 (cbrt.f64 -3) (cbrt.f64 -3))) (cbrt.f64 -3))
56.0ms	(.f64 (pow.f64 x.im 2) (.f64 (cbrt.f64 -3) (cbrt.f64 -3)))

Compiler

Compiled 561 to 528 computations (5.9% saved)

simplify60.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5087	1642

prune117.0ms (3.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	115	3	118
Fresh	3	1	4
Picked	0	1	1
Done	0	2	2
Total	118	7	125

Error

0.0b

Counts

125 → 7

Compiler

Compiled 1892 to 1497 computations (20.9% saved)

regimes123.0ms (3.4%)

Accuracy

Total 0.1b remaining (74.8%)

Threshold costs 0.1b (74.8%)

Compiler

Compiled 1122 to 948 computations (15.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	20
1	16	20

end0.0ms (0%)

sample964.0ms (26.6%)

Algorithm

1×

intervals

Results

353.0ms	8000×	body	128	valid
17.0ms	391×	body	128	invalid

Compiler

Compiled 408 to 340 computations (16.7% saved)

Details

analyze126.0ms (3.5%)

sample21.0ms (0.6%)

simplify237.0ms (6.6%)

prune4.0ms (0.1%)

localize7.0ms (0.2%)

rewrite30.0ms (0.8%)

series246.0ms (6.8%)

simplify76.0ms (2.1%)

prune76.0ms (2.1%)

localize7.0ms (0.2%)

rewrite24.0ms (0.7%)

series252.0ms (7%)

simplify130.0ms (3.6%)

prune68.0ms (1.9%)

localize7.0ms (0.2%)

rewrite17.0ms (0.5%)

series230.0ms (6.4%)

simplify82.0ms (2.3%)

prune48.0ms (1.3%)

localize11.0ms (0.3%)

rewrite59.0ms (1.6%)

series592.0ms (16.4%)

simplify60.0ms (1.6%)

prune117.0ms (3.2%)

regimes123.0ms (3.4%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample964.0ms (26.6%)

Profiling