Details

analyze528.0ms (14.9%)

Algorithm

1×

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
7%	92.8%	0.2%	8
19.1%	80.7%	0.2%	9
29.8%	70%	0.2%	10
31.3%	68.5%	0.2%	11
42.3%	57.2%	0.6%	12
53.3%	45.5%	1.2%	13
59.2%	39.3%	1.5%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample18.0ms (0.5%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
1.0ms	17×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify365.0ms (10.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (278.0ms)

Iter	Nodes	Cost
0	5580	13

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

12.4b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (-.f64 y z))
11.7b	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))

rewrite20.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_16127`
14×	`*-un-lft-identity_binary64_16105`
9×	`add-exp-log_binary64_16143` `add-cbrt-cube_binary64_16141`
8×	`add-cube-cbrt_binary64_16140`
6×	`cancel-sign-sub-inv_binary64_16071`
5×	`times-frac_binary64_16111` `associate-r_binary64_16045` `associate-/r*_binary64_16049`
4×	`associate-*r/_binary64_16047` `distribute-lft-in_binary64_16054` `distribute-rgt-in_binary64_16055` `pow1_binary64_16166`
3×	`difference-of-squares_binary64_16074` `flip--_binary64_16080` `flip3--_binary64_16109` `distribute-lft-out--_binary64_16057` `associate-l_binary64_16046`
2×	`cbrt-unprod_binary64_16138` `div-exp_binary64_16156` `cbrt-undiv_binary64_16139` `add-log-exp_binary64_16144` `associate-/l/_binary64_16052` `sub-neg_binary64_16098` `associate-/r/_binary64_16051` `prod-exp_binary64_16154`
1×	`div-inv_binary64_16102` `unswap-sqr_binary64_16073` `pow-prod-down_binary64_16176` `-commutative_binary64_16036` `frac-2neg_binary64_16116` `associate-/l_binary64_16050` `clear-num_binary64_16104`

Counts

2 → 59

Calls

2 calls:

10.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
7.0ms	(*.f64 x (-.f64 y z))

series109.0ms (3.1%)

Counts

2 → 6

Calls

2 calls:

79.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
30.0ms	(*.f64 x (-.f64 y z))

simplify57.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	6045	780

prune53.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	57	8	65
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	8	66

Error

0.0b

Counts

66 → 8

Compiler

Compiled 993 to 259 computations (73.9% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 y z) (-.f64 t z))
1.5b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

rewrite32.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`add-sqr-sqrt_binary64_16127`
70×	`*-un-lft-identity_binary64_16105`
51×	`times-frac_binary64_16111`
31×	`associate-r_binary64_16045`
26×	`add-cube-cbrt_binary64_16140`
22×	`difference-of-squares_binary64_16074` `distribute-lft-out--_binary64_16057`
9×	`add-exp-log_binary64_16143` `add-cbrt-cube_binary64_16141`
5×	`associate-/r_binary64_16049` `associate-/l_binary64_16050`
4×	`pow1_binary64_16166` `associate-/r/_binary64_16051`
3×	`flip--_binary64_16080` `flip3--_binary64_16109` `associate-l_binary64_16046`
2×	`cbrt-unprod_binary64_16138` `div-exp_binary64_16156` `cbrt-undiv_binary64_16139` `add-log-exp_binary64_16144` `div-inv_binary64_16102` `associate-/l/_binary64_16052` `unswap-sqr_binary64_16073` `prod-exp_binary64_16154`
1×	`associate-r/_binary64_16047` `pow-prod-down_binary64_16176` `-commutative_binary64_16036` `frac-2neg_binary64_16116` `div-sub_binary64_16110` `clear-num_binary64_16104`

Counts

2 → 102

Calls

2 calls:

15.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
8.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

series128.0ms (3.6%)

Counts

2 → 6

Calls

2 calls:

81.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
46.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

simplify72.0ms (2%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5084	1767

prune73.0ms (2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	110	6	116

Error

Counts

116 → 6

Compiler

Compiled 1844 to 359 computations (80.5% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 y (-.f64 t z)) (/.f64 z (-.f64 t z)))
0.0b	(/.f64 z (-.f64 t z))
0.0b	(/.f64 y (-.f64 t z))
1.5b	(*.f64 x (-.f64 (/.f64 y (-.f64 t z)) (/.f64 z (-.f64 t z))))

rewrite98.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Rules

143×	`*-un-lft-identity_binary64_16105`
125×	`add-sqr-sqrt_binary64_16127`
111×	`times-frac_binary64_16111`
63×	`cancel-sign-sub-inv_binary64_16071`
57×	`add-cube-cbrt_binary64_16140`
41×	`distribute-lft-out--_binary64_16057`
29×	`difference-of-squares_binary64_16074`
22×	`distribute-lft-in_binary64_16054` `distribute-rgt-in_binary64_16055`
18×	`associate-r_binary64_16045` `associate-/r/_binary64_16051`
11×	`flip--_binary64_16080` `flip3--_binary64_16109`
10×	`add-exp-log_binary64_16143` `associate-/r*_binary64_16049` `add-cbrt-cube_binary64_16141`
9×	`div-inv_binary64_16102`
6×	`add-log-exp_binary64_16144` `pow1_binary64_16166` `associate-/l*_binary64_16050` `distribute-rgt-out--_binary64_16059`
4×	`associate-*r/_binary64_16047`
3×	`sub-neg_binary64_16098` `associate-l_binary64_16046`
2×	`div-exp_binary64_16156` `cbrt-undiv_binary64_16139` `sub-div_binary64_16112` `frac-sub_binary64_16114` `frac-2neg_binary64_16116` `clear-num_binary64_16104`
1×	`cbrt-unprod_binary64_16138` `diff-log_binary64_16197` `unswap-sqr_binary64_16073` `pow-prod-down_binary64_16176` `*-commutative_binary64_16036` `prod-exp_binary64_16154`

Counts

4 → 204

Calls

4 calls:

39.0ms	(*.f64 x (-.f64 (/.f64 y (-.f64 t z)) (/.f64 z (-.f64 t z))))
29.0ms	(-.f64 (/.f64 y (-.f64 t z)) (/.f64 z (-.f64 t z)))
5.0ms	(/.f64 y (-.f64 t z))
5.0ms	(/.f64 z (-.f64 t z))

series244.0ms (6.9%)

Counts

4 → 12

Calls

4 calls:

120.0ms	(*.f64 x (-.f64 (/.f64 y (-.f64 t z)) (/.f64 z (-.f64 t z))))
67.0ms	(-.f64 (/.f64 y (-.f64 t z)) (/.f64 z (-.f64 t z)))
30.0ms	(/.f64 y (-.f64 t z))
27.0ms	(/.f64 z (-.f64 t z))

simplify87.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5297	3933

prune139.0ms (3.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	215	1	216
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	217	5	222

Error

Counts

222 → 5

Compiler

Compiled 4242 to 699 computations (83.5% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 t z) (-.f64 y z))
1.6b	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))

rewrite43.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

218×	`times-frac_binary64_16111`
194×	`*-un-lft-identity_binary64_16105` `add-sqr-sqrt_binary64_16127`
90×	`add-cube-cbrt_binary64_16140`
52×	`difference-of-squares_binary64_16074` `distribute-lft-out--_binary64_16057`
36×	`associate-/r*_binary64_16049`
11×	`associate-/r/_binary64_16051`
9×	`add-exp-log_binary64_16143` `add-cbrt-cube_binary64_16141`
8×	`associate-/l*_binary64_16050`
6×	`flip--_binary64_16080` `flip3--_binary64_16109` `div-inv_binary64_16102`
4×	`div-exp_binary64_16156` `cbrt-undiv_binary64_16139`
2×	`add-log-exp_binary64_16144` `associate-/l/_binary64_16052` `pow1_binary64_16166` `frac-2neg_binary64_16116` `clear-num_binary64_16104`
1×	`div-sub_binary64_16110`

Counts

2 → 194

Calls

2 calls:

15.0ms	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
8.0ms	(/.f64 (-.f64 t z) (-.f64 y z))

series187.0ms (5.3%)

Counts

2 → 6

Calls

2 calls:

146.0ms	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
41.0ms	(/.f64 (-.f64 t z) (-.f64 y z))

simplify96.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5009	4887

prune123.0ms (3.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	200	0	200
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	200	5	205

Error

Counts

205 → 5

Compiler

Compiled 3841 to 519 computations (86.5% saved)

regimes197.0ms (5.5%)

Accuracy

Total 2.2b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 1735 to 1279 computations (26.3% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	19
1	30	19

end0.0ms (0%)

sample847.0ms (23.9%)

Algorithm

1×

intervals

Results

261.0ms	8000×	body	128	valid
23.0ms	630×	body	128	invalid

Compiler

Compiled 353 to 262 computations (25.8% saved)

Details

analyze528.0ms (14.9%)

sample18.0ms (0.5%)

simplify365.0ms (10.3%)

prune2.0ms (0.1%)

localize10.0ms (0.3%)

rewrite20.0ms (0.6%)

series109.0ms (3.1%)

simplify57.0ms (1.6%)

prune53.0ms (1.5%)

localize7.0ms (0.2%)

rewrite32.0ms (0.9%)

series128.0ms (3.6%)

simplify72.0ms (2%)

prune73.0ms (2%)

localize8.0ms (0.2%)

rewrite98.0ms (2.8%)

series244.0ms (6.9%)

simplify87.0ms (2.5%)

prune139.0ms (3.9%)

localize7.0ms (0.2%)

rewrite43.0ms (1.2%)

series187.0ms (5.3%)

simplify96.0ms (2.7%)

prune123.0ms (3.5%)

regimes197.0ms (5.5%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample847.0ms (23.9%)

Profiling