Details

analyze477.0ms (11.4%)

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
12.5%	87.4%	0.1%	7
25%	74.9%	0.1%	8
31.2%	64%	4.8%	9
31.2%	42.1%	26.7%	10
35.9%	37.1%	27.1%	11
38.2%	32.2%	29.6%	12
47.8%	21.6%	30.6%	13
50.2%	19%	30.8%	14

Compiler

Compiled 16 to 9 computations (43.8% saved)

sample20.0ms (0.5%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
0.0ms	13×	body	128	invalid

Compiler

Compiled 31 to 20 computations (35.5% saved)

simplify91.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	41	13
1	41	13

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

0.0b

Counts

2 → 2

Compiler

Compiled 33 to 24 computations (27.3% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z (*.f64 z 3)))
0.2b	(.f64 z (.f64 z 3))

rewrite13.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639` `pow1_binary64_8664`
4×	`add-log-exp_binary64_8642`
3×	`add-cube-cbrt_binary64_8638` `add-sqr-sqrt_binary64_8625` `cbrt-unprod_binary64_8636` `associate-l_binary64_8544` `*-un-lft-identity_binary64_8603` `prod-exp_binary64_8652` `pow-prod-down_binary64_8674`
1×	`flip3-+_binary64_8606` `flip-+_binary64_8577` `-commutative_binary64_8534` `associate-r*_binary64_8543` `sum-log_binary64_8694` `+-commutative_binary64_8533`

Counts

2 → 29

Calls

2 calls:

7.0ms	(.f64 z (.f64 z 3))
5.0ms	(+.f64 (.f64 x y) (.f64 z (*.f64 z 3)))

series84.0ms (2%)

Counts

2 → 6

Calls

2 calls:

65.0ms	(+.f64 (.f64 x y) (.f64 z (*.f64 z 3)))
19.0ms	(.f64 z (.f64 z 3))

simplify93.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4926	419
1	4926	419

prune33.0ms (0.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	31	4	35
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	32	5	37

Error

0.0b

Counts

37 → 5

Compiler

Compiled 505 to 288 computations (43% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 (*.f64 z z) 3))
0.2b	(.f64 (.f64 z z) 3)

rewrite23.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639` `pow1_binary64_8664`
4×	`add-log-exp_binary64_8642` `add-sqr-sqrt_binary64_8625`
3×	`add-cube-cbrt_binary64_8638` `cbrt-unprod_binary64_8636` `-un-lft-identity_binary64_8603` `prod-exp_binary64_8652` `associate-r*_binary64_8543` `pow-prod-down_binary64_8674`
1×	`flip3-+_binary64_8606` `associate-l_binary64_8544` `flip-+_binary64_8577` `*-commutative_binary64_8534` `sum-log_binary64_8694` `+-commutative_binary64_8533` `unswap-sqr_binary64_8571`

Counts

2 → 30

Calls

2 calls:

11.0ms	(.f64 (.f64 z z) 3)
8.0ms	(+.f64 (.f64 x y) (.f64 (*.f64 z z) 3))

series85.0ms (2%)

Counts

2 → 6

Calls

2 calls:

56.0ms	(+.f64 (.f64 x y) (.f64 (*.f64 z z) 3))
29.0ms	(.f64 (.f64 z z) 3)

simplify74.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4914	435
1	4914	435

prune52.0ms (1.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	36	5	41

Error

0.0b

Counts

41 → 5

Compiler

Compiled 514 to 261 computations (49.2% saved)

localize18.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b

(+.f64 (*.f64 x y) (*.f64 (*.f64 (*.f64 z z) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))

0.2b

(*.f64 (*.f64 z z) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))

0.3b

(*.f64 (*.f64 (*.f64 z z) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))

rewrite53.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

49×	`pow1_binary64_8664`
33×	`add-exp-log_binary64_8641`
27×	`pow-prod-down_binary64_8674`
21×	`cbrt-unprod_binary64_8636` `prod-exp_binary64_8652`
20×	`add-cbrt-cube_binary64_8639`
7×	`associate-r_binary64_8543`
5×	`add-cube-cbrt_binary64_8638` `add-log-exp_binary64_8642` `add-sqr-sqrt_binary64_8625` `*-un-lft-identity_binary64_8603`
4×	`pow-prod-up_binary64_8673` `pow-plus_binary64_8666`
3×	`cbrt-prod_binary64_8634`
2×	`associate-l_binary64_8544` `*-commutative_binary64_8534` `pow2_binary64_8684` `pow-sqr_binary64_8576`
1×	`flip3-+_binary64_8606` `flip-+_binary64_8577` `sum-log_binary64_8694` `+-commutative_binary64_8533` `unswap-sqr_binary64_8571`

Counts

3 → 70

Calls

3 calls:

21.0ms

(*.f64 (*.f64 (*.f64 z z) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))

11.0ms

(*.f64 (*.f64 z z) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))

8.0ms

(+.f64 (*.f64 x y) (*.f64 (*.f64 (*.f64 z z) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))

series305.0ms (7.3%)

Counts

3 → 9

Calls

3 calls:

111.0ms

(*.f64 (*.f64 (*.f64 z z) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3))

108.0ms

(+.f64 (*.f64 x y) (*.f64 (*.f64 (*.f64 z z) (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (cbrt.f64 3)))

84.0ms

(*.f64 (*.f64 z z) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))

simplify115.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4960	884
1	4960	884

prune96.0ms (2.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	79	5	84

Error

0.0b

Counts

84 → 5

Compiler

Compiled 1219 to 747 computations (38.7% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 (.f64 (pow.f64 (cbrt.f64 3) 2) (.f64 (.f64 z z) (.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))) (cbrt.f64 (cbrt.f64 3))))
0.2b	(.f64 (.f64 z z) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))
0.2b	(.f64 (.f64 (pow.f64 (cbrt.f64 3) 2) (.f64 (.f64 z z) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))) (cbrt.f64 (cbrt.f64 3)))
0.2b	(.f64 (pow.f64 (cbrt.f64 3) 2) (.f64 (.f64 z z) (.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))))

rewrite93.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

131×	`add-exp-log_binary64_8641`
102×	`prod-exp_binary64_8652`
41×	`add-cbrt-cube_binary64_8639`
40×	`cbrt-unprod_binary64_8636`
34×	`pow1_binary64_8664`
17×	`pow-prod-down_binary64_8674`
13×	`associate-l_binary64_8544`
12×	`cbrt-prod_binary64_8634`
11×	`associate-r_binary64_8543`
10×	`add-cube-cbrt_binary64_8638` `add-sqr-sqrt_binary64_8625` `*-un-lft-identity_binary64_8603` `pow-to-exp_binary64_8672` `pow-exp_binary64_8671`
6×	`add-log-exp_binary64_8642` `unpow-prod-down_binary64_8682`
4×	`pow-prod-up_binary64_8673` `pow-plus_binary64_8666` `pow2_binary64_8684`
3×	`*-commutative_binary64_8534`
2×	`pow-sqr_binary64_8576`
1×	`flip3-+_binary64_8606` `sqr-pow_binary64_8575` `flip-+_binary64_8577` `unpow2_binary64_8668` `sum-log_binary64_8694` `+-commutative_binary64_8533` `unswap-sqr_binary64_8571`

Counts

4 → 122

Calls

4 calls:

29.0ms	(.f64 (.f64 (pow.f64 (cbrt.f64 3) 2) (.f64 (.f64 z z) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))) (cbrt.f64 (cbrt.f64 3)))
22.0ms	(.f64 (pow.f64 (cbrt.f64 3) 2) (.f64 (.f64 z z) (.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))))
16.0ms	(.f64 (.f64 z z) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))
6.0ms	(+.f64 (.f64 x y) (.f64 (.f64 (pow.f64 (cbrt.f64 3) 2) (.f64 (.f64 z z) (.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))) (cbrt.f64 (cbrt.f64 3))))

series598.0ms (14.3%)

Counts

4 → 12

Calls

4 calls:

230.0ms	(.f64 (pow.f64 (cbrt.f64 3) 2) (.f64 (.f64 z z) (.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3)))))
193.0ms	(.f64 (.f64 z z) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))
94.0ms	(+.f64 (.f64 x y) (.f64 (.f64 (pow.f64 (cbrt.f64 3) 2) (.f64 (.f64 z z) (.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))) (cbrt.f64 (cbrt.f64 3))))
81.0ms	(.f64 (.f64 (pow.f64 (cbrt.f64 3) 2) (.f64 (.f64 z z) (*.f64 (cbrt.f64 (cbrt.f64 3)) (cbrt.f64 (cbrt.f64 3))))) (cbrt.f64 (cbrt.f64 3)))

simplify107.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4969	2174
1	4969	2174

prune197.0ms (4.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	134	5	139

Error

0.0b

Counts

139 → 5

Compiler

Compiled 2789 to 2035 computations (27% saved)

regimes264.0ms (6.3%)

Accuracy

Total 0.1b remaining (95.9%)

Threshold costs 0.1b (95.9%)

Compiler

Compiled 1224 to 1082 computations (11.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	12	13

end0.0ms (0%)

sample1.3s (30.1%)

Algorithm

1×

intervals

Results

351.0ms	8000×	body	128	valid
20.0ms	448×	body	128	invalid

Compiler

Compiled 230 to 200 computations (13% saved)

Details

analyze477.0ms (11.4%)

sample20.0ms (0.5%)

simplify91.0ms (2.2%)

prune5.0ms (0.1%)

localize7.0ms (0.2%)

rewrite13.0ms (0.3%)

series84.0ms (2%)

simplify93.0ms (2.2%)

prune33.0ms (0.8%)

localize9.0ms (0.2%)

rewrite23.0ms (0.5%)

series85.0ms (2%)

simplify74.0ms (1.8%)

prune52.0ms (1.3%)

localize18.0ms (0.4%)

rewrite53.0ms (1.3%)

series305.0ms (7.3%)

simplify115.0ms (2.7%)

prune96.0ms (2.3%)

localize14.0ms (0.3%)

rewrite93.0ms (2.2%)

series598.0ms (14.3%)

simplify107.0ms (2.6%)

prune197.0ms (4.7%)

regimes264.0ms (6.3%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.3s (30.1%)

Profiling