Details

analyze2.8s (19.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5256	550
0	7	7
1	7	7

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.2%	98.5%	0.3%	13
1.8%	97.9%	0.3%	14

Symmetry

(sort x y)

(sort z t)

(sort a b)

Compiler

Compiled 18 to 18 computations (0% saved)

sample89.0ms (0.6%)

Algorithm

1×

intervals

Results

17.0ms	256×	body	128	valid
8.0ms	114×	body	128	invalid

Compiler

Compiled 35 to 42 computations (-20% saved)

simplify87.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	937	25
1	937	25

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

Counts

2 → 1

Compiler

Compiled 34 to 34 computations (0% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (*.f64 a b) 4)
0.0b	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

rewrite194.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`add-log-exp_binary64_5914`
17×	`*-un-lft-identity_binary64_5875`
14×	`cancel-sign-sub-inv_binary64_5841`
12×	`add-sqr-sqrt_binary64_5897`
10×	`add-cube-cbrt_binary64_5910`
9×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911` `times-frac_binary64_5881` `associate-+l+_binary64_5808`
6×	`sum-log_binary64_5966`
4×	`pow1_binary64_5936` `diff-log_binary64_5967`
3×	`flip3-+_binary64_5878` `flip-+_binary64_5849` `div-inv_binary64_5872` `associate-/r*_binary64_5819`
2×	`+-commutative_binary64_5805` `frac-sub_binary64_5884` `sub-neg_binary64_5868` `distribute-lft-out--_binary64_5827` `associate--l+_binary64_5812` `distribute-lft-out_binary64_5826` `div-exp_binary64_5926` `cbrt-undiv_binary64_5909`
1×	`flip3--_binary64_5879` `flip--_binary64_5850` `difference-of-squares_binary64_5844` `associate-+l-_binary64_5810` `prod-exp_binary64_5924` `cbrt-unprod_binary64_5908` `frac-2neg_binary64_5886` `clear-num_binary64_5874` `associate-/l*_binary64_5820`

Counts

4 → 81

Calls

4 calls:

36.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
19.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
7.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
6.0ms	(/.f64 (*.f64 a b) 4)

Compiler

Compiled 2222 to 1067 computations (52% saved)

series1.5s (10.3%)

Error

0.0b

Counts

4 → 108

Calls

4 calls:

592.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
522.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
211.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
79.0ms	(/.f64 (*.f64 a b) 4)

Compiler

Compiled 3765 to 3107 computations (17.5% saved)

simplify91.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5014	3291

prune193.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	186	3	189
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	186	4	190

Error

Counts

190 → 4

Compiler

Compiled 3425 to 1540 computations (55% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4)))
0.2b	(.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b)
0.4b	(/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b) (cbrt.f64 4))
1.0b	(*.f64 (cbrt.f64 4) (cbrt.f64 4))

rewrite276.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`add-exp-log_binary64_5913`
33×	`add-sqr-sqrt_binary64_5897`
22×	`add-cbrt-cube_binary64_5911` `cbrt-prod_binary64_5906`
21×	`add-cube-cbrt_binary64_5910` `*-un-lft-identity_binary64_5875`
13×	`pow1_binary64_5936` `associate-l_binary64_5816` `times-frac_binary64_5881`
10×	`prod-exp_binary64_5924` `cbrt-unprod_binary64_5908` `div-exp_binary64_5926` `cbrt-undiv_binary64_5909`
9×	`associate-r_binary64_5815`
7×	`associate-/r*_binary64_5819`
6×	`pow1/3_binary64_5957` `unswap-sqr_binary64_5843` `swap-sqr_binary64_5842`
4×	`add-log-exp_binary64_5914` `associate-/l*_binary64_5820`
3×	`pow-prod-down_binary64_5946` `div-inv_binary64_5872`
2×	`pow-prod-up_binary64_5945` `pow-sqr_binary64_5848` `-commutative_binary64_5806` `frac-2neg_binary64_5886` `clear-num_binary64_5874` `associate-l/_binary64_5818`
1×	`pow2_binary64_5956` `pow-plus_binary64_5938` `associate-/l/_binary64_5822`

Counts

4 → 121

Calls

4 calls:

15.0ms	(/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4)))
10.0ms	(/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b) (cbrt.f64 4))
9.0ms	(.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b)
7.0ms	(*.f64 (cbrt.f64 4) (cbrt.f64 4))

Compiler

Compiled 3676 to 2465 computations (32.9% saved)

series485.0ms (3.4%)

Error

Counts

4 → 15

Calls

4 calls:

217.0ms	(/.f64 (.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b) (cbrt.f64 4))
176.0ms	(.f64 (/.f64 a (.f64 (cbrt.f64 4) (cbrt.f64 4))) b)
73.0ms	(/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4)))
0.0ms	(*.f64 (cbrt.f64 4) (cbrt.f64 4))

Compiler

Compiled 981 to 844 computations (14% saved)

simplify113.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4902	1470
1	4902	1470

prune190.0ms (1.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	136	4	140

Error

Counts

140 → 4

Compiler

Compiled 3510 to 2180 computations (37.9% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (-.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)) 3)) (/.f64 (*.f64 a b) 4)) c)
0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 t z) 16))
0.3b	(pow.f64 (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)) 3)
36.8b	(cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)) 3))

rewrite177.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

17×	`*-un-lft-identity_binary64_5875`
12×	`add-cube-cbrt_binary64_5910` `cbrt-prod_binary64_5906` `add-sqr-sqrt_binary64_5897`
11×	`add-log-exp_binary64_5914`
8×	`associate-+l+_binary64_5808`
7×	`cancel-sign-sub-inv_binary64_5841`
6×	`unpow-prod-down_binary64_5954` `cube-prod_binary64_5903`
5×	`pow1_binary64_5936` `add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911`
4×	`flip3-+_binary64_5878` `cube-div_binary64_5904` `flip-+_binary64_5849`
3×	`pow-unpow_binary64_5952` `sum-log_binary64_5966` `times-frac_binary64_5881`
2×	`cbrt-div_binary64_5907` `unpow3_binary64_5941` `cube-mult_binary64_5905` `sqr-pow_binary64_5847` `+-commutative_binary64_5805` `distribute-lft-out_binary64_5826`
1×	`pow1/3_binary64_5957` `rem-cbrt-cube_binary64_5899` `pow-pow_binary64_5947` `pow-to-exp_binary64_5944` `pow-exp_binary64_5943` `rem-cube-cbrt_binary64_5898` `diff-log_binary64_5967` `distribute-lft-out--_binary64_5827` `associate-+l-_binary64_5810` `sub-neg_binary64_5868` `div-inv_binary64_5872`

Counts

4 → 82

Calls

4 calls:

22.0ms	(+.f64 (-.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)) 3)) (/.f64 (*.f64 a b) 4)) c)
7.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)) 3))
7.0ms	(pow.f64 (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)) 3)
6.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 t z) 16))

Compiler

Compiled 2685 to 1420 computations (47.1% saved)

series1.6s (10.8%)

Error

Counts

4 → 138

Calls

4 calls:

595.0ms	(+.f64 (-.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)) 3)) (/.f64 (*.f64 a b) 4)) c)
351.0ms	(pow.f64 (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)) 3)
214.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)) 3))
212.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 t z) 16))

Compiler

Compiled 6857 to 5572 computations (18.7% saved)

simplify111.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4958	4841
1	4958	4841

prune284.0ms (2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	220	0	220
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	220	4	224

Error

Counts

224 → 4

Compiler

Compiled 5155 to 2302 computations (55.3% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x y) (/.f64 (.f64 t z) 16))
0.0b	(sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)))))
0.0b	(sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)))))
0.2b	(.f64 (sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16))))) (sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (*.f64 t z) 16))))))

rewrite329.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`sqrt-prod_binary64_5891`
32×	`*-un-lft-identity_binary64_5875`
30×	`add-sqr-sqrt_binary64_5897`
21×	`pow1_binary64_5936`
16×	`sqrt-div_binary64_5892`
14×	`add-cube-cbrt_binary64_5910`
11×	`swap-sqr_binary64_5842`
10×	`pow1/2_binary64_5955` `sqrt-pow1_binary64_5893`
9×	`flip3-+_binary64_5878` `flip-+_binary64_5849`
8×	`distribute-lft-out_binary64_5826`
7×	`associate-l_binary64_5816` `associate-r_binary64_5815`
6×	`add-exp-log_binary64_5913` `add-log-exp_binary64_5914` `add-cbrt-cube_binary64_5911`
5×	`pow-prod-up_binary64_5945`
4×	`rem-sqrt-square_binary64_5888` `frac-times_binary64_5885` `unswap-sqr_binary64_5843`
3×	`pow-prod-down_binary64_5946` `pow-sqr_binary64_5848`
2×	`associate-l/_binary64_5818` `associate-r/_binary64_5817`
1×	`pow2_binary64_5956` `pow-plus_binary64_5938` `prod-exp_binary64_5924` `cbrt-unprod_binary64_5908` `sqrt-unprod_binary64_5895` `sqr-abs_binary64_5890` `rem-square-sqrt_binary64_5887` `*-commutative_binary64_5806` `sum-log_binary64_5966` `+-commutative_binary64_5805`

Counts

4 → 106

Calls

4 calls:

34.0ms	(.f64 (sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16))))) (sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (*.f64 t z) 16))))))
11.0ms	(sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)))))
11.0ms	(sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)))))
6.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 t z) 16))

Compiler

Compiled 6080 to 2944 computations (51.6% saved)

series2.0s (13.7%)

Error

Counts

4 → 124

Calls

4 calls:

598.0ms	(.f64 (sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16))))) (sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (*.f64 t z) 16))))))
499.0ms	(sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)))))
478.0ms	(sqrt.f64 (+.f64 c (+.f64 (.f64 (.f64 a b) -1/4) (+.f64 (.f64 x y) (/.f64 (.f64 t z) 16)))))
233.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 t z) 16))

Compiler

Compiled 10189 to 6909 computations (32.2% saved)

simplify135.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

230 → 230

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4992	6074
1	4992	6074

prune349.0ms (2.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	230	0	230
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	230	4	234

Error

Counts

234 → 4

Compiler

Compiled 7797 to 3646 computations (53.2% saved)

regimes1.1s (7.3%)

Accuracy

Total 0.0b remaining (29.7%)

Threshold costs 0.0b (29.7%)

Compiler

Compiled 8759 to 8766 computations (-0.1% saved)

bsearch0.0ms (0%)

simplify67.0ms (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	56	25
1	56	25

Remove

(sort a b)

(sort z t)

(sort x y)

Compiler

Compiled 102 to 102 computations (0% saved)

end0.0ms (0%)

sample2.4s (16.4%)

Algorithm

1×

intervals

Results

574.0ms	8000×	body	128	valid
263.0ms	3944×	body	128	invalid

Compiler

Compiled 610 to 608 computations (0.3% saved)

Details

analyze2.8s (19.1%)

sample89.0ms (0.6%)

simplify87.0ms (0.6%)

prune3.0ms (0%)

localize13.0ms (0.1%)

rewrite194.0ms (1.3%)

series1.5s (10.3%)

simplify91.0ms (0.6%)

prune193.0ms (1.3%)

localize19.0ms (0.1%)

rewrite276.0ms (1.9%)

series485.0ms (3.4%)

simplify113.0ms (0.8%)

prune190.0ms (1.3%)

localize16.0ms (0.1%)

rewrite177.0ms (1.2%)

series1.6s (10.8%)

simplify111.0ms (0.8%)

prune284.0ms (2%)

localize15.0ms (0.1%)

rewrite329.0ms (2.3%)

series2.0s (13.7%)

simplify135.0ms (0.9%)

prune349.0ms (2.4%)

regimes1.1s (7.3%)

bsearch0.0ms (0%)

simplify67.0ms (0.5%)

end0.0ms (0%)

sample2.4s (16.4%)

Profiling