Details

analyze2.0ms (0%)

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

Algorithm

1×

intervals

Results

14.0ms	62×	body	1024	valid
5.0ms	42×	body	512	valid
5.0ms	130×	body	128	valid
2.0ms	6×	body	2048	valid
1.0ms	16×	body	256	valid

Compiler

Compiled 21 to 25 computations (-19% saved)

simplify250.0ms (6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4638	15
1	4638	15

prune2.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: 30.2b

Counts

2 → 1

Compiler

Compiled 20 to 22 computations (-10% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite28.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`*-un-lft-identity_binary64_423`
24×	`add-sqr-sqrt_binary64_445`
15×	`times-frac_binary64_429`
13×	`add-cube-cbrt_binary64_458`
7×	`add-log-exp_binary64_462`
5×	`distribute-lft-out_binary64_374` `add-exp-log_binary64_461` `add-cbrt-cube_binary64_459`
4×	`difference-of-squares_binary64_392` `associate-/r*_binary64_367`
3×	`cancel-sign-sub-inv_binary64_389` `pow1_binary64_484` `associate-/l*_binary64_368`
2×	`flip-+_binary64_397` `associate-/r/_binary64_369` `flip3-+_binary64_426` `difference-of-sqr-1_binary64_393`
1×	`sub-neg_binary64_416` `diff-log_binary64_515` `+-commutative_binary64_353` `flip3--_binary64_427` `clear-num_binary64_422` `distribute-lft-out--_binary64_375` `frac-2neg_binary64_434` `flip--_binary64_398` `div-inv_binary64_420` `cbrt-undiv_binary64_457` `div-exp_binary64_474` `sum-log_binary64_514`

Counts

3 → 66

Calls

3 calls:

13.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
6.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
4.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))

series158.0ms (3.8%)

Counts

3 → 9

Calls

3 calls:

94.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
51.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
13.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))

simplify110.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4817	1373
1	4817	1373

prune158.0ms (3.8%)

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: 0.0b

Counts

76 → 2

Compiler

Compiled 2402 to 2264 computations (5.7% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite59.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary64_423`
23×	`add-sqr-sqrt_binary64_445`
19×	`add-cube-cbrt_binary64_458`
16×	`times-frac_binary64_429`
14×	`flip-+_binary64_397` `flip3-+_binary64_426`
13×	`add-exp-log_binary64_461` `add-cbrt-cube_binary64_459`
11×	`distribute-lft-out_binary64_374` `pow1_binary64_484`
10×	`associate-/r/_binary64_369`
8×	`frac-times_binary64_433`
6×	`swap-sqr_binary64_390` `add-log-exp_binary64_462` `associate-/l*_binary64_368`
5×	`associate-/r*_binary64_367`
4×	`associate-l_binary64_364` `associate-r/_binary64_365` `associate-l/_binary64_366` `associate-r_binary64_363`
3×	`cbrt-undiv_binary64_457` `div-exp_binary64_474`
2×	`prod-exp_binary64_472` `clear-num_binary64_422` `frac-2neg_binary64_434` `div-inv_binary64_420` `difference-of-sqr--1_binary64_394` `cbrt-unprod_binary64_456`
1×	`pow-prod-down_binary64_494` `distribute-rgt-in_binary64_373` `distribute-lft-in_binary64_372` `pow-sqr_binary64_396` `+-commutative_binary64_353` `pow-prod-up_binary64_493` `*-commutative_binary64_354` `pow-plus_binary64_486` `unswap-sqr_binary64_391` `pow2_binary64_504` `sum-log_binary64_514`

Counts

4 → 116

Calls

4 calls:

16.0ms	(+.f64 (/.f64 4 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (+.f64 1 (exp.f64 (*.f64 -2 x))))) -1)
11.0ms	(/.f64 4 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))
11.0ms	(.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (+.f64 1 (exp.f64 (*.f64 -2 x))))
6.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))

series333.0ms (8%)

Counts

4 → 12

Calls

4 calls:

133.0ms	(+.f64 (/.f64 4 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (+.f64 1 (exp.f64 (*.f64 -2 x))))) -1)
110.0ms	(/.f64 4 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))
59.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
31.0ms	(.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (+.f64 1 (exp.f64 (*.f64 -2 x))))

simplify72.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5026	2390

prune257.0ms (6.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	127	3	130

Merged error: 0b

Counts

130 → 3

Compiler

Compiled 4396 to 3941 computations (10.4% saved)

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 16 (pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4))
0.0b	(pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 2)
0.0b	(pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4)
2.7b	(+.f64 -1 (/.f64 16 (pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4)))

rewrite46.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`*-un-lft-identity_binary64_423`
25×	`add-cube-cbrt_binary64_458` `add-sqr-sqrt_binary64_445`
24×	`times-frac_binary64_429` `unpow-prod-down_binary64_502`
11×	`add-exp-log_binary64_461`
8×	`associate-/r*_binary64_367`
7×	`distribute-lft-out_binary64_374`
6×	`pow1_binary64_484` `pow-unpow_binary64_500` `add-cbrt-cube_binary64_459` `add-log-exp_binary64_462` `sqr-pow_binary64_395`
3×	`pow-to-exp_binary64_492` `pow-exp_binary64_491` `associate-/l*_binary64_368` `div-exp_binary64_474`
2×	`pow-pow_binary64_495`
1×	`flip-+_binary64_397` `+-commutative_binary64_353` `clear-num_binary64_422` `flip3-+_binary64_426` `frac-2neg_binary64_434` `unpow2_binary64_488` `div-inv_binary64_420` `cbrt-undiv_binary64_457` `sum-log_binary64_514`

Counts

4 → 98

Calls

4 calls:

14.0ms	(+.f64 -1 (/.f64 16 (pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4)))
8.0ms	(/.f64 16 (pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4))
7.0ms	(pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4)
5.0ms	(pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 2)

series371.0ms (8.9%)

Counts

4 → 12

Calls

4 calls:

168.0ms	(+.f64 -1 (/.f64 16 (pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4)))
119.0ms	(/.f64 16 (pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4))
56.0ms	(pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4)
28.0ms	(pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 2)

simplify60.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4970	2152
1	4970	2152

prune304.0ms (7.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	110	3	113

Merged error: 0b

Counts

113 → 3

Compiler

Compiled 4645 to 4265 computations (8.2% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (*.f64 2/15 (pow.f64 x 5)))
0.0b	(*.f64 2/15 (pow.f64 x 5))
0.3b	(*.f64 1/3 (pow.f64 x 3))
18.0b	(-.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (.f64 1/3 (pow.f64 x 3)))

rewrite30.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_445`
19×	`associate-r_binary64_363`
14×	`add-exp-log_binary64_461`
11×	`*-un-lft-identity_binary64_423` `add-cube-cbrt_binary64_458` `add-log-exp_binary64_462`
8×	`add-cbrt-cube_binary64_459` `unpow-prod-down_binary64_502`
7×	`unswap-sqr_binary64_391`
6×	`associate-l_binary64_364` `prod-exp_binary64_472`
4×	`pow1_binary64_484` `cube-prod_binary64_451` `sqr-pow_binary64_395`
2×	`pow-to-exp_binary64_492` `diff-log_binary64_515` `pow-exp_binary64_491` `*-commutative_binary64_354` `sum-log_binary64_514` `cbrt-unprod_binary64_456`
1×	`associate--l+_binary64_360` `sub-neg_binary64_416` `flip-+_binary64_397` `unpow3_binary64_489` `cancel-sign-sub-inv_binary64_389` `+-commutative_binary64_353` `flip3--_binary64_427` `flip3-+_binary64_426` `cube-mult_binary64_453` `flip--_binary64_398`

Counts

4 → 81

Calls

4 calls:

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

series341.0ms (8.2%)

Counts

4 → 12

Calls

4 calls:

164.0ms	(+.f64 x (*.f64 2/15 (pow.f64 x 5)))
71.0ms	(*.f64 2/15 (pow.f64 x 5))
58.0ms	(-.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (.f64 1/3 (pow.f64 x 3)))
47.0ms	(*.f64 1/3 (pow.f64 x 3))

simplify66.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4877	1196
1	4877	1196

prune99.0ms (2.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	93	3	96

Merged error: 0b

Counts

96 → 3

Compiler

Compiled 1649 to 1273 computations (22.8% saved)

regimes163.0ms (3.9%)

Compiler: Compiled 633 to 628 computations (0.8% saved)

bsearch2.0ms (0%)

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

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	76	135
1	76	135

end0.0ms (0%)

sample1.2s (27.9%)

Algorithm

1×

intervals

Results

439.0ms	2040×	body	1024	valid
157.0ms	4320×	body	128	valid
123.0ms	960×	body	512	valid
53.0ms	187×	body	2048	valid
41.0ms	493×	body	256	valid

Compiler

Compiled 177 to 168 computations (5.1% saved)

Details

analyze2.0ms (0%)

sample34.0ms (0.8%)

simplify250.0ms (6%)

prune2.0ms (0.1%)

localize7.0ms (0.2%)

rewrite28.0ms (0.7%)

series158.0ms (3.8%)

simplify110.0ms (2.6%)

prune158.0ms (3.8%)

localize12.0ms (0.3%)

rewrite59.0ms (1.4%)

series333.0ms (8%)

simplify72.0ms (1.7%)

prune257.0ms (6.2%)

localize17.0ms (0.4%)

rewrite46.0ms (1.1%)

series371.0ms (8.9%)

simplify60.0ms (1.4%)

prune304.0ms (7.3%)

localize10.0ms (0.2%)

rewrite30.0ms (0.7%)

series341.0ms (8.2%)

simplify66.0ms (1.6%)

prune99.0ms (2.4%)

regimes163.0ms (3.9%)

bsearch2.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.2s (27.9%)

Profiling