Details

analyze2.2s (19.7%)

Algorithm

1×

Search

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

Compiler

Compiled 30 to 24 computations (20% saved)

sample80.0ms (0.7%)

Algorithm

1×

intervals

Results

27.0ms	294×	body	128	invalid
19.0ms	256×	body	128	valid

Compiler

Compiled 59 to 56 computations (5.1% saved)

simplify571.0ms (5.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (399.0ms)

Iter	Nodes	Cost
0	5661	43

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

Merged error: 14.1b

Counts

2 → 1

Compiler

Compiled 58 to 46 computations (20.7% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.9b	(-.f64 (.f64 c t) (.f64 i y))
4.5b	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
5.3b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
6.2b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

rewrite37.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_14926`
10×	`pow1_binary64_14963` `*-un-lft-identity_binary64_14905` `add-cbrt-cube_binary64_14938` `add-cube-cbrt_binary64_14937` `add-exp-log_binary64_14940`
9×	`associate-r_binary64_14847` `associate-l_binary64_14848`
7×	`sub-neg_binary64_14898`
6×	`associate-*r/_binary64_14849` `add-log-exp_binary64_14941`
4×	`flip3--_binary64_14909` `flip--_binary64_14880`
3×	`pow-prod-down_binary64_14973` `cbrt-unprod_binary64_14935` `prod-exp_binary64_14951` `unswap-sqr_binary64_14873` `distribute-rgt-in_binary64_14857` `*-commutative_binary64_14838` `distribute-lft-in_binary64_14856`
1×	`diff-log_binary64_14994`

Counts

4 → 77

Calls

4 calls:

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

series595.0ms (5.3%)

Counts

4 → 12

Calls

4 calls:

176.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
173.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
164.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 i a)))
82.0ms	(-.f64 (.f64 c t) (.f64 i y))

simplify63.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4923	1390
1	4923	1390

prune154.0ms (1.4%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	67	22	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	22	90

Merged error: 8.3b

Counts

90 → 22

Compiler

Compiled 3957 to 948 computations (76% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.5b	(.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b))
3.3b	(.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b)))
5.3b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
6.2b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

rewrite50.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`pow1_binary64_14963` `add-exp-log_binary64_14940`
19×	`add-sqr-sqrt_binary64_14926`
15×	`add-cbrt-cube_binary64_14938`
13×	`associate-r_binary64_14847`
11×	`pow-prod-down_binary64_14973` `cbrt-unprod_binary64_14935` `*-un-lft-identity_binary64_14905` `prod-exp_binary64_14951` `add-cube-cbrt_binary64_14937`
10×	`associate-l_binary64_14848`
6×	`associate-*r/_binary64_14849`
4×	`sub-neg_binary64_14898` `flip3--_binary64_14909` `cbrt-prod_binary64_14933` `unswap-sqr_binary64_14873` `flip--_binary64_14880` `associate-l/_binary64_14850` `add-log-exp_binary64_14941` `-commutative_binary64_14838`
2×	`distribute-rgt-in_binary64_14857` `distribute-lft-in_binary64_14856`

Counts

4 → 92

Calls

4 calls:

16.0ms	(.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b)))
8.0ms	(.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b))
7.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
7.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

series894.0ms (7.9%)

Counts

4 → 12

Calls

4 calls:

287.0ms	(.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b))
266.0ms	(.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) (.f64 (-.f64 (.f64 z c) (*.f64 a i)) (cbrt.f64 b)))
180.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
160.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

simplify47.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5279	1683

prune155.0ms (1.4%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	100	4	104
Fresh	0	21	21
Picked	1	0	1
Done	0	0	0
Total	101	25	126

Merged error: 8.3b

Counts

126 → 25

Compiler

Compiled 5139 to 1122 computations (78.2% saved)

localize30.0ms (0.3%)

Local error

Found 4 expressions with local error:

6.2b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
6.6b	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))
6.6b	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))
6.6b	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))

rewrite31.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_14926`
9×	`cbrt-prod_binary64_14933` `*-un-lft-identity_binary64_14905` `add-cube-cbrt_binary64_14937`
6×	`pow1_binary64_14963` `add-cbrt-cube_binary64_14938` `add-exp-log_binary64_14940` `cbrt-div_binary64_14934`
4×	`flip3--_binary64_14909` `flip--_binary64_14880` `add-log-exp_binary64_14941`
3×	`pow1/3_binary64_14984` `associate-r_binary64_14847` `associate-l_binary64_14848`
2×	`sub-neg_binary64_14898` `associate-*r/_binary64_14849`
1×	`pow-prod-down_binary64_14973` `cbrt-unprod_binary64_14935` `prod-exp_binary64_14951` `unswap-sqr_binary64_14873` `distribute-rgt-in_binary64_14857` `*-commutative_binary64_14838` `distribute-lft-in_binary64_14856`

Counts

4 → 61

Calls

4 calls:

7.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
7.0ms	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))
4.0ms	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))
4.0ms	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))

series938.0ms (8.3%)

Counts

4 → 12

Calls

4 calls:

263.0ms	(cbrt.f64 (-.f64 (.f64 c z) (.f64 i a)))
260.0ms	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))
254.0ms	(cbrt.f64 (-.f64 (.f64 z c) (.f64 a i)))
161.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))

simplify83.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4947	1364
1	4947	1364

prune143.0ms (1.3%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	0	24	24
Picked	1	0	1
Done	0	0	0
Total	72	26	98

Merged error: 8.3b

Counts

98 → 26

Compiler

Compiled 5044 to 1174 computations (76.7% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.3b	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))
7.8b	(cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))
7.8b	(cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))
7.8b	(cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))

rewrite30.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_14926`
9×	`cbrt-prod_binary64_14933` `*-un-lft-identity_binary64_14905` `add-cube-cbrt_binary64_14937`
6×	`pow1_binary64_14963` `add-cbrt-cube_binary64_14938` `add-exp-log_binary64_14940` `cbrt-div_binary64_14934`
4×	`flip3--_binary64_14909` `flip--_binary64_14880` `add-log-exp_binary64_14941`
3×	`pow1/3_binary64_14984` `associate-r_binary64_14847` `associate-l_binary64_14848`
2×	`sub-neg_binary64_14898` `associate-*r/_binary64_14849`
1×	`pow-prod-down_binary64_14973` `cbrt-unprod_binary64_14935` `prod-exp_binary64_14951` `unswap-sqr_binary64_14873` `distribute-rgt-in_binary64_14857` `*-commutative_binary64_14838` `distribute-lft-in_binary64_14856`

Counts

4 → 61

Calls

4 calls:

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

series938.0ms (8.3%)

Counts

4 → 12

Calls

4 calls:

260.0ms	(cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))
257.0ms	(cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))
256.0ms	(cbrt.f64 (-.f64 (.f64 y z) (.f64 t a)))
165.0ms	(.f64 j (-.f64 (.f64 c t) (*.f64 i y)))

simplify62.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4944	1364
1	4944	1364

prune101.0ms (0.9%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	1	24	25
Picked	0	1	1
Done	0	0	0
Total	72	27	99

Merged error: 8.2b

Counts

99 → 27

Compiler

Compiled 4024 to 460 computations (88.6% saved)

regimes698.0ms (6.2%)

Compiler: Compiled 9936 to 6642 computations (33.2% saved)

bsearch76.0ms (0.7%)

Steps

Iters	Range		Point
4	2.1327136851177652e-271	3.930257003841512e-271	2.724389937814915e-271
7	-1.671021796644311e-143	-9.981083921487694e-146	-1.919049774938131e-145

Compiler

Compiled 1 to 9 computations (-800% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	327	163
1	327	163

end0.0ms (0%)

sample3.2s (28.2%)

Algorithm

1×

intervals

Results

857.0ms	10830×	body	128	invalid
637.0ms	8000×	body	128	valid

Compiler

Compiled 1425 to 854 computations (40.1% saved)

Details

analyze2.2s (19.7%)

sample80.0ms (0.7%)

simplify571.0ms (5.1%)

prune3.0ms (0%)

localize21.0ms (0.2%)

rewrite37.0ms (0.3%)

series595.0ms (5.3%)

simplify63.0ms (0.6%)

prune154.0ms (1.4%)

localize25.0ms (0.2%)

rewrite50.0ms (0.4%)

series894.0ms (7.9%)

simplify47.0ms (0.4%)

prune155.0ms (1.4%)

localize30.0ms (0.3%)

rewrite31.0ms (0.3%)

series938.0ms (8.3%)

simplify83.0ms (0.7%)

prune143.0ms (1.3%)

localize25.0ms (0.2%)

rewrite30.0ms (0.3%)

series938.0ms (8.3%)

simplify62.0ms (0.6%)

prune101.0ms (0.9%)

regimes698.0ms (6.2%)

bsearch76.0ms (0.7%)

simplify9.0ms (0.1%)

end0.0ms (0%)

sample3.2s (28.2%)

Profiling