Details

analyze1.3s (9.5%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5061	112
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	6
12.5%	87.3%	0.2%	7
12.5%	87.3%	0.2%	7
15.6%	84.2%	0.2%	8
15.6%	84.2%	0.2%	8
28.1%	71.7%	0.2%	9
28.1%	71.7%	0.2%	9
37.4%	62.4%	0.2%	10
37.4%	62.4%	0.2%	10
43.7%	56.1%	0.2%	11
43.7%	56.1%	0.2%	11
53%	46.8%	0.2%	12
53%	46.8%	0.2%	12
64.1%	35.6%	0.3%	13
64.1%	35.6%	0.3%	13
66.7%	32.8%	0.5%	14
66.7%	32.8%	0.5%	14

Symmetry

(sort z t)

Compiler

Compiled 24 to 22 computations (8.3% saved)

sample194.0ms (1.4%)

Algorithm

2×

intervals

Results

18.0ms	512×	body	128	valid
1.0ms	20×	body	128	invalid

Compiler

Compiled 3215 to 4015 computations (-24.9% saved)

simplify161.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (155.0ms)

Iter	Nodes	Cost
0	5014	16

prune3.0ms (0%)

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.9b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite139.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

21×	`cancel-sign-sub-inv_binary64_6864`
20×	`add-sqr-sqrt_binary64_6920`
19×	`flip3--_binary64_6902` `flip--_binary64_6873`
18×	`*-un-lft-identity_binary64_6898`
16×	`associate-/r/_binary64_6844`
12×	`frac-times_binary64_6908`
11×	`add-cube-cbrt_binary64_6933`
10×	`add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
6×	`times-frac_binary64_6904` `associate-l/_binary64_6841` `associate-r/_binary64_6840`
5×	`pow1_binary64_6959` `add-log-exp_binary64_6937` `associate-l_binary64_6839` `associate-r_binary64_6838`
4×	`distribute-rgt-in_binary64_6848` `distribute-lft-in_binary64_6847` `difference-of-squares_binary64_6867`
3×	`associate-/l*_binary64_6843` `sub-neg_binary64_6891` `distribute-lft-out--_binary64_6850`
2×	`prod-exp_binary64_6947` `div-exp_binary64_6949` `cbrt-undiv_binary64_6932` `cbrt-unprod_binary64_6931` `div-inv_binary64_6895`
1×	`frac-2neg_binary64_6909` `clear-num_binary64_6897` `associate-/r_binary64_6842` `pow-prod-down_binary64_6969` `unswap-sqr_binary64_6866` `-commutative_binary64_6829` `diff-log_binary64_6990`

Counts

3 → 96

Calls

3 calls:

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

Compiler

Compiled 2086 to 639 computations (69.4% saved)

series1.2s (8.3%)

Error

0.9b

Counts

3 → 62

Calls

3 calls:

452.0ms	(-.f64 1 (/.f64 x (*.f64 (-.f64 y z) (-.f64 y t))))
449.0ms	(/.f64 x (*.f64 (-.f64 y z) (-.f64 y t)))
217.0ms	(*.f64 (-.f64 y z) (-.f64 y t))

Compiler

Compiled 3071 to 2072 computations (32.5% saved)

simplify86.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5067	2863

prune152.0ms (1.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	154	4	158
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	155	4	159

Error

Counts

159 → 4

Compiler

Compiled 2681 to 811 computations (69.8% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite448.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

396×	`times-frac_binary64_6904`
331×	`add-sqr-sqrt_binary64_6920`
321×	`*-un-lft-identity_binary64_6898`
156×	`add-cube-cbrt_binary64_6933`
111×	`cancel-sign-sub-inv_binary64_6864`
86×	`difference-of-squares_binary64_6867`
81×	`distribute-lft-out--_binary64_6850`
28×	`associate-/r/_binary64_6844`
24×	`associate-/l*_binary64_6843`
15×	`flip3--_binary64_6902` `flip--_binary64_6873`
14×	`div-inv_binary64_6895`
10×	`add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934` `associate-/r*_binary64_6842`
5×	`add-log-exp_binary64_6937`
4×	`div-exp_binary64_6949` `cbrt-undiv_binary64_6932`
3×	`pow1_binary64_6959`
2×	`frac-2neg_binary64_6909` `clear-num_binary64_6897`
1×	`associate-/l/_binary64_6845` `diff-log_binary64_6990` `sub-neg_binary64_6891`

Counts

3 → 314

Calls

3 calls:

49.0ms	(-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
13.0ms	(/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
5.0ms	(/.f64 x (-.f64 y z))

Compiler

Compiled 7781 to 1973 computations (74.6% saved)

series1.0s (7.3%)

Error

Counts

3 → 53

Calls

3 calls:

440.0ms	(-.f64 1 (/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t)))
432.0ms	(/.f64 (/.f64 x (-.f64 y z)) (-.f64 y t))
117.0ms	(/.f64 x (-.f64 y z))

Compiler

Compiled 2764 to 1890 computations (31.6% saved)

simplify123.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

367 → 367

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4993	10240
1	4993	10240

prune328.0ms (2.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	367	0	367
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	367	4	371

Error

Counts

371 → 4

Compiler

Compiled 7992 to 1703 computations (78.7% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))))
0.0b	(/.f64 x (-.f64 y t))
0.6b	(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
1.9b	(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))

rewrite2.2s (15.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

2154×	`times-frac_binary64_6904`
1412×	`add-sqr-sqrt_binary64_6920`
1389×	`*-un-lft-identity_binary64_6898`
781×	`add-cube-cbrt_binary64_6933`
335×	`cancel-sign-sub-inv_binary64_6864`
310×	`difference-of-squares_binary64_6867`
298×	`distribute-lft-out--_binary64_6850`
136×	`associate-/r*_binary64_6842`
94×	`associate-/r/_binary64_6844`
53×	`div-inv_binary64_6895`
44×	`flip3--_binary64_6902` `flip--_binary64_6873`
32×	`add-exp-log_binary64_6936`
20×	`add-cbrt-cube_binary64_6934`
19×	`div-exp_binary64_6949`
11×	`associate-/l*_binary64_6843`
10×	`cbrt-undiv_binary64_6932`
6×	`add-log-exp_binary64_6937`
5×	`pow1_binary64_6959`
3×	`frac-2neg_binary64_6909` `clear-num_binary64_6897` `1-exp_binary64_6942` `rec-exp_binary64_6948`
2×	`associate-/l/_binary64_6845`
1×	`div-sub_binary64_6903` `inv-pow_binary64_6983` `pow-flip_binary64_6972` `diff-log_binary64_6990` `sub-neg_binary64_6891`

Counts

4 → 1016

Calls

4 calls:

131.0ms	(-.f64 1 (/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))))
31.0ms	(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
13.0ms	(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))
5.0ms	(/.f64 x (-.f64 y t))

Compiler

Compiled 31014 to 10965 computations (64.6% saved)

series1.6s (11.1%)

Error

Counts

4 → 77

Calls

4 calls:

467.0ms	(/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))
456.0ms	(/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t))))
451.0ms	(-.f64 1 (/.f64 1 (/.f64 (-.f64 y z) (/.f64 x (-.f64 y t)))))
127.0ms	(/.f64 x (-.f64 y t))

Compiler

Compiled 4058 to 2753 computations (32.2% saved)

simplify359.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

1093 → 1093

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	5000	37068

prune1.4s (10.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	1093	0	1093
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	1093	4	1097

Error

Counts

1097 → 4

Compiler

Compiled 28664 to 7736 computations (73% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite178.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

68×	`add-sqr-sqrt_binary64_6920`
53×	`*-un-lft-identity_binary64_6898`
52×	`times-frac_binary64_6904`
31×	`add-cube-cbrt_binary64_6933`
27×	`add-exp-log_binary64_6936`
21×	`associate-l_binary64_6839` `associate-r_binary64_6838`
17×	`add-cbrt-cube_binary64_6934`
10×	`difference-of-squares_binary64_6867` `distribute-lft-out--_binary64_6850`
9×	`div-exp_binary64_6949`
8×	`prod-exp_binary64_6947`
6×	`unswap-sqr_binary64_6866` `associate-/r/_binary64_6844`
5×	`pow1_binary64_6959` `add-log-exp_binary64_6937` `cbrt-undiv_binary64_6932` `associate-/r*_binary64_6842`
4×	`cbrt-unprod_binary64_6931` `flip3--_binary64_6902` `flip--_binary64_6873`
3×	`div-inv_binary64_6895` `associate-/l*_binary64_6843`
2×	`1-exp_binary64_6942` `rec-exp_binary64_6948`
1×	`pow-prod-down_binary64_6969` `frac-times_binary64_6908` `associate-l/_binary64_6841` `associate-r/_binary64_6840` `*-commutative_binary64_6829` `frac-2neg_binary64_6909` `clear-num_binary64_6897` `diff-log_binary64_6990` `sub-neg_binary64_6891` `cancel-sign-sub-inv_binary64_6864`

Counts

3 → 121

Calls

3 calls:

21.0ms	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 x (-.f64 y t)))
5.0ms	(/.f64 x (-.f64 y t))
3.0ms	(-.f64 1 (*.f64 (/.f64 1 (-.f64 y z)) (/.f64 x (-.f64 y t))))

Compiler

Compiled 2736 to 1103 computations (59.7% saved)

series1.1s (7.9%)

Error

Counts

3 → 53

Calls

3 calls:

477.0ms	(-.f64 1 (*.f64 (/.f64 1 (-.f64 y z)) (/.f64 x (-.f64 y t))))
464.0ms	(*.f64 (/.f64 1 (-.f64 y z)) (/.f64 x (-.f64 y t)))
124.0ms	(/.f64 x (-.f64 y t))

Compiler

Compiled 2830 to 1960 computations (30.7% saved)

simplify70.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5292	2848

prune155.0ms (1.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	174	0	174
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	174	4	178

Error

Counts

178 → 4

Compiler

Compiled 3009 to 999 computations (66.8% saved)

regimes447.0ms (3.2%)

Accuracy

Total 1.0b remaining (99.7%)

Threshold costs 0b (0%)

Compiler

Compiled 4080 to 3376 computations (17.3% saved)

bsearch0.0ms (0%)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	16
1	51	16

Compiler

Compiled 22 to 20 computations (9.1% saved)

end0.0ms (0%)

sample1.3s (9.5%)

Algorithm

1×

intervals

Results

287.0ms	8000×	body	128	valid
15.0ms	415×	body	128	invalid

Compiler

Compiled 551 to 464 computations (15.8% saved)

Details

analyze1.3s (9.5%)

sample194.0ms (1.4%)

simplify161.0ms (1.1%)

prune3.0ms (0%)

localize11.0ms (0.1%)

rewrite139.0ms (1%)

series1.2s (8.3%)

simplify86.0ms (0.6%)

prune152.0ms (1.1%)

localize8.0ms (0.1%)

rewrite448.0ms (3.2%)

series1.0s (7.3%)

simplify123.0ms (0.9%)

prune328.0ms (2.3%)

localize9.0ms (0.1%)

rewrite2.2s (15.8%)

series1.6s (11.1%)

simplify359.0ms (2.5%)

prune1.4s (10.2%)

localize11.0ms (0.1%)

rewrite178.0ms (1.3%)

series1.1s (7.9%)

simplify70.0ms (0.5%)

prune155.0ms (1.1%)

regimes447.0ms (3.2%)

bsearch0.0ms (0%)

simplify11.0ms (0.1%)

end0.0ms (0%)

sample1.3s (9.5%)

Profiling