Details

analyze1.1s (12.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
1.6%	98.2%	0.2%	9
2.3%	97.5%	0.2%	10
11.7%	88.1%	0.2%	11
13.1%	74.3%	12.7%	12
16.1%	70.5%	13.5%	13
18.6%	68%	13.5%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample94.0ms (1.1%)

Algorithm

1×

intervals

Results

24.0ms	49×	body	1024	valid
20.0ms	17×	body	2048	valid
12.0ms	49×	body	512	valid
9.0ms	114×	body	128	valid
4.0ms	27×	body	256	valid
2.0ms	44×	body	128	nan
2.0ms	28×	body	128	overflowed
1.0ms	4×	body	1024	nan
0.0ms	4×	body	256	nan
0.0ms	2×	body	512	nan
0.0ms	2×	body	128	invalid

Compiler

Compiled 27 to 29 computations (-7.4% saved)

simplify483.0ms (5.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (319.0ms)

Iter	Nodes	Cost
0	3705	20
1	3705	20

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

Merged error: 26.7b

Counts

2 → 1

Compiler

Compiled 26 to 24 computations (7.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 y (exp.f64 z))
0.0b	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
1.4b	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
1.8b	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))

rewrite39.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_12230`
16×	`*-un-lft-identity_binary64_12209` `add-cube-cbrt_binary64_12241`
12×	`times-frac_binary64_12215`
11×	`pow1_binary64_12267`
9×	`add-log-exp_binary64_12245`
8×	`add-cbrt-cube_binary64_12242` `add-exp-log_binary64_12244`
5×	`log-pow_binary64_12295`
4×	`log-div_binary64_12293` `associate-/l*_binary64_12156`
3×	`associate-/r_binary64_12155` `flip3-+_binary64_12212` `flip-+_binary64_12183` `log-prod_binary64_12292` `associate-r_binary64_12151` `associate-l*_binary64_12152`
2×	`div-sub_binary64_12214` `sum-log_binary64_12297`
1×	`rem-log-exp_binary64_12247` `clear-num_binary64_12208` `unswap-sqr_binary64_12177` `cbrt-unprod_binary64_12239` `cbrt-undiv_binary64_12240` `*-commutative_binary64_12142` `associate-+l-_binary64_12146` `diff-log_binary64_12298` `div-exp_binary64_12257` `prod-exp_binary64_12255` `div-inv_binary64_12206` `associate-+l+_binary64_12144` `sub-neg_binary64_12202` `pow-prod-down_binary64_12277` `frac-2neg_binary64_12220` `+-commutative_binary64_12141`

Counts

4 → 79

Calls

4 calls:

11.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
8.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
7.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
6.0ms	(*.f64 y (exp.f64 z))

series608.0ms (7%)

Counts

4 → 12

Calls

4 calls:

386.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
138.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
47.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
36.0ms	(*.f64 y (exp.f64 z))

simplify76.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4941	1971
1	4941	1971

prune119.0ms (1.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	84	7	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	7	92

Merged error: 6.6b

Counts

92 → 7

Compiler

Compiled 2120 to 1137 computations (46.4% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 z (.f64 1/2 (.f64 z z)))
0.0b	(/.f64 (log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z)))))) t)
2.6b	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))
4.9b	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))

rewrite27.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_12230`
16×	`*-un-lft-identity_binary64_12209` `add-cube-cbrt_binary64_12241`
12×	`times-frac_binary64_12215`
11×	`pow1_binary64_12267`
9×	`add-exp-log_binary64_12244`
8×	`add-cbrt-cube_binary64_12242`
6×	`add-log-exp_binary64_12245`
5×	`log-pow_binary64_12295`
4×	`flip3-+_binary64_12212` `log-div_binary64_12293` `flip-+_binary64_12183` `associate-/l*_binary64_12156`
3×	`associate-/r_binary64_12155` `log-prod_binary64_12292` `associate-r_binary64_12151` `associate-l*_binary64_12152`
2×	`div-sub_binary64_12214` `associate-*r/_binary64_12153`
1×	`rem-log-exp_binary64_12247` `clear-num_binary64_12208` `unswap-sqr_binary64_12177` `cbrt-unprod_binary64_12239` `cbrt-undiv_binary64_12240` `distribute-rgt-in_binary64_12161` `*-commutative_binary64_12142` `div-exp_binary64_12257` `prod-exp_binary64_12255` `div-inv_binary64_12206` `distribute-lft-in_binary64_12160` `pow-prod-down_binary64_12277` `sum-log_binary64_12297` `frac-2neg_binary64_12220` `+-commutative_binary64_12141`

Counts

4 → 80

Calls

4 calls:

7.0ms	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))
6.0ms	(/.f64 (log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z)))))) t)
4.0ms	(+.f64 z (.f64 1/2 (.f64 z z)))
3.0ms	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))

series649.0ms (7.5%)

Counts

4 → 12

Calls

4 calls:

325.0ms	(/.f64 (log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z)))))) t)
133.0ms	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))
111.0ms	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))
80.0ms	(+.f64 z (.f64 1/2 (.f64 z z)))

simplify82.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4944	2283
1	4944	2283

prune124.0ms (1.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	89	3	92
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	89	10	99

Merged error: 6.6b

Counts

99 → 10

Compiler

Compiled 2549 to 1544 computations (39.4% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z)))))) 3))
0.1b	(pow.f64 (log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z)))))) 3)
2.6b	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))
4.9b	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))

rewrite24.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_12230`
14×	`cbrt-prod_binary64_12237`
13×	`*-un-lft-identity_binary64_12209` `add-cube-cbrt_binary64_12241`
12×	`pow1_binary64_12267`
8×	`unpow-prod-down_binary64_12285` `add-exp-log_binary64_12244` `cube-prod_binary64_12234`
7×	`add-cbrt-cube_binary64_12242`
5×	`log-pow_binary64_12295`
4×	`add-log-exp_binary64_12245`
3×	`pow-unpow_binary64_12283` `log-prod_binary64_12292` `associate-r_binary64_12151` `associate-l_binary64_12152`
2×	`flip3-+_binary64_12212` `cube-mult_binary64_12236` `log-div_binary64_12293` `flip-+_binary64_12183` `sqr-pow_binary64_12181` `associate-*r/_binary64_12153` `unpow3_binary64_12272`
1×	`rem-log-exp_binary64_12247` `pow-exp_binary64_12274` `unswap-sqr_binary64_12177` `cbrt-unprod_binary64_12239` `rem-cbrt-cube_binary64_12232` `distribute-rgt-in_binary64_12161` `*-commutative_binary64_12142` `pow-pow_binary64_12278` `pow1/3_binary64_12288` `prod-exp_binary64_12255` `rem-cube-cbrt_binary64_12231` `distribute-lft-in_binary64_12160` `pow-to-exp_binary64_12275` `pow-prod-down_binary64_12277`

Counts

4 → 84

Calls

4 calls:

7.0ms	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))
3.0ms	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))
3.0ms	(pow.f64 (log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z)))))) 3)
3.0ms	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z)))))) 3))

series871.0ms (10%)

Counts

4 → 12

Calls

4 calls:

515.0ms	(pow.f64 (log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z)))))) 3)
130.0ms	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z)))))) 3))
123.0ms	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))
102.0ms	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))

simplify59.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5000	3063

prune167.0ms (1.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	96	10	106

Merged error: 6.4b

Counts

106 → 10

Compiler

Compiled 3293 to 2154 computations (34.6% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.6b	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))
2.6b	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))
4.9b	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))
4.9b	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))

rewrite30.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_12230`
10×	`pow1_binary64_12267` `add-exp-log_binary64_12244` `*-un-lft-identity_binary64_12209` `add-cube-cbrt_binary64_12241`
8×	`add-cbrt-cube_binary64_12242`
6×	`log-prod_binary64_12292` `associate-r_binary64_12151` `associate-l_binary64_12152`
4×	`flip3-+_binary64_12212` `add-log-exp_binary64_12245` `log-div_binary64_12293` `flip-+_binary64_12183` `associate-*r/_binary64_12153`
2×	`rem-log-exp_binary64_12247` `unswap-sqr_binary64_12177` `log-pow_binary64_12295` `cbrt-unprod_binary64_12239` `distribute-rgt-in_binary64_12161` `*-commutative_binary64_12142` `prod-exp_binary64_12255` `distribute-lft-in_binary64_12160` `pow-prod-down_binary64_12277`

Counts

4 → 72

Calls

4 calls:

7.0ms	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))
7.0ms	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))
3.0ms	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))
3.0ms	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))

series476.0ms (5.5%)

Counts

4 → 12

Calls

4 calls:

132.0ms	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))
123.0ms	(log.f64 (+.f64 1 (.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))))
111.0ms	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))
110.0ms	(.f64 y (+.f64 z (.f64 1/2 (*.f64 z z))))

simplify75.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4950	1734
1	4950	1734

prune172.0ms (2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	84	10	94

Merged error: 6.4b

Counts

94 → 10

Compiler

Compiled 3648 to 2429 computations (33.4% saved)

regimes282.0ms (3.2%)

Compiler: Compiled 1779 to 1345 computations (24.4% saved)

bsearch153.0ms (1.8%)

Steps

Iters	Range		Point
8	1.1930246413582979e-189	1.687332325234966e-186	3.0714818209087864e-188
8	-1.8989330564811492e-146	-5.0968235924474925e-151	-1.2144503686688753e-147
8	-9310797617138.098	-22971303144.325527	-23263945080.082653

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	410	118
1	410	118

end0.0ms (0%)

sample2.9s (33.3%)

Algorithm

1×

intervals

Results

829.0ms	1737×	body	1024	valid
348.0ms	1314×	body	512	valid
306.0ms	302×	body	2048	valid
306.0ms	3844×	body	128	valid
126.0ms	803×	body	256	valid
83.0ms	1566×	body	128	nan
58.0ms	192×	body	1024	nan
52.0ms	862×	body	128	overflowed
51.0ms	268×	body	512	nan
17.0ms	141×	body	256	nan
1.0ms	16×	body	128	invalid
0.0ms	1×	body	1024	invalid

Compiler

Compiled 450 to 329 computations (26.9% saved)

Details

analyze1.1s (12.9%)

sample94.0ms (1.1%)

simplify483.0ms (5.6%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite39.0ms (0.4%)

series608.0ms (7%)

simplify76.0ms (0.9%)

prune119.0ms (1.4%)

localize12.0ms (0.1%)

rewrite27.0ms (0.3%)

series649.0ms (7.5%)

simplify82.0ms (0.9%)

prune124.0ms (1.4%)

localize17.0ms (0.2%)

rewrite24.0ms (0.3%)

series871.0ms (10%)

simplify59.0ms (0.7%)

prune167.0ms (1.9%)

localize19.0ms (0.2%)

rewrite30.0ms (0.3%)

series476.0ms (5.5%)

simplify75.0ms (0.9%)

prune172.0ms (2%)

regimes282.0ms (3.2%)

bsearch153.0ms (1.8%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample2.9s (33.3%)

Profiling