Details

analyze1.9s (22.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5523	968
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
3.1%	96.5%	0.3%	9
4.7%	95%	0.3%	10
4.7%	95%	0.3%	11
5.1%	82.1%	12.8%	12
6.2%	74.7%	19%	13
6.4%	74.5%	19%	14

Compiler

Compiled 34 to 30 computations (11.8% saved)

sample66.0ms (0.8%)

Algorithm

1×

intervals

Results

25.0ms	256×	body	128	valid
17.0ms	186×	body	128	nan

Compiler

Compiled 67 to 66 computations (1.5% saved)

simplify54.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5053	44

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

4.8b

Counts

2 → 1

Compiler

Compiled 62 to 54 computations (12.9% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(*.f64 z (sqrt.f64 (+.f64 t a)))
0.4b	(/.f64 2 (*.f64 t 3))
3.9b	(-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3)))))
4.7b	(/.f64 (*.f64 z (sqrt.f64 (+.f64 t a))) t)

rewrite55.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`frac-sub_binary64_8612`
19×	`add-sqr-sqrt_binary64_8625`
18×	`associate--r+_binary64_8539`
17×	`*-un-lft-identity_binary64_8603`
16×	`add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639`
15×	`add-cube-cbrt_binary64_8638` `cancel-sign-sub-inv_binary64_8569`
12×	`times-frac_binary64_8609`
9×	`flip3--_binary64_8607` `distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_8553` `flip--_binary64_8578`
8×	`associate-*r/_binary64_8545` `frac-times_binary64_8613`
7×	`associate-r_binary64_8543`
6×	`add-log-exp_binary64_8642` `pow1_binary64_8664`
5×	`flip3-+_binary64_8606` `sqrt-prod_binary64_8619` `flip-+_binary64_8577`
4×	`div-exp_binary64_8654` `associate-/l_binary64_8548` `associate-/r_binary64_8547` `cbrt-undiv_binary64_8637` `sqrt-div_binary64_8620` `div-inv_binary64_8600`
3×	`cbrt-unprod_binary64_8636` `associate-l_binary64_8544` `prod-exp_binary64_8652` `sub-neg_binary64_8596`
2×	`clear-num_binary64_8602` `associate-/l/_binary64_8550` `frac-2neg_binary64_8614` `associate-*l/_binary64_8546` `associate--l+_binary64_8540` `unswap-sqr_binary64_8571`
1×	`distribute-lft-out_binary64_8554` `diff-log_binary64_8695` `*-commutative_binary64_8534` `pow-prod-down_binary64_8674`

Counts

4 → 113

Calls

4 calls:

18.0ms	(-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3)))))
9.0ms	(*.f64 z (sqrt.f64 (+.f64 t a)))
9.0ms	(/.f64 (*.f64 z (sqrt.f64 (+.f64 t a))) t)
5.0ms	(/.f64 2 (*.f64 t 3))

series321.0ms (3.8%)

Counts

4 → 12

Calls

4 calls:

189.0ms	(-.f64 (/.f64 (.f64 z (sqrt.f64 (+.f64 t a))) t) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (*.f64 t 3)))))
74.0ms	(/.f64 (*.f64 z (sqrt.f64 (+.f64 t a))) t)
47.0ms	(*.f64 z (sqrt.f64 (+.f64 t a)))
11.0ms	(/.f64 2 (*.f64 t 3))

simplify73.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5097	3310

prune447.0ms (5.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	3	126

Error

0.5b

Counts

126 → 3

Compiler

Compiled 5401 to 2901 computations (46.3% saved)

localize31.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
1.6b	(.f64 (/.f64 z (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 (sqrt.f64 (+.f64 t a)) (cbrt.f64 t)))
3.9b	(-.f64 (.f64 (/.f64 z (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 (sqrt.f64 (+.f64 t a)) (cbrt.f64 t))) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (.f64 t 3)))))

rewrite98.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`add-sqr-sqrt_binary64_8625`
64×	`times-frac_binary64_8609`
60×	`frac-sub_binary64_8612`
51×	`*-un-lft-identity_binary64_8603`
46×	`associate-r_binary64_8543`
39×	`add-cube-cbrt_binary64_8638` `frac-times_binary64_8613`
31×	`cbrt-prod_binary64_8634`
28×	`sqrt-prod_binary64_8619`
27×	`associate-*r/_binary64_8545`
25×	`add-exp-log_binary64_8641` `flip3--_binary64_8607` `flip--_binary64_8578`
21×	`associate-*l/_binary64_8546`
18×	`associate--r+_binary64_8539` `add-cbrt-cube_binary64_8639`
15×	`cancel-sign-sub-inv_binary64_8569`
10×	`unswap-sqr_binary64_8571`
9×	`flip3-+_binary64_8606` `distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_8553` `flip-+_binary64_8577`
8×	`cbrt-unprod_binary64_8636` `prod-exp_binary64_8652`
7×	`div-exp_binary64_8654` `associate-l_binary64_8544` `cbrt-undiv_binary64_8637`
6×	`add-log-exp_binary64_8642` `distribute-lft-out_binary64_8554` `pow1_binary64_8664`
4×	`div-inv_binary64_8600`
3×	`sub-neg_binary64_8596`
2×	`pow1/3_binary64_8685` `associate--l+_binary64_8540`
1×	`diff-log_binary64_8695` `*-commutative_binary64_8534` `pow-prod-down_binary64_8674`

Counts

4 → 181

Calls

4 calls:

28.0ms	(.f64 (/.f64 z (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 (sqrt.f64 (+.f64 t a)) (cbrt.f64 t)))
27.0ms	(-.f64 (.f64 (/.f64 z (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 (sqrt.f64 (+.f64 t a)) (cbrt.f64 t))) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (.f64 t 3)))))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

series547.0ms (6.5%)

Counts

4 → 12

Calls

4 calls:

257.0ms	(-.f64 (.f64 (/.f64 z (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 (sqrt.f64 (+.f64 t a)) (cbrt.f64 t))) (.f64 (-.f64 b c) (-.f64 (+.f64 a (/.f64 5 6)) (/.f64 2 (.f64 t 3)))))
124.0ms	(.f64 (/.f64 z (.f64 (cbrt.f64 t) (cbrt.f64 t))) (/.f64 (sqrt.f64 (+.f64 t a)) (cbrt.f64 t)))
88.0ms	(cbrt.f64 t)
77.0ms	(cbrt.f64 t)

simplify93.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5100	8160

prune500.0ms (5.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	193	0	193
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	193	3	196

Error

0.5b

Counts

196 → 3

Compiler

Compiled 10429 to 5535 computations (46.9% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 y (exp.f64 (.f64 2 (-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b)))))
0.0b	(+.f64 a 5/6)
0.1b	(*.f64 c (+.f64 a 5/6))
1.9b	(-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b))

rewrite35.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`associate-r_binary64_8543`
12×	`add-sqr-sqrt_binary64_8625` `*-un-lft-identity_binary64_8603`
8×	`add-cube-cbrt_binary64_8638` `add-log-exp_binary64_8642` `distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_8553` `add-cbrt-cube_binary64_8639` `exp-sum_binary64_8649` `pow1_binary64_8664`
7×	`add-exp-log_binary64_8641`
6×	`associate-l_binary64_8544` `associate--l+_binary64_8540`
3×	`cancel-sign-sub-inv_binary64_8569` `sub-neg_binary64_8596`
2×	`flip3-+_binary64_8606` `cbrt-unprod_binary64_8636` `distribute-lft-out_binary64_8554` `associate-r/_binary64_8545` `flip-+_binary64_8577` `-commutative_binary64_8534` `prod-exp_binary64_8652` `pow-prod-down_binary64_8674` `unswap-sqr_binary64_8571`
1×	`flip3--_binary64_8607` `diff-log_binary64_8695` `flip--_binary64_8578` `sum-log_binary64_8694` `+-commutative_binary64_8533`

Counts

4 → 75

Calls

4 calls:

10.0ms	(.f64 y (exp.f64 (.f64 2 (-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b)))))
7.0ms	(-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b))
7.0ms	(*.f64 c (+.f64 a 5/6))
5.0ms	(+.f64 a 5/6)

series156.0ms (1.8%)

Counts

4 → 12

Calls

4 calls:

93.0ms	(.f64 y (exp.f64 (.f64 2 (-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b)))))
31.0ms	(-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b))
22.0ms	(*.f64 c (+.f64 a 5/6))
11.0ms	(+.f64 a 5/6)

simplify65.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5047	1225

prune103.0ms (1.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	86	4	90

Error

0.0b

Counts

90 → 4

Compiler

Compiled 2083 to 1247 computations (40.1% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 c (+.f64 a 5/6))
0.1b	(*.f64 c (+.f64 a 5/6))
1.9b	(-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b))
1.9b	(-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b))

rewrite37.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_8625` `*-un-lft-identity_binary64_8603`
8×	`add-cube-cbrt_binary64_8638` `add-log-exp_binary64_8642` `add-exp-log_binary64_8641` `add-cbrt-cube_binary64_8639` `associate-r_binary64_8543` `pow1_binary64_8664`
6×	`associate-l_binary64_8544`
4×	`distribute-lft-in_binary64_8552` `distribute-rgt-in_binary64_8553` `associate-*r/_binary64_8545` `associate--l+_binary64_8540`
2×	`flip3-+_binary64_8606` `flip3--_binary64_8607` `cbrt-unprod_binary64_8636` `distribute-lft-out_binary64_8554` `flip-+_binary64_8577` `diff-log_binary64_8695` `*-commutative_binary64_8534` `cancel-sign-sub-inv_binary64_8569` `prod-exp_binary64_8652` `flip--_binary64_8578` `sub-neg_binary64_8596` `pow-prod-down_binary64_8674` `unswap-sqr_binary64_8571`

Counts

4 → 74

Calls

4 calls:

7.0ms	(*.f64 c (+.f64 a 5/6))
7.0ms	(-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b))
7.0ms	(*.f64 c (+.f64 a 5/6))
7.0ms	(-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b))

series106.0ms (1.3%)

Counts

4 → 12

Calls

4 calls:

32.0ms	(-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b))
29.0ms	(-.f64 (.f64 c (+.f64 a 5/6)) (.f64 a b))
23.0ms	(*.f64 c (+.f64 a 5/6))
21.0ms	(*.f64 c (+.f64 a 5/6))

simplify59.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5067	1072

prune131.0ms (1.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	86	4	90

Error

0.0b

Counts

90 → 4

Compiler

Compiled 3080 to 1820 computations (40.9% saved)

regimes825.0ms (9.8%)

Accuracy

Total 1.9b remaining (83.5%)

Threshold costs 0b (0%)

Compiler

Compiled 11855 to 9682 computations (18.3% saved)

bsearch2.0ms (0%)

Compiler: Compiled 24 to 23 computations (4.2% saved)

simplify21.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	487	113
1	487	113

end0.0ms (0%)

sample2.6s (31.3%)

Algorithm

1×

intervals

Results

800.0ms	8000×	body	128	valid
492.0ms	5095×	body	128	nan

Compiler

Compiled 1119 to 890 computations (20.5% saved)

Details

analyze1.9s (22.6%)

sample66.0ms (0.8%)

simplify54.0ms (0.6%)

prune7.0ms (0.1%)

localize29.0ms (0.3%)

rewrite55.0ms (0.7%)

series321.0ms (3.8%)

simplify73.0ms (0.9%)

prune447.0ms (5.3%)

localize31.0ms (0.4%)

rewrite98.0ms (1.2%)

series547.0ms (6.5%)

simplify93.0ms (1.1%)

prune500.0ms (5.9%)

localize13.0ms (0.2%)

rewrite35.0ms (0.4%)

series156.0ms (1.8%)

simplify65.0ms (0.8%)

prune103.0ms (1.2%)

localize17.0ms (0.2%)

rewrite37.0ms (0.4%)

series106.0ms (1.3%)

simplify59.0ms (0.7%)

prune131.0ms (1.5%)

regimes825.0ms (9.8%)

bsearch2.0ms (0%)

simplify21.0ms (0.3%)

end0.0ms (0%)

sample2.6s (31.3%)

Profiling