Details

analyze2.2s (2.9%)

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)

sample2.1s (2.7%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
9.0ms	128×	body	128	invalid

Compiler

Compiled 6947 to 9642 computations (-38.8% saved)

simplify71.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	937	25
1	937	25

prune5.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.3b

Counts

2 → 1

Compiler

Compiled 34 to 34 computations (0% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

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))
0.2b	(/.f64 (*.f64 z t) 16)

rewrite155.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-log-exp_binary64_6255`
17×	`*-un-lft-identity_binary64_6216`
14×	`cancel-sign-sub-inv_binary64_6182`
12×	`add-sqr-sqrt_binary64_6238`
10×	`add-cube-cbrt_binary64_6251`
9×	`add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252` `times-frac_binary64_6222` `associate-+l+_binary64_6149`
6×	`sum-log_binary64_6307`
4×	`pow1_binary64_6277` `diff-log_binary64_6308`
3×	`div-inv_binary64_6213` `associate-/r*_binary64_6160` `flip3-+_binary64_6219` `flip-+_binary64_6190`
2×	`div-exp_binary64_6267` `cbrt-undiv_binary64_6250` `+-commutative_binary64_6146` `frac-sub_binary64_6225` `sub-neg_binary64_6209` `distribute-lft-out--_binary64_6168` `associate--l+_binary64_6153` `distribute-lft-out_binary64_6167`
1×	`prod-exp_binary64_6265` `cbrt-unprod_binary64_6249` `frac-2neg_binary64_6227` `clear-num_binary64_6215` `associate-/l*_binary64_6161` `flip3--_binary64_6220` `flip--_binary64_6191` `difference-of-squares_binary64_6185` `associate-+l-_binary64_6151`

Counts

4 → 81

Calls

4 calls:

14.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
10.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
5.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
4.0ms	(/.f64 (*.f64 z t) 16)

Compiler

Compiled 2222 to 1068 computations (51.9% saved)

series1.9s (2.5%)

Error

0.3b

Counts

4 → 108

Calls

4 calls:

794.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
638.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
291.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))
85.0ms	(/.f64 (*.f64 z t) 16)

Compiler

Compiled 3765 to 3106 computations (17.5% saved)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4931	3291
1	4931	3291

prune199.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	187	2	189
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	188	2	190

Error

0.0b

Counts

190 → 2

Compiler

Compiled 3396 to 1511 computations (55.5% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite166.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`add-sqr-sqrt_binary64_6238` `*-un-lft-identity_binary64_6216`
20×	`add-log-exp_binary64_6255`
16×	`add-cube-cbrt_binary64_6251` `times-frac_binary64_6222`
14×	`cancel-sign-sub-inv_binary64_6182`
13×	`associate-r_binary64_6156`
9×	`add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252` `associate-+l+_binary64_6149`
6×	`sum-log_binary64_6307` `pow1_binary64_6277`
4×	`diff-log_binary64_6308`
3×	`flip3-+_binary64_6219` `flip-+_binary64_6190` `div-inv_binary64_6213` `associate-l_binary64_6157`
2×	`+-commutative_binary64_6146` `frac-sub_binary64_6225` `sub-neg_binary64_6209` `distribute-lft-out--_binary64_6168` `associate--l+_binary64_6153` `prod-exp_binary64_6265` `cbrt-unprod_binary64_6249` `unswap-sqr_binary64_6184` `distribute-lft-out_binary64_6167`
1×	`flip3--_binary64_6220` `flip--_binary64_6191` `difference-of-squares_binary64_6185` `pow-prod-down_binary64_6287` `div-exp_binary64_6267` `cbrt-undiv_binary64_6250` `associate-r/_binary64_6158` `-commutative_binary64_6147` `associate-+l-_binary64_6151`

Counts

4 → 92

Calls

4 calls:

12.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) c)
8.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4))
7.0ms	(*.f64 z (/.f64 t 16))
4.0ms	(+.f64 (.f64 x y) (.f64 z (/.f64 t 16)))

Compiler

Compiled 2513 to 1334 computations (46.9% saved)

series1.9s (2.5%)

Error

0.0b

Counts

4 → 108

Calls

4 calls:

782.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4)) c)
661.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z (/.f64 t 16))) (/.f64 (*.f64 a b) 4))
280.0ms	(+.f64 (.f64 x y) (.f64 z (/.f64 t 16)))
81.0ms	(*.f64 z (/.f64 t 16))

Compiler

Compiled 3765 to 3106 computations (17.5% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4992	3421
1	4992	3421

prune193.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	199	1	200
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	199	3	202

Error

0.0b

Counts

202 → 3

Compiler

Compiled 3685 to 1757 computations (52.3% saved)

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite114.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`cbrt-prod_binary64_6247`
23×	`add-sqr-sqrt_binary64_6238`
15×	`add-cube-cbrt_binary64_6251` `*-un-lft-identity_binary64_6216`
11×	`pow1_binary64_6277`
9×	`pow1/3_binary64_6298`
6×	`add-exp-log_binary64_6254` `swap-sqr_binary64_6183` `associate-l_binary64_6157` `associate-r_binary64_6156`
4×	`add-log-exp_binary64_6255` `add-cbrt-cube_binary64_6252` `unswap-sqr_binary64_6184`
2×	`pow-prod-down_binary64_6287` `pow-prod-up_binary64_6286` `pow-sqr_binary64_6189`
1×	`pow2_binary64_6297` `pow-plus_binary64_6279` `prod-exp_binary64_6265` `cbrt-unprod_binary64_6249` `*-commutative_binary64_6147`

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

Compiler

Compiled 2108 to 824 computations (60.9% saved)

series522.0ms (0.7%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

139.0ms	(*.f64 (cbrt.f64 z) (cbrt.f64 z))
137.0ms	(cbrt.f64 z)
117.0ms	(cbrt.f64 z)
112.0ms	(cbrt.f64 z)

Compiler

Compiled 951 to 749 computations (21.2% saved)

simplify72.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

prune113.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	85	3	88

Error

0.0b

Counts

88 → 3

Compiler

Compiled 2288 to 1013 computations (55.7% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite297.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`pow1_binary64_6277` `add-sqr-sqrt_binary64_6238`
21×	`sqrt-prod_binary64_6232`
16×	`add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252`
15×	`add-cube-cbrt_binary64_6251` `*-un-lft-identity_binary64_6216`
14×	`sqrt-div_binary64_6233`
12×	`associate-l_binary64_6157`
9×	`pow1/2_binary64_6296` `pow-prod-down_binary64_6287` `sqrt-pow1_binary64_6234`
8×	`swap-sqr_binary64_6183` `associate-r_binary64_6156`
7×	`prod-exp_binary64_6265` `cbrt-unprod_binary64_6249` `flip3-+_binary64_6219` `flip-+_binary64_6190`
5×	`pow-prod-up_binary64_6286`
4×	`add-log-exp_binary64_6255` `frac-times_binary64_6226` `unswap-sqr_binary64_6184`
3×	`rem-sqrt-square_binary64_6229` `pow-sqr_binary64_6189` `*-commutative_binary64_6147`
2×	`associate-l/_binary64_6159` `associate-r/_binary64_6158`
1×	`pow2_binary64_6297` `pow-plus_binary64_6279` `sqrt-unprod_binary64_6236` `sqr-abs_binary64_6231` `rem-square-sqrt_binary64_6228`

Counts

4 → 109

Calls

4 calls:

20.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (-.f64 (.f64 1/16 (.f64 t z)) (.f64 1/4 (.f64 a b))))) (sqrt.f64 (+.f64 (.f64 x y) (-.f64 (.f64 1/16 (.f64 t z)) (.f64 1/4 (*.f64 a b))))))
7.0ms	(sqrt.f64 (+.f64 (.f64 x y) (-.f64 (.f64 1/16 (.f64 t z)) (.f64 1/4 (*.f64 a b)))))
5.0ms	(.f64 1/16 (.f64 t z))
5.0ms	(.f64 1/16 (.f64 t z))

Compiler

Compiled 5572 to 2705 computations (51.5% saved)

series1.4s (1.9%)

Error

0.0b

Counts

4 → 76

Calls

4 calls:

675.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 x y) (-.f64 (.f64 1/16 (.f64 t z)) (.f64 1/4 (.f64 a b))))) (sqrt.f64 (+.f64 (.f64 x y) (-.f64 (.f64 1/16 (.f64 t z)) (.f64 1/4 (*.f64 a b))))))
475.0ms	(sqrt.f64 (+.f64 (.f64 x y) (-.f64 (.f64 1/16 (.f64 t z)) (.f64 1/4 (*.f64 a b)))))
91.0ms	(.f64 1/16 (.f64 t z))
90.0ms	(.f64 1/16 (.f64 t z))

Compiler

Compiled 5542 to 3870 computations (30.2% saved)

simplify88.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5015	4210

prune311.0ms (0.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	184	1	185
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	184	4	188

Error

0.0b

Counts

188 → 4

Compiler

Compiled 6145 to 2908 computations (52.7% saved)

regimes1.1s (1.4%)

Accuracy

Total 0.0b remaining (11.8%)

Threshold costs 0.0b (11.8%)

Compiler

Compiled 11494 to 10405 computations (9.5% saved)

bsearch0.0ms (0%)

simplify51.0ms (0.1%)

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%)

sample1.0min (82.7%)

Algorithm

1×

intervals

Results

399.0ms	8000×	body	128	valid
325.0ms	4024×	body	128	invalid

Compiler

Compiled 217192 to 301280 computations (-38.7% saved)

Details

analyze2.2s (2.9%)

sample2.1s (2.7%)

simplify71.0ms (0.1%)

prune5.0ms (0%)

localize13.0ms (0%)

rewrite155.0ms (0.2%)

series1.9s (2.5%)

simplify75.0ms (0.1%)

prune199.0ms (0.3%)

localize13.0ms (0%)

rewrite166.0ms (0.2%)

series1.9s (2.5%)

simplify77.0ms (0.1%)

prune193.0ms (0.3%)

localize17.0ms (0%)

rewrite114.0ms (0.2%)

series522.0ms (0.7%)

simplify72.0ms (0.1%)

prune113.0ms (0.1%)

localize15.0ms (0%)

rewrite297.0ms (0.4%)

series1.4s (1.9%)

simplify88.0ms (0.1%)

prune311.0ms (0.4%)

regimes1.1s (1.4%)

bsearch0.0ms (0%)

simplify51.0ms (0.1%)

end0.0ms (0%)

sample1.0min (82.7%)

Profiling