Details

analyze579.0ms (4.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4923	275
1	4923	275
0	5	5
1	5	5

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

Symmetry

(sort x y)

Compiler

Compiled 17 to 16 computations (5.9% saved)

sample58.0ms (0.5%)

Algorithm

1×

intervals

Results

20.0ms	256×	body	128	valid
10.0ms	142×	body	128	nan

Compiler

Compiled 33 to 36 computations (-9.1% saved)

simplify151.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (146.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.2%)

Local error

Found 4 expressions with local error:

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

rewrite187.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

32×	`*-un-lft-identity_binary64_8944`
20×	`add-sqr-sqrt_binary64_8966`
19×	`log-prod_binary64_9030`
15×	`pow1_binary64_9005`
14×	`add-log-exp_binary64_8983` `add-cube-cbrt_binary64_8979`
9×	`log-pow_binary64_9033` `distribute-lft-out_binary64_8895` `associate-+l+_binary64_8877` `associate-+r+_binary64_8876`
6×	`sum-log_binary64_9035` `add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980` `distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893` `flip3--_binary64_8948` `associate-*l/_binary64_8887` `flip--_binary64_8919` `distribute-lft-out--_binary64_8896` `cancel-sign-sub-inv_binary64_8910`
5×	`associate-+l-_binary64_8879` `associate-l_binary64_8885`
4×	`flip3-+_binary64_8947` `flip-+_binary64_8918` `log-div_binary64_9031` `associate-r_binary64_8884` `diff-log_binary64_9036` `frac-add_binary64_8952`
2×	`+-commutative_binary64_8874` `difference-of-squares_binary64_8913` `sub-neg_binary64_8937` `associate--l+_binary64_8881` `associate--l-_binary64_8882`
1×	`pow-prod-down_binary64_9015` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `unswap-sqr_binary64_8912` `*-commutative_binary64_8875`

Counts

4 → 106

Calls

4 calls:

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

Compiler

Compiled 2800 to 943 computations (66.3% saved)

series1.3s (11.2%)

Error

0.2b

Counts

4 → 59

Calls

4 calls:

684.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
283.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
175.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
153.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

Compiler

Compiled 2888 to 2132 computations (26.2% saved)

simplify85.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5147	3065

prune180.0ms (1.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	155	10	165
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	156	10	166

Error

0.0b

Counts

166 → 10

Compiler

Compiled 3723 to 1359 computations (63.5% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

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 y x))

rewrite139.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

36×	`cbrt-prod_binary64_8975`
35×	`*-un-lft-identity_binary64_8944`
23×	`add-sqr-sqrt_binary64_8966`
18×	`cbrt-div_binary64_8976`
15×	`add-cube-cbrt_binary64_8979`
11×	`pow1_binary64_9005`
9×	`pow1/3_binary64_9026` `flip3-+_binary64_8947` `flip-+_binary64_8918` `distribute-lft-out_binary64_8895` `swap-sqr_binary64_8911`
7×	`associate-l_binary64_8885` `associate-r_binary64_8884`
6×	`add-exp-log_binary64_8982`
4×	`add-log-exp_binary64_8983` `add-cbrt-cube_binary64_8980` `frac-times_binary64_8954` `unswap-sqr_binary64_8912`
2×	`pow-prod-down_binary64_9015` `pow-prod-up_binary64_9014` `pow-sqr_binary64_8917` `associate-l/_binary64_8887` `associate-r/_binary64_8886`
1×	`pow2_binary64_9025` `pow-plus_binary64_9007` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `*-commutative_binary64_8875`

Counts

4 → 95

Calls

4 calls:

11.0ms	(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 y x))
3.0ms	(cbrt.f64 (+.f64 x y))
3.0ms	(cbrt.f64 (+.f64 x y))

Compiler

Compiled 3403 to 995 computations (70.8% saved)

series394.0ms (3.3%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

119.0ms	(*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))
79.0ms	(cbrt.f64 (+.f64 x y))
78.0ms	(cbrt.f64 (+.f64 y x))
75.0ms	(cbrt.f64 (+.f64 x y))

Compiler

Compiled 3366 to 2459 computations (26.9% saved)

simplify71.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	6286	1620

prune160.0ms (1.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	131	10	141

Error

0.0b

Counts

141 → 10

Compiler

Compiled 4467 to 1500 computations (66.4% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (log.f64 z) (log.f64 z))
0.6b	(-.f64 (log.f64 (+.f64 y x)) (log.f64 z))
0.7b	(pow.f64 (log.f64 (+.f64 y x)) 3)
0.8b	(pow.f64 (log.f64 z) 3)

rewrite206.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

28×	`pow1_binary64_9005`
27×	`*-un-lft-identity_binary64_8944`
23×	`add-sqr-sqrt_binary64_8966`
19×	`add-cube-cbrt_binary64_8979`
15×	`log-pow_binary64_9033`
13×	`log-prod_binary64_9030`
8×	`unpow-prod-down_binary64_9023` `add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980` `cube-prod_binary64_8972`
6×	`pow-unpow_binary64_9021` `swap-sqr_binary64_8911`
4×	`add-log-exp_binary64_8983` `cancel-sign-sub-inv_binary64_8910` `distribute-lft-out--_binary64_8896` `associate--l+_binary64_8881` `associate-l_binary64_8885` `associate-r_binary64_8884`
3×	`associate--r+_binary64_8880` `distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893`
2×	`pow-pow_binary64_9016` `pow-to-exp_binary64_9013` `pow-exp_binary64_9012` `unpow3_binary64_9010` `cube-mult_binary64_8974` `rem-cube-cbrt_binary64_8967` `sqr-pow_binary64_8916` `log-div_binary64_9031` `associate--l-_binary64_8882`
1×	`diff-log_binary64_9036` `flip3--_binary64_8948` `sub-neg_binary64_8937` `flip--_binary64_8919` `difference-of-squares_binary64_8913` `flip3-+_binary64_8947` `flip-+_binary64_8918` `distribute-lft-out_binary64_8895` `pow2_binary64_9025` `pow-prod-down_binary64_9015` `pow-prod-up_binary64_9014` `pow-plus_binary64_9007` `prod-exp_binary64_8993` `cbrt-unprod_binary64_8977` `pow-sqr_binary64_8917` `unswap-sqr_binary64_8912` `*-commutative_binary64_8875`

Counts

4 → 115

Calls

4 calls:

8.0ms	(-.f64 (log.f64 (+.f64 y x)) (log.f64 z))
5.0ms	(*.f64 (log.f64 z) (log.f64 z))
5.0ms	(pow.f64 (log.f64 z) 3)
3.0ms	(pow.f64 (log.f64 (+.f64 y x)) 3)

Compiler

Compiled 5194 to 1732 computations (66.7% saved)

series515.0ms (4.3%)

Error

0.0b

Counts

4 → 25

Calls

4 calls:

163.0ms	(-.f64 (log.f64 (+.f64 y x)) (log.f64 z))
136.0ms	(pow.f64 (log.f64 (+.f64 y x)) 3)
109.0ms	(pow.f64 (log.f64 z) 3)
71.0ms	(*.f64 (log.f64 z) (log.f64 z))

Compiler

Compiled 3193 to 1946 computations (39.1% saved)

simplify86.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5060	1372

prune222.0ms (1.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	140	10	150

Error

0.0b

Counts

150 → 10

Compiler

Compiled 6149 to 2165 computations (64.8% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite179.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`frac-add_binary64_8952`
16×	`add-log-exp_binary64_8983` `*-un-lft-identity_binary64_8944`
12×	`associate-+r+_binary64_8876` `associate-*r/_binary64_8886`
10×	`add-cube-cbrt_binary64_8979` `add-sqr-sqrt_binary64_8966` `flip3--_binary64_8948` `flip--_binary64_8919`
9×	`sum-log_binary64_9035` `flip3-+_binary64_8947` `flip-+_binary64_8918`
8×	`pow1_binary64_9005` `associate-*l/_binary64_8887`
7×	`log-prod_binary64_9030`
6×	`cbrt-prod_binary64_8975` `cancel-sign-sub-inv_binary64_8910`
5×	`distribute-lft-out_binary64_8895`
4×	`add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980` `log-pow_binary64_9033` `associate-+l+_binary64_8877` `distribute-rgt-in_binary64_8894` `distribute-lft-in_binary64_8893`
2×	`pow1/3_binary64_9026` `log-div_binary64_9031` `associate-+r-_binary64_8878` `+-commutative_binary64_8874` `diff-log_binary64_9036` `associate-+l-_binary64_8879` `sub-neg_binary64_8937`

Counts

4 → 82

Calls

4 calls:

17.0ms	(+.f64 (+.f64 (-.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t) (.f64 (+.f64 -1/2 a) (.f64 2 (log.f64 (cbrt.f64 t))))) (*.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2)))
7.0ms	(+.f64 (log.f64 z) (log.f64 (+.f64 y x)))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 4224 to 1682 computations (60.2% saved)

series1.6s (12.9%)

Error

0.0b

Counts

4 → 39

Calls

4 calls:

1.2s	(+.f64 (+.f64 (-.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t) (.f64 (+.f64 -1/2 a) (.f64 2 (log.f64 (cbrt.f64 t))))) (*.f64 (log.f64 (cbrt.f64 t)) (-.f64 a 1/2)))
168.0ms	(+.f64 (log.f64 z) (log.f64 (+.f64 y x)))
78.0ms	(cbrt.f64 t)
73.0ms	(cbrt.f64 t)

Compiler

Compiled 2856 to 2267 computations (20.6% saved)

simplify82.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5308	4293

prune167.0ms (1.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	120	1	121
Fresh	1	6	7
Picked	1	0	1
Done	0	2	2
Total	122	9	131

Error

0.0b

Counts

131 → 9

Compiler

Compiled 4471 to 1756 computations (60.7% saved)

regimes2.2s (18.1%)

Accuracy

Total 0.3b remaining (96.9%)

Threshold costs 0.3b (96.9%)

Compiler

Compiled 28565 to 21522 computations (24.7% saved)

bsearch0.0ms (0%)

simplify18.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	226	30
1	226	30

Remove

(sort x y)

Compiler

Compiled 38 to 32 computations (15.8% saved)

end0.0ms (0%)

sample3.4s (28%)

Algorithm

1×

intervals

Results

637.0ms	8000×	body	128	valid
302.0ms	4320×	body	128	nan
3.0ms	37×	body	128	invalid

Compiler

Compiled 2423 to 1826 computations (24.6% saved)

Details

analyze579.0ms (4.8%)

sample58.0ms (0.5%)

simplify151.0ms (1.3%)

prune3.0ms (0%)

localize20.0ms (0.2%)

rewrite187.0ms (1.6%)

series1.3s (11.2%)

simplify85.0ms (0.7%)

prune180.0ms (1.5%)

localize23.0ms (0.2%)

rewrite139.0ms (1.2%)

series394.0ms (3.3%)

simplify71.0ms (0.6%)

prune160.0ms (1.3%)

localize23.0ms (0.2%)

rewrite206.0ms (1.7%)

series515.0ms (4.3%)

simplify86.0ms (0.7%)

prune222.0ms (1.9%)

localize24.0ms (0.2%)

rewrite179.0ms (1.5%)

series1.6s (12.9%)

simplify82.0ms (0.7%)

prune167.0ms (1.4%)

regimes2.2s (18.1%)

bsearch0.0ms (0%)

simplify18.0ms (0.2%)

end0.0ms (0%)

sample3.4s (28%)

Profiling