Details

analyze1.7s (24.5%)

Algorithm

1×

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

Compiler

Compiled 18 to 18 computations (0% saved)

sample42.0ms (0.6%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
7.0ms	137×	body	128	invalid

Compiler

Compiled 35 to 42 computations (-20% saved)

simplify169.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (69.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.2%)

Local error

Found 3 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 x y) (/.f64 (.f64 z t) 16))
0.0b	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))

rewrite39.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_6255`
14×	`*-un-lft-identity_binary64_6216` `cancel-sign-sub-inv_binary64_6182`
9×	`associate-+l+_binary64_6149` `add-sqr-sqrt_binary64_6238`
7×	`add-cube-cbrt_binary64_6251`
6×	`times-frac_binary64_6222` `sum-log_binary64_6307`
4×	`diff-log_binary64_6308`
3×	`flip-+_binary64_6190` `add-cbrt-cube_binary64_6252` `flip3-+_binary64_6219` `pow1_binary64_6277` `add-exp-log_binary64_6254`
2×	`div-inv_binary64_6213` `distribute-lft-out_binary64_6167` `distribute-lft-out--_binary64_6168` `+-commutative_binary64_6146` `associate--l+_binary64_6153` `sub-neg_binary64_6209` `frac-sub_binary64_6225`
1×	`difference-of-squares_binary64_6185` `associate-+l-_binary64_6151` `flip3--_binary64_6220` `flip--_binary64_6191`

Counts

3 → 60

Calls

3 calls:

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

series300.0ms (4.3%)

Counts

3 → 9

Calls

3 calls:

157.0ms	(+.f64 (-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c)
101.0ms	(-.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)) (/.f64 (*.f64 a b) 4))
41.0ms	(+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))

simplify75.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5028	1670

prune75.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	67	3	70

Error

0.0b

Counts

70 → 3

Compiler

Compiled 1720 to 804 computations (53.3% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
2.2b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
2.2b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
2.2b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

rewrite41.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_6247`
23×	`add-sqr-sqrt_binary64_6238`
18×	`cbrt-div_binary64_6248`
15×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251`
11×	`pow1_binary64_6277`
9×	`pow1/3_binary64_6298` `flip-+_binary64_6190` `flip3-+_binary64_6219`
6×	`associate-r_binary64_6156` `swap-sqr_binary64_6183` `associate-l_binary64_6157` `add-exp-log_binary64_6254`
4×	`unswap-sqr_binary64_6184` `frac-times_binary64_6226` `add-cbrt-cube_binary64_6252` `add-log-exp_binary64_6255`
2×	`associate-l/_binary64_6159` `pow-prod-down_binary64_6287` `pow-sqr_binary64_6189` `associate-r/_binary64_6158` `pow-prod-up_binary64_6286`
1×	`pow-plus_binary64_6279` `prod-exp_binary64_6265` `pow2_binary64_6297` `cbrt-unprod_binary64_6249` `*-commutative_binary64_6147`

Counts

4 → 87

Calls

4 calls:

14.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

series637.0ms (9.1%)

Counts

4 → 12

Calls

4 calls:

186.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16))) (cbrt.f64 (+.f64 (.f64 x y) (/.f64 (*.f64 z t) 16))))
158.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
148.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
144.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

simplify80.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4959	2613
1	4959	2613

prune189.0ms (2.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	98	4	102

Error

0.0b

Counts

102 → 4

Compiler

Compiled 4820 to 2389 computations (50.4% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

2.2b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
2.2b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
2.2b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
2.2b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

rewrite32.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64_6247`
8×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251` `cbrt-div_binary64_6248` `add-sqr-sqrt_binary64_6238`
4×	`pow1/3_binary64_6298` `flip-+_binary64_6190` `add-cbrt-cube_binary64_6252` `flip3-+_binary64_6219` `add-log-exp_binary64_6255` `pow1_binary64_6277` `add-exp-log_binary64_6254`

Counts

4 → 52

Calls

4 calls:

5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

series568.0ms (8.1%)

Counts

4 → 12

Calls

4 calls:

148.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
146.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
142.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
131.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

simplify64.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5285	1528

prune157.0ms (2.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	63	5	68

Error

0.0b

Counts

68 → 5

Compiler

Compiled 4233 to 2181 computations (48.5% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

1.7b	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
2.2b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
2.2b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
2.2b	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

rewrite30.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64_6247` `add-sqr-sqrt_binary64_6238`
8×	`*-un-lft-identity_binary64_6216` `add-cube-cbrt_binary64_6251`
6×	`cbrt-div_binary64_6248`
5×	`pow1_binary64_6277`
4×	`flip-+_binary64_6190` `add-cbrt-cube_binary64_6252` `flip3-+_binary64_6219` `add-log-exp_binary64_6255` `add-exp-log_binary64_6254`
3×	`pow1/3_binary64_6298` `sqrt-prod_binary64_6232`
2×	`sqrt-div_binary64_6233`
1×	`rem-sqrt-square_binary64_6229` `sqrt-pow1_binary64_6234` `pow1/2_binary64_6296`

Counts

4 → 54

Calls

4 calls:

6.0ms	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
5.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

series496.0ms (7.1%)

Counts

4 → 12

Calls

4 calls:

145.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
142.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
134.0ms	(cbrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))
76.0ms	(sqrt.f64 (+.f64 (.f64 x y) (/.f64 (.f64 z t) 16)))

simplify64.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5189	1550

prune177.0ms (2.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	66	5	71

Error

0.0b

Counts

71 → 5

Compiler

Compiled 4913 to 2462 computations (49.9% saved)

regimes442.0ms (6.3%)

Accuracy

Total 0.0b remaining (5.9%)

Threshold costs 0.0b (5.9%)

Compiler

Compiled 6059 to 4671 computations (22.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	56	25
1	56	25

end0.0ms (0%)

sample1.5s (21.8%)

Algorithm

1×

intervals

Results

453.0ms	8000×	body	128	valid
219.0ms	4144×	body	128	invalid

Compiler

Compiled 430 to 335 computations (22.1% saved)

Details

analyze1.7s (24.5%)

sample42.0ms (0.6%)

simplify169.0ms (2.4%)

prune3.0ms (0%)

localize13.0ms (0.2%)

rewrite39.0ms (0.6%)

series300.0ms (4.3%)

simplify75.0ms (1.1%)

prune75.0ms (1.1%)

localize16.0ms (0.2%)

rewrite41.0ms (0.6%)

series637.0ms (9.1%)

simplify80.0ms (1.1%)

prune189.0ms (2.7%)

localize23.0ms (0.3%)

rewrite32.0ms (0.5%)

series568.0ms (8.1%)

simplify64.0ms (0.9%)

prune157.0ms (2.2%)

localize27.0ms (0.4%)

rewrite30.0ms (0.4%)

series496.0ms (7.1%)

simplify64.0ms (0.9%)

prune177.0ms (2.5%)

regimes442.0ms (6.3%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.5s (21.8%)

Profiling