Details

analyze2.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 11 to 12 computations (-9.1% saved)

sample34.0ms (1.2%)

Algorithm

1×

intervals

Results

12.0ms	51×	body	1280	valid
7.0ms	46×	body	640	valid
4.0ms	128×	body	80	valid
2.0ms	20×	body	320	valid
1.0ms	11×	body	160	valid

Compiler

Compiled 21 to 25 computations (-19% saved)

simplify133.0ms (4.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (119.0ms)

Iter	Nodes	Cost
0	4759	15
1	4759	15

prune3.0ms (0.1%)

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

Merged error: 29.6b

Counts

2 → 1

Compiler

Compiled 20 to 22 computations (-10% saved)

localize11.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 1 (exp.f64 (*.f64 -2 x)))
0.0b	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
2.8b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

rewrite27.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`*-un-lft-identity_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`times-frac_binary64`
12×	`add-cube-cbrt_binary64`
7×	`add-log-exp_binary64`
5×	`distribute-lft-out_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`associate-/r*_binary64` `difference-of-squares_binary64`
3×	`pow1_binary64` `associate-/l*_binary64` `insert-posit16`
2×	`flip3-+_binary64` `difference-of-sqr-1_binary64` `associate-/r/_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `distribute-lft-out--_binary64` `div-inv_binary64` `div-exp_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

3 → 66

Calls

3 calls:

14.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
7.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
4.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))

series156.0ms (5.4%)

Counts

3 → 9

Calls

3 calls:

90.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
54.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
11.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))

simplify127.0ms (4.4%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	5025	1412

prune99.0ms (3.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	73	2	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	2	76

Merged error: 0b

Counts

76 → 2

Compiler

Compiled 1275 to 1156 computations (9.3% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 1 (exp.f64 (*.f64 -2 x)))
0.0b	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
0.0b	(pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3)
2.8b	(-.f64 (cbrt.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3)) 1)

rewrite54.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

61×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
42×	`times-frac_binary64`
30×	`add-cube-cbrt_binary64`
24×	`unpow-prod-down_binary64` `cube-prod_binary64`
18×	`cbrt-prod_binary64`
14×	`difference-of-squares_binary64`
11×	`distribute-lft-out_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`add-log-exp_binary64`
7×	`difference-of-sqr-1_binary64`
6×	`associate-/r/_binary64`
5×	`pow1_binary64`
4×	`flip3-+_binary64` `associate-/r*_binary64` `sqr-pow_binary64` `insert-posit16` `flip-+_binary64`
3×	`pow-unpow_binary64` `associate-/l*_binary64` `div-inv_binary64`
2×	`cbrt-undiv_binary64` `rem-cube-cbrt_binary64` `div-exp_binary64` `pow-exp_binary64`
1×	`pow-to-exp_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `pow-pow_binary64` `cube-div_binary64` `clear-num_binary64` `frac-2neg_binary64` `distribute-lft-out--_binary64` `+-commutative_binary64` `flip--_binary64` `unpow3_binary64` `sum-log_binary64` `cube-mult_binary64`

Counts

4 → 138

Calls

4 calls:

26.0ms	(-.f64 (cbrt.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3)) 1)
9.0ms	(pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3)
7.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
5.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))

series260.0ms (9.1%)

Counts

4 → 12

Calls

4 calls:

103.0ms	(pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3)
94.0ms	(-.f64 (cbrt.f64 (pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 3)) 1)
50.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
13.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))

simplify118.0ms (4.1%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5566	3226

prune201.0ms (7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

152 → 2

Compiler

Compiled 2971 to 2727 computations (8.2% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.1b	(*.f64 2/15 (pow.f64 x 5))
0.1b	(*.f64 1/3 (pow.f64 x 3))
17.6b	(-.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (.f64 1/3 (pow.f64 x 3)))

rewrite24.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
13×	`add-exp-log_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`add-log-exp_binary64` `unpow-prod-down_binary64`
7×	`add-cbrt-cube_binary64` `unswap-sqr_binary64`
6×	`associate-l_binary64` `prod-exp_binary64`
4×	`sqr-pow_binary64` `cube-prod_binary64`
3×	`pow1_binary64` `insert-posit16`
2×	`pow-to-exp_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `pow-exp_binary64` `*-commutative_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `flip--_binary64` `unpow3_binary64` `associate--l+_binary64` `sum-log_binary64` `cube-mult_binary64`

Counts

3 → 72

Calls

3 calls:

8.0ms	(-.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (.f64 1/3 (pow.f64 x 3)))
7.0ms	(*.f64 1/3 (pow.f64 x 3))
6.0ms	(*.f64 2/15 (pow.f64 x 5))

series181.0ms (6.3%)

Counts

3 → 9

Calls

3 calls:

65.0ms	(-.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (.f64 1/3 (pow.f64 x 3)))
65.0ms	(*.f64 2/15 (pow.f64 x 5))
51.0ms	(*.f64 1/3 (pow.f64 x 3))

simplify65.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4952	1035
1	4952	1035

prune89.0ms (3.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

83 → 2

Compiler

Compiled 1433 to 1108 computations (22.7% saved)

regimes141.0ms (4.9%)

Compiler: Compiled 202 to 214 computations (-5.9% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	82	59
1	82	59

end0.0ms (0%)

sample1.1s (39.1%)

Algorithm

1×

intervals

Results

413.0ms	1678×	body	1280	valid
212.0ms	1255×	body	640	valid
144.0ms	4108×	body	80	valid
75.0ms	653×	body	320	valid
23.0ms	306×	body	160	valid

Compiler

Compiled 76 to 75 computations (1.3% saved)

Details

analyze2.0ms (0.1%)

sample34.0ms (1.2%)

simplify133.0ms (4.6%)

prune3.0ms (0.1%)

localize11.0ms (0.4%)

rewrite27.0ms (0.9%)

series156.0ms (5.4%)

simplify127.0ms (4.4%)

prune99.0ms (3.4%)

localize9.0ms (0.3%)

rewrite54.0ms (1.9%)

series260.0ms (9.1%)

simplify118.0ms (4.1%)

prune201.0ms (7%)

localize9.0ms (0.3%)

rewrite24.0ms (0.8%)

series181.0ms (6.3%)

simplify65.0ms (2.3%)

prune89.0ms (3.1%)

regimes141.0ms (4.9%)

bsearch1.0ms (0%)

simplify7.0ms (0.2%)

end0.0ms (0%)

sample1.1s (39.1%)

Profiling