Details

analyze4.1s (13.1%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5046	1591
0	9	9
1	9	9

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14
0%	99.6%	0.4%	14

Compiler

Compiled 60 to 48 computations (20% saved)

sample5.2s (16.4%)

Algorithm

2×

intervals

Results

57.0ms	610×	body	128	invalid
37.0ms	512×	body	128	valid

Compiler

Compiled 18479 to 20318 computations (-10% saved)

simplify585.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (579.0ms)

Iter	Nodes	Cost
0	4635	43
1	4635	43

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

10.4b

Counts

2 → 1

Compiler

Compiled 58 to 46 computations (20.7% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
3.8b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
4.0b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
4.6b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

rewrite258.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

10.2b

Rules

34×	`associate-*r/_binary64_15365`
19×	`flip3--_binary64_15427` `flip--_binary64_15398`
16×	`add-sqr-sqrt_binary64_15445`
12×	`frac-add_binary64_15431`
11×	`sub-neg_binary64_15416` `cancel-sign-sub-inv_binary64_15389`
10×	`pow1_binary64_15484` `add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459` `add-cube-cbrt_binary64_15458` `*-un-lft-identity_binary64_15423` `distribute-rgt-in_binary64_15373` `distribute-lft-in_binary64_15372`
9×	`add-log-exp_binary64_15462` `associate-l_binary64_15364` `associate-r_binary64_15363`
8×	`frac-sub_binary64_15432`
6×	`associate-+l+_binary64_15356`
4×	`associate--l+_binary64_15360` `associate-+r+_binary64_15355`
3×	`pow-prod-down_binary64_15494` `prod-exp_binary64_15472` `cbrt-unprod_binary64_15456` `unswap-sqr_binary64_15391` `*-commutative_binary64_15354`
2×	`sum-log_binary64_15514`
1×	`diff-log_binary64_15515` `flip3-+_binary64_15426` `flip-+_binary64_15397` `associate-+l-_binary64_15358` `+-commutative_binary64_15353`

Counts

4 → 107

Calls

4 calls:

13.0ms	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
6.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
6.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

Compiler

Compiled 5754 to 624 computations (89.2% saved)

series3.5s (11.2%)

Error

0.0b

Counts

4 → 135

Calls

4 calls:

2.2s	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 j (-.f64 (.f64 c t) (*.f64 i y))))
432.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
406.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
386.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

Compiler

Compiled 9612 to 4999 computations (48% saved)

simplify78.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

242 → 242

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5259	7913

prune324.0ms (1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	227	15	242
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	228	15	243

Error

0.0b

Counts

243 → 15

Compiler

Compiled 9447 to 978 computations (89.6% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 t (.f64 c j)))
4.0b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
4.4b	(.f64 t (.f64 c j))
4.6b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

rewrite148.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`pow1_binary64_15484` `add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459` `add-sqr-sqrt_binary64_15445`
9×	`add-log-exp_binary64_15462` `add-cube-cbrt_binary64_15458` `-un-lft-identity_binary64_15423` `associate-l*_binary64_15364`
7×	`sub-neg_binary64_15416` `cancel-sign-sub-inv_binary64_15389` `associate-r_binary64_15363`
6×	`distribute-rgt-in_binary64_15373` `distribute-lft-in_binary64_15372` `associate-+l+_binary64_15356`
5×	`pow-prod-down_binary64_15494` `prod-exp_binary64_15472` `cbrt-unprod_binary64_15456`
4×	`associate-*r/_binary64_15365` `associate--l+_binary64_15360`
3×	`*-commutative_binary64_15354`
2×	`unswap-sqr_binary64_15391` `flip3--_binary64_15427` `flip--_binary64_15398` `sum-log_binary64_15514`
1×	`diff-log_binary64_15515` `flip3-+_binary64_15426` `flip-+_binary64_15397` `associate-+l-_binary64_15358` `+-commutative_binary64_15353`

Counts

4 → 85

Calls

4 calls:

12.0ms	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 t (.f64 c j)))
7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
6.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.0ms	(.f64 t (.f64 c j))

Compiler

Compiled 2926 to 404 computations (86.2% saved)

series2.9s (9.1%)

Error

0.0b

Counts

4 → 117

Calls

4 calls:

1.8s	(+.f64 (-.f64 (.f64 x (-.f64 (.f64 y z) (.f64 t a))) (.f64 b (-.f64 (.f64 c z) (.f64 i a)))) (.f64 t (.f64 c j)))
421.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
383.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
142.0ms	(.f64 t (.f64 c j))

Compiler

Compiled 7116 to 3962 computations (44.3% saved)

simplify80.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5021	3830

prune229.0ms (0.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	198	4	202
Fresh	3	11	14
Picked	1	0	1
Done	0	0	0
Total	202	15	217

Error

0.0b

Counts

217 → 15

Compiler

Compiled 5779 to 724 computations (87.5% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.0b	(.f64 (.f64 c j) (cbrt.f64 t))
2.5b	(.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 c j) (cbrt.f64 t)))
4.0b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
4.6b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

rewrite179.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

34×	`pow1_binary64_15484` `add-exp-log_binary64_15461`
22×	`add-cbrt-cube_binary64_15459`
20×	`pow-prod-down_binary64_15494` `prod-exp_binary64_15472` `cbrt-unprod_binary64_15456`
14×	`add-sqr-sqrt_binary64_15445`
13×	`associate-r_binary64_15363`
10×	`add-cube-cbrt_binary64_15458` `*-un-lft-identity_binary64_15423`
8×	`associate-l_binary64_15364`
4×	`add-log-exp_binary64_15462` `sub-neg_binary64_15416` `distribute-rgt-in_binary64_15373` `cancel-sign-sub-inv_binary64_15389` `distribute-lft-in_binary64_15372` `associate-r/_binary64_15365` `-commutative_binary64_15354`
3×	`cbrt-prod_binary64_15454`
2×	`unswap-sqr_binary64_15391` `flip3--_binary64_15427` `flip--_binary64_15398`

Counts

4 → 97

Calls

4 calls:

12.0ms	(.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 c j) (cbrt.f64 t)))
9.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
6.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
6.0ms	(.f64 (.f64 c j) (cbrt.f64 t))

Compiler

Compiled 3830 to 473 computations (87.7% saved)

series1.5s (4.9%)

Error

0.0b

Counts

4 → 72

Calls

4 calls:

436.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
432.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
427.0ms	(.f64 (.f64 c j) (cbrt.f64 t))
164.0ms	(.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 c j) (cbrt.f64 t)))

Compiler

Compiled 6018 to 3076 computations (48.9% saved)

simplify96.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4894	1998
1	4894	1998

prune221.0ms (0.7%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	168	1	169
Fresh	1	13	14
Picked	1	0	1
Done	0	0	0
Total	170	14	184

Error

0.0b

Counts

184 → 14

Compiler

Compiled 6107 to 744 computations (87.8% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

4.6b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
12.9b	(cbrt.f64 (.f64 (.f64 c j) (cbrt.f64 t)))
12.9b	(cbrt.f64 (.f64 (.f64 c j) (cbrt.f64 t)))
12.9b	(cbrt.f64 (.f64 (.f64 c j) (cbrt.f64 t)))

rewrite114.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

8×	`add-sqr-sqrt_binary64_15445`
6×	`pow1_binary64_15484` `add-exp-log_binary64_15461` `add-cbrt-cube_binary64_15459` `add-cube-cbrt_binary64_15458` `*-un-lft-identity_binary64_15423`
4×	`add-log-exp_binary64_15462`
3×	`pow1/3_binary64_15505` `cbrt-prod_binary64_15454` `associate-l_binary64_15364` `associate-r_binary64_15363`
2×	`sub-neg_binary64_15416` `distribute-rgt-in_binary64_15373` `cancel-sign-sub-inv_binary64_15389` `distribute-lft-in_binary64_15372` `associate-*r/_binary64_15365`
1×	`pow-prod-down_binary64_15494` `prod-exp_binary64_15472` `cbrt-unprod_binary64_15456` `unswap-sqr_binary64_15391` `flip3--_binary64_15427` `flip--_binary64_15398` `*-commutative_binary64_15354`

Counts

4 → 51

Calls

4 calls:

6.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
4.0ms	(cbrt.f64 (.f64 (.f64 c j) (cbrt.f64 t)))
4.0ms	(cbrt.f64 (.f64 (.f64 c j) (cbrt.f64 t)))
4.0ms	(cbrt.f64 (.f64 (.f64 c j) (cbrt.f64 t)))

Compiler

Compiled 2871 to 283 computations (90.1% saved)

series2.7s (8.7%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

751.0ms	(cbrt.f64 (.f64 (.f64 c j) (cbrt.f64 t)))
728.0ms	(cbrt.f64 (.f64 (.f64 c j) (cbrt.f64 t)))
721.0ms	(cbrt.f64 (.f64 (.f64 c j) (cbrt.f64 t)))
437.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))

Compiler

Compiled 7845 to 3552 computations (54.7% saved)

simplify60.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5001	1420

prune158.0ms (0.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	105	14	119

Error

0.0b

Counts

119 → 14

Compiler

Compiled 5454 to 500 computations (90.8% saved)

regimes4.1s (13%)

Accuracy

Total 5.4b remaining (99.3%)

Threshold costs 0b (0%)

Compiler

Compiled 42835 to 27717 computations (35.3% saved)

bsearch10.0ms (0%)

Compiler: Compiled 29 to 23 computations (20.7% saved)

simplify37.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	1164	228
1	1164	228

end0.0ms (0%)

sample4.8s (15.1%)

Algorithm

1×

intervals

Results

842.0ms	11035×	body	128	invalid
605.0ms	8000×	body	128	valid

Compiler

Compiled 4626 to 2886 computations (37.6% saved)

Details

analyze4.1s (13.1%)

sample5.2s (16.4%)

simplify585.0ms (1.9%)

prune4.0ms (0%)

localize20.0ms (0.1%)

rewrite258.0ms (0.8%)

series3.5s (11.2%)

simplify78.0ms (0.2%)

prune324.0ms (1%)

localize18.0ms (0.1%)

rewrite148.0ms (0.5%)

series2.9s (9.1%)

simplify80.0ms (0.3%)

prune229.0ms (0.7%)

localize23.0ms (0.1%)

rewrite179.0ms (0.6%)

series1.5s (4.9%)

simplify96.0ms (0.3%)

prune221.0ms (0.7%)

localize31.0ms (0.1%)

rewrite114.0ms (0.4%)

series2.7s (8.7%)

simplify60.0ms (0.2%)

prune158.0ms (0.5%)

regimes4.1s (13%)

bsearch10.0ms (0%)

simplify37.0ms (0.1%)

end0.0ms (0%)

sample4.8s (15.1%)

Profiling