Details

analyze627.0ms (2.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%	68.6%	31.4%	5
0%	65.5%	34.5%	6
0%	59.2%	40.8%	7
0%	51.4%	48.6%	8
0%	41.3%	58.7%	9
0%	28.4%	71.6%	10
2.3%	22.3%	75.4%	11
2.3%	21%	76.7%	12
2.7%	18%	79.3%	13
2.7%	16.4%	80.8%	14

Compiler

Compiled 17 to 16 computations (5.9% saved)

sample55.0ms (0.3%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
13.0ms	153×	body	128	nan

Compiler

Compiled 33 to 36 computations (-9.1% saved)

simplify363.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (202.0ms)

Iter	Nodes	Cost
0	5309	25

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

Error

0.3b

Counts

2 → 1

Compiler

Compiled 32 to 30 computations (6.3% saved)

localize20.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.6b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.0b	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.0b	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
0.6b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite63.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`*-un-lft-identity_binary64_7730`
20×	`add-sqr-sqrt_binary64_7752`
19×	`log-prod_binary64_7816`
15×	`pow1_binary64_7791`
14×	`add-log-exp_binary64_7769` `add-cube-cbrt_binary64_7765`
9×	`log-pow_binary64_7819` `associate-+r+_binary64_7662` `associate-+l+_binary64_7663` `distribute-lft-out_binary64_7681`
6×	`distribute-lft-in_binary64_7679` `distribute-lft-out--_binary64_7682` `flip--_binary64_7705` `associate-*l/_binary64_7673` `add-cbrt-cube_binary64_7766` `add-exp-log_binary64_7768` `distribute-rgt-in_binary64_7680` `flip3--_binary64_7734` `sum-log_binary64_7821` `cancel-sign-sub-inv_binary64_7696`
5×	`associate-+l-_binary64_7665` `associate-l_binary64_7671`
4×	`flip3-+_binary64_7733` `flip-+_binary64_7704` `diff-log_binary64_7822` `associate-r_binary64_7670` `frac-add_binary64_7738` `log-div_binary64_7817`
2×	`associate--l+_binary64_7667` `difference-of-squares_binary64_7699` `+-commutative_binary64_7660` `associate--l-_binary64_7668` `sub-neg_binary64_7723`
1×	`unswap-sqr_binary64_7698` `prod-exp_binary64_7779` `pow-prod-down_binary64_7801` `*-commutative_binary64_7661` `cbrt-unprod_binary64_7763`

Counts

4 → 106

Calls

8 calls:

20.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
14.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
8.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
8.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)

series2.5s (11.5%)

Counts

4 → 65

Calls

4 calls:

1.4s	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
509.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
340.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
270.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

Compiler

Compiled 2080 to 1887 computations (9.3% saved)

simplify145.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4988	3183
1	4988	3183

prune454.0ms (2.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	164	7	171
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	165	7	172

Error

0.0b

Counts

172 → 7

Compiler

Compiled 3699 to 1302 computations (64.8% saved)

localize30.0ms (0.1%)

Local error

Found 6 expressions with local error:

0.2b	(+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t))
0.1b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t)))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.1b	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t)))
0.2b	(+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t))

rewrite76.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`*-un-lft-identity_binary64_7730`
19×	`log-prod_binary64_7816`
16×	`add-sqr-sqrt_binary64_7752`
13×	`distribute-lft-out_binary64_7681`
12×	`add-cube-cbrt_binary64_7765` `pow1_binary64_7791`
11×	`associate-+r+_binary64_7662`
10×	`add-log-exp_binary64_7769`
7×	`log-pow_binary64_7819` `associate-+l+_binary64_7663` `sum-log_binary64_7821`
6×	`associate--l+_binary64_7667` `distribute-lft-in_binary64_7679` `distribute-rgt-in_binary64_7680`
5×	`add-cbrt-cube_binary64_7766` `add-exp-log_binary64_7768` `associate-l_binary64_7671`
4×	`associate-r_binary64_7670`
3×	`flip3-+_binary64_7733` `flip-+_binary64_7704` `associate-+r-_binary64_7664` `cancel-sign-sub-inv_binary64_7696`
2×	`+-commutative_binary64_7660` `associate-*l/_binary64_7673` `diff-log_binary64_7822` `associate-+l-_binary64_7665` `log-div_binary64_7817`
1×	`unswap-sqr_binary64_7698` `difference-of-squares_binary64_7699` `prod-exp_binary64_7779` `distribute-lft-out--_binary64_7682` `flip--_binary64_7705` `pow-prod-down_binary64_7801` `*-commutative_binary64_7661` `cbrt-unprod_binary64_7763` `sub-neg_binary64_7723` `flip3--_binary64_7734`

Counts

3 → 84

Calls

6 calls:

26.0ms	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t)))
23.0ms	(+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t))
13.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.0ms	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t)))

series2.5s (11.5%)

Counts

3 → 47

Calls

3 calls:

1.3s	(+.f64 (log.f64 (+.f64 x y)) (+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t)))
886.0ms	(+.f64 (log.f64 z) (-.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)) t))
273.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))

Compiler

Compiled 1482 to 1314 computations (11.3% saved)

simplify123.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5051	2518

prune251.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	131	7	138

Error

0.0b

Counts

138 → 7

Compiler

Compiled 2764 to 1234 computations (55.4% saved)

localize37.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
0.0b	(log.f64 (cbrt.f64 (+.f64 x y)))
0.0b	(-.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) (+.f64 (log.f64 z) (log.f64 (cbrt.f64 (+.f64 x y))))) t)
0.0b	(log.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))))
0.5b	(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
0.6b	(cbrt.f64 (+.f64 x y))
0.6b	(cbrt.f64 (+.f64 x y))
0.6b	(cbrt.f64 (+.f64 x y))

rewrite38.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`cbrt-prod_binary64_7761`
35×	`*-un-lft-identity_binary64_7730`
23×	`add-sqr-sqrt_binary64_7752`
18×	`cbrt-div_binary64_7762`
15×	`add-cube-cbrt_binary64_7765`
11×	`pow1_binary64_7791`
9×	`flip3-+_binary64_7733` `swap-sqr_binary64_7697` `flip-+_binary64_7704` `pow1/3_binary64_7812` `distribute-lft-out_binary64_7681`
7×	`associate-r_binary64_7670` `associate-l_binary64_7671`
6×	`add-exp-log_binary64_7768`
4×	`unswap-sqr_binary64_7698` `add-log-exp_binary64_7769` `frac-times_binary64_7740` `add-cbrt-cube_binary64_7766`
2×	`associate-r/_binary64_7672` `pow-prod-down_binary64_7801` `associate-l/_binary64_7673` `pow-prod-up_binary64_7800` `pow-sqr_binary64_7703`
1×	`prod-exp_binary64_7779` `pow-plus_binary64_7793` `*-commutative_binary64_7661` `cbrt-unprod_binary64_7763` `pow2_binary64_7811`

Counts

4 → 95

Calls

8 calls:

14.0ms	(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 x y))
3.0ms	(cbrt.f64 (+.f64 x y))
3.0ms	(cbrt.f64 (+.f64 x y))
0.0ms	(log.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y))))

series525.0ms (2.4%)

Counts

4 → 32

Calls

4 calls:

190.0ms	(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
124.0ms	(cbrt.f64 (+.f64 x y))
108.0ms	(cbrt.f64 (+.f64 x y))
102.0ms	(cbrt.f64 (+.f64 x y))

Compiler

Compiled 2044 to 1694 computations (17.1% saved)

simplify245.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (214.0ms)

Iter	Nodes	Cost
0	4878	1540
1	4878	1540

prune258.0ms (1.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	127	7	134

Error

0.0b

Counts

134 → 7

Compiler

Compiled 4171 to 1325 computations (68.2% saved)

localize269.0ms (1.2%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (log.f64 (sqrt.f64 t)) (-.f64 a 1/2))
0.1b	(+.f64 (+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))) (.f64 (log.f64 (sqrt.f64 t)) (-.f64 a 1/2)))
0.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t))))
0.0b	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
0.1b	(+.f64 (+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))) (.f64 (log.f64 (sqrt.f64 t)) (-.f64 a 1/2)))
0.1b	(*.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))
0.1b	(*.f64 (log.f64 (sqrt.f64 t)) (-.f64 a 1/2))
0.6b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite109.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`*-un-lft-identity_binary64_7730`
26×	`add-sqr-sqrt_binary64_7752`
20×	`frac-add_binary64_7738`
19×	`log-prod_binary64_7816`
18×	`add-cube-cbrt_binary64_7765`
16×	`add-log-exp_binary64_7769` `flip--_binary64_7705` `pow1_binary64_7791` `flip3--_binary64_7734`
14×	`distribute-lft-in_binary64_7679` `associate-*r/_binary64_7672` `distribute-rgt-in_binary64_7680`
12×	`cancel-sign-sub-inv_binary64_7696`
11×	`associate-+r+_binary64_7662` `associate-r_binary64_7670` `associate-l_binary64_7671`
10×	`log-pow_binary64_7819` `associate-*l/_binary64_7673`
9×	`sum-log_binary64_7821`
8×	`add-cbrt-cube_binary64_7766` `add-exp-log_binary64_7768`
6×	`sqrt-prod_binary64_7746`
5×	`flip3-+_binary64_7733` `flip-+_binary64_7704` `associate-+l+_binary64_7663` `distribute-lft-out_binary64_7681`
4×	`associate-+l-_binary64_7665` `sub-neg_binary64_7723`
2×	`unswap-sqr_binary64_7698` `difference-of-squares_binary64_7699` `prod-exp_binary64_7779` `distribute-lft-out--_binary64_7682` `sqrt-pow1_binary64_7748` `pow-prod-down_binary64_7801` `+-commutative_binary64_7660` `diff-log_binary64_7822` `*-commutative_binary64_7661` `cbrt-unprod_binary64_7763` `pow1/2_binary64_7810` `log-div_binary64_7817`

Counts

4 → 130

Calls

8 calls:

31.0ms	(+.f64 (+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))) (.f64 (log.f64 (sqrt.f64 t)) (-.f64 a 1/2)))
15.0ms	(*.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))
14.0ms	(*.f64 (log.f64 (sqrt.f64 t)) (-.f64 a 1/2))
13.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)

series1.8s (8.3%)

Counts

4 → 53

Calls

4 calls:

1.1s	(+.f64 (+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))) (.f64 (log.f64 (sqrt.f64 t)) (-.f64 a 1/2)))
247.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
239.0ms	(*.f64 (-.f64 a 1/2) (log.f64 (sqrt.f64 t)))
236.0ms	(*.f64 (log.f64 (sqrt.f64 t)) (-.f64 a 1/2))

Compiler

Compiled 2383 to 1931 computations (19% saved)

simplify162.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4933	5538
1	4933	5538

prune441.0ms (2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	181	2	183
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	183	7	190

Error

Counts

190 → 7

Compiler

Compiled 6256 to 2233 computations (64.3% saved)

simplify70.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	521	2029
1	521	2029

regimes1.7s (7.9%)

Accuracy

Total 0.2b remaining (97.2%)

Threshold costs 0.2b (97.2%)

Compiler

Compiled 13689 to 10431 computations (23.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	25
1	38	25

end0.0ms (0%)

sample8.8s (40.6%)

Algorithm

1×

intervals

Results

1.0s	8000×	body	128	valid
476.0ms	4177×	body	128	nan
3.0ms	25×	body	128	invalid

Compiler

Compiled 3864 to 2934 computations (24.1% saved)

Pareto

0.43400482128056994

Details

analyze627.0ms (2.9%)

sample55.0ms (0.3%)

simplify363.0ms (1.7%)

prune3.0ms (0%)

localize20.0ms (0.1%)

rewrite63.0ms (0.3%)

series2.5s (11.5%)

simplify145.0ms (0.7%)

prune454.0ms (2.1%)

localize30.0ms (0.1%)

rewrite76.0ms (0.3%)

series2.5s (11.5%)

simplify123.0ms (0.6%)

prune251.0ms (1.2%)

localize37.0ms (0.2%)

rewrite38.0ms (0.2%)

series525.0ms (2.4%)

simplify245.0ms (1.1%)

prune258.0ms (1.2%)

localize269.0ms (1.2%)

rewrite109.0ms (0.5%)

series1.8s (8.3%)

simplify162.0ms (0.7%)

prune441.0ms (2%)

simplify70.0ms (0.3%)

regimes1.7s (7.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample8.8s (40.6%)

Profiling