Details

analyze257.0ms (3.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 30 to 24 computations (20% saved)

sample37.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms	290×	pre	128	true
8.0ms	169×	body	128	valid
8.0ms	87×	body	256	valid
2.0ms	34×	body	128	nan

Compiler

Compiled 47 to 41 computations (12.8% saved)

simplify456.0ms (5.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (293.0ms)

Iter	Nodes	Cost
0	1706	24
1	1706	24

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

Merged error: 41.9b

Counts

2 → 1

Compiler

Compiled 66 to 54 computations (18.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
0.3b	(.f64 (.f64 3 a) c)
0.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
37.4b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))

rewrite39.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_2487`
14×	`add-exp-log_binary64_2525` `add-cbrt-cube_binary64_2523`
10×	`add-log-exp_binary64_2526`
9×	`pow1_binary64_2548`
7×	`add-cube-cbrt_binary64_2522` `add-sqr-sqrt_binary64_2509`
6×	`distribute-lft-out_binary64_2438`
5×	`times-frac_binary64_2493` `associate-/l*_binary64_2432`
4×	`prod-exp_binary64_2536` `cbrt-unprod_binary64_2520`
3×	`distribute-rgt-neg-in_binary64_2445` `pow-prod-down_binary64_2558` `associate-r_binary64_2427`
2×	`associate-+l-_binary64_2422` `flip-+_binary64_2461` `flip3-+_binary64_2490` `sum-log_binary64_2578` `div-exp_binary64_2538` `associate-/l/_binary64_2434` `neg-sub0_binary64_2482` `cbrt-undiv_binary64_2521`
1×	`flip--_binary64_2462` `sub-neg_binary64_2480` `-commutative_binary64_2418` `cancel-sign-sub-inv_binary64_2453` `neg-log_binary64_2580` `diff-log_binary64_2579` `associate-/r_binary64_2431` `frac-2neg_binary64_2498` `clear-num_binary64_2486` `div-sub_binary64_2492` `div-inv_binary64_2484` `+-commutative_binary64_2417` `associate-l_binary64_2428` `flip3--_binary64_2491`

Counts

4 → 73

Calls

4 calls:

13.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
9.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
6.0ms	(.f64 (.f64 3 a) c)
5.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))

series437.0ms (5.2%)

Counts

4 → 12

Calls

4 calls:

214.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))
132.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
64.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
27.0ms	(.f64 (.f64 3 a) c)

simplify61.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5018	1664

prune157.0ms (1.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	81	4	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	4	86

Merged error: 0.2b

Counts

86 → 4

Compiler

Compiled 3159 to 2017 computations (36.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 3 a) c)
0.3b	(.f64 (.f64 3 a) c)
0.3b	(/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))
0.4b	(/.f64 (/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))

rewrite61.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`add-exp-log_binary64_2525` `add-cbrt-cube_binary64_2523`
34×	`times-frac_binary64_2493`
28×	`*-un-lft-identity_binary64_2487` `add-sqr-sqrt_binary64_2509`
19×	`prod-exp_binary64_2536` `cbrt-unprod_binary64_2520`
17×	`div-exp_binary64_2538` `cbrt-undiv_binary64_2521`
14×	`associate-/l*_binary64_2432` `pow1_binary64_2548`
12×	`add-cube-cbrt_binary64_2522`
8×	`difference-of-squares_binary64_2456` `associate-/r*_binary64_2431` `distribute-lft-out--_binary64_2439`
6×	`associate-/r/_binary64_2433` `pow-prod-down_binary64_2558` `associate-r_binary64_2427`
4×	`sqrt-prod_binary64_2503` `distribute-rgt-neg-in_binary64_2445` `div-inv_binary64_2484` `add-log-exp_binary64_2526`
3×	`flip--_binary64_2462` `flip3--_binary64_2491`
2×	`-commutative_binary64_2418` `frac-2neg_binary64_2498` `clear-num_binary64_2486` `associate-l*_binary64_2428`
1×	`associate-/l/_binary64_2434`

Counts

4 → 123

Calls

4 calls:

19.0ms	(/.f64 (/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
16.0ms	(/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))
6.0ms	(.f64 (.f64 3 a) c)
6.0ms	(.f64 (.f64 3 a) c)

series725.0ms (8.7%)

Counts

4 → 12

Calls

4 calls:

363.0ms	(/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))))
303.0ms	(/.f64 (/.f64 (.f64 (.f64 3 a) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c))))) (.f64 3 a))
31.0ms	(.f64 (.f64 3 a) c)
26.0ms	(.f64 (.f64 3 a) c)

simplify99.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5013	3312

prune387.0ms (4.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	126	9	135
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	128	11	139

Merged error: 0.0b

Counts

139 → 11

Compiler

Compiled 8292 to 5397 computations (34.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
0.2b	(/.f64 (.f64 a (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a))))))) a)
0.3b	(.f64 c (.f64 3 a))
0.3b	(.f64 a (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a)))))))

rewrite72.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`add-sqr-sqrt_binary64_2509`
59×	`*-un-lft-identity_binary64_2487`
46×	`times-frac_binary64_2493`
31×	`add-cube-cbrt_binary64_2522`
28×	`associate-r_binary64_2427`
25×	`add-exp-log_binary64_2525` `add-cbrt-cube_binary64_2523`
14×	`difference-of-squares_binary64_2456` `distribute-lft-out--_binary64_2439`
11×	`pow1_binary64_2548`
10×	`associate-/r*_binary64_2431`
7×	`sqrt-prod_binary64_2503` `distribute-rgt-neg-in_binary64_2445` `prod-exp_binary64_2536` `cbrt-unprod_binary64_2520`
6×	`div-exp_binary64_2538` `associate-l_binary64_2428` `cbrt-undiv_binary64_2521`
4×	`associate-/r/_binary64_2433` `associate-/l*_binary64_2432` `pow-prod-down_binary64_2558` `add-log-exp_binary64_2526`
3×	`div-inv_binary64_2484`
2×	`unswap-sqr_binary64_2455` `flip--_binary64_2462` `-commutative_binary64_2418` `frac-2neg_binary64_2498` `clear-num_binary64_2486` `associate-r/_binary64_2429` `flip3--_binary64_2491`
1×	`associate-/l/_binary64_2434`

Counts

4 → 133

Calls

4 calls:

19.0ms	(.f64 a (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a)))))))
16.0ms	(/.f64 (.f64 a (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a))))))) a)
12.0ms	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
6.0ms	(.f64 c (.f64 3 a))

series1.0s (12.3%)

Counts

4 → 12

Calls

4 calls:

368.0ms	(.f64 a (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a)))))))
334.0ms	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
294.0ms	(/.f64 (.f64 a (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (.f64 3 a))))))) a)
29.0ms	(.f64 c (.f64 3 a))

simplify97.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4934	3717
1	4934	3717

prune275.0ms (3.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	141	4	145
Fresh	4	5	9
Picked	0	1	1
Done	0	1	1
Total	145	11	156

Merged error: 0b

Counts

156 → 11

Compiler

Compiled 6240 to 3600 computations (42.3% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
0.3b	(.f64 c (.f64 3 a))
0.3b	(/.f64 1 (/.f64 1 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))))
0.3b	(/.f64 1 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))))))

rewrite180.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

1020×	`times-frac_binary64_2493`
628×	`*-un-lft-identity_binary64_2487` `add-sqr-sqrt_binary64_2509`
420×	`add-cube-cbrt_binary64_2522`
120×	`associate-/r*_binary64_2431`
104×	`difference-of-squares_binary64_2456` `distribute-lft-out--_binary64_2439`
65×	`add-exp-log_binary64_2525`
52×	`sqrt-prod_binary64_2503` `distribute-rgt-neg-in_binary64_2445`
43×	`div-exp_binary64_2538`
40×	`associate-/r/_binary64_2433`
25×	`add-cbrt-cube_binary64_2523`
23×	`div-inv_binary64_2484`
17×	`flip--_binary64_2462` `flip3--_binary64_2491`
15×	`rec-exp_binary64_2537` `1-exp_binary64_2531`
12×	`pow1_binary64_2548`
10×	`cbrt-undiv_binary64_2521`
9×	`associate-/l*_binary64_2432`
5×	`pow-flip_binary64_2561`
4×	`add-log-exp_binary64_2526`
3×	`prod-exp_binary64_2536` `frac-2neg_binary64_2498` `clear-num_binary64_2486` `cbrt-unprod_binary64_2520` `pow-prod-down_binary64_2558` `associate-l_binary64_2428` `inv-pow_binary64_2572`
1×	`-commutative_binary64_2418` `remove-double-div_binary64_2463` `associate-r*_binary64_2427`

Counts

4 → 582

Calls

4 calls:

34.0ms	(/.f64 1 (/.f64 1 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))))
17.0ms	(/.f64 1 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))))))
11.0ms	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
6.0ms	(.f64 c (.f64 3 a))

series951.0ms (11.4%)

Counts

4 → 12

Calls

4 calls:

361.0ms	(/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))
350.0ms	(/.f64 1 (/.f64 1 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a))))))))
213.0ms	(/.f64 1 (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 c (*.f64 3 a)))))))
27.0ms	(.f64 c (.f64 3 a))

simplify249.0ms (3%)

Algorithm

1×	egg-herbie

Counts

594 → 594

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4920	23947
1	4920	23947

prune1.3s (15.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	592	2	594
Fresh	1	7	8
Picked	1	0	1
Done	1	1	2
Total	595	10	605

Merged error: 0b

Counts

605 → 10

Compiler

Compiled 22004 to 12526 computations (43.1% saved)

regimes100.0ms (1.2%)

Compiler: Compiled 1188 to 860 computations (27.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	81	23
1	81	23

end0.0ms (0%)

sample1.3s (15.9%)

Algorithm

1×

intervals

Results

279.0ms	2914×	body	256	valid
265.0ms	8874×	pre	128	true
265.0ms	5086×	body	128	valid
41.0ms	874×	body	128	nan

Compiler

Compiled 339 to 247 computations (27.1% saved)

Details

analyze257.0ms (3.1%)

sample37.0ms (0.4%)

simplify456.0ms (5.5%)

prune5.0ms (0.1%)

localize11.0ms (0.1%)

rewrite39.0ms (0.5%)

series437.0ms (5.2%)

simplify61.0ms (0.7%)

prune157.0ms (1.9%)

localize12.0ms (0.1%)

rewrite61.0ms (0.7%)

series725.0ms (8.7%)

simplify99.0ms (1.2%)

prune387.0ms (4.6%)

localize14.0ms (0.2%)

rewrite72.0ms (0.9%)

series1.0s (12.3%)

simplify97.0ms (1.2%)

prune275.0ms (3.3%)

localize13.0ms (0.2%)

rewrite180.0ms (2.2%)

series951.0ms (11.4%)

simplify249.0ms (3%)

prune1.3s (15.6%)

regimes100.0ms (1.2%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.3s (15.9%)

Profiling