Details

analyze708.0ms (4.3%)

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)

sample66.0ms (0.4%)

Algorithm

1×

intervals

Results

23.0ms	256×	body	128	valid
10.0ms	135×	body	128	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 33 to 36 computations (-9.1% saved)

simplify183.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (175.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.2b

Counts

2 → 1

Compiler

Compiled 32 to 30 computations (6.3% saved)

localize27.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.6b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

rewrite209.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

32×	`*-un-lft-identity_binary64_12013`
20×	`add-sqr-sqrt_binary64_12035`
19×	`log-prod_binary64_12099`
15×	`pow1_binary64_12074`
14×	`add-log-exp_binary64_12052` `add-cube-cbrt_binary64_12048`
9×	`log-pow_binary64_12102` `distribute-lft-out_binary64_11964` `associate-+l+_binary64_11946` `associate-+r+_binary64_11945`
6×	`sum-log_binary64_12104` `add-exp-log_binary64_12051` `add-cbrt-cube_binary64_12049` `distribute-rgt-in_binary64_11963` `distribute-lft-in_binary64_11962` `flip3--_binary64_12017` `associate-*l/_binary64_11956` `flip--_binary64_11988` `distribute-lft-out--_binary64_11965` `cancel-sign-sub-inv_binary64_11979`
5×	`associate-+l-_binary64_11948` `associate-l_binary64_11954`
4×	`flip3-+_binary64_12016` `flip-+_binary64_11987` `log-div_binary64_12100` `associate-r_binary64_11953` `diff-log_binary64_12105` `frac-add_binary64_12021`
2×	`+-commutative_binary64_11943` `difference-of-squares_binary64_11982` `sub-neg_binary64_12006` `associate--l+_binary64_11950` `associate--l-_binary64_11951`
1×	`pow-prod-down_binary64_12084` `prod-exp_binary64_12062` `cbrt-unprod_binary64_12046` `unswap-sqr_binary64_11981` `*-commutative_binary64_11944`

Counts

4 → 106

Calls

4 calls:

22.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 (-.f64 a 1/2) (log.f64 t))
8.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

Compiler

Compiled 2800 to 943 computations (66.3% saved)

series1.6s (10%)

Error

0.2b

Counts

4 → 65

Calls

4 calls:

876.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
349.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
205.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
151.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

Compiler

Compiled 3188 to 2329 computations (26.9% saved)

simplify94.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4988	3183
1	4988	3183

prune196.0ms (1.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	161	10	171
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	162	10	172

Error

0.0b

Counts

172 → 10

Compiler

Compiled 3718 to 1355 computations (63.6% saved)

localize29.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.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
0.6b	(+.f64 (log.f64 z) (log.f64 (+.f64 y x)))

rewrite217.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`frac-add_binary64_12021`
16×	`add-log-exp_binary64_12052` `*-un-lft-identity_binary64_12013`
12×	`associate-+r+_binary64_11945` `associate-*r/_binary64_11955`
10×	`add-cube-cbrt_binary64_12048` `add-sqr-sqrt_binary64_12035` `flip3--_binary64_12017` `flip--_binary64_11988`
9×	`sum-log_binary64_12104` `flip3-+_binary64_12016` `flip-+_binary64_11987`
8×	`pow1_binary64_12074` `associate-*l/_binary64_11956`
7×	`log-prod_binary64_12099`
6×	`cbrt-prod_binary64_12044` `cancel-sign-sub-inv_binary64_11979`
5×	`distribute-lft-out_binary64_11964`
4×	`add-exp-log_binary64_12051` `add-cbrt-cube_binary64_12049` `log-pow_binary64_12102` `associate-+l+_binary64_11946` `distribute-rgt-in_binary64_11963` `distribute-lft-in_binary64_11962`
2×	`log-div_binary64_12100` `associate-+r-_binary64_11947` `+-commutative_binary64_11943` `pow1/3_binary64_12095` `diff-log_binary64_12105` `associate-+l-_binary64_11948` `sub-neg_binary64_12006`

Counts

4 → 82

Calls

4 calls:

25.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)))
8.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.8s (10.9%)

Error

Counts

4 → 43

Calls

4 calls:

1.4s	(+.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)))
181.0ms	(+.f64 (log.f64 z) (log.f64 (+.f64 y x)))
88.0ms	(cbrt.f64 t)
86.0ms	(cbrt.f64 t)

Compiler

Compiled 3128 to 2458 computations (21.4% saved)

simplify137.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4907	4383
1	4907	4383

prune248.0ms (1.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	125	10	135

Error

Counts

135 → 10

Compiler

Compiled 4795 to 1974 computations (58.8% saved)

localize32.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 (pow.f64 t 1/3)) (-.f64 a 1/2)))
0.6b	(cbrt.f64 t)
0.6b	(+.f64 (log.f64 z) (log.f64 (+.f64 y x)))
5.1b	(pow.f64 t 1/3)

rewrite265.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`frac-add_binary64_12021`
17×	`*-un-lft-identity_binary64_12013`
16×	`add-log-exp_binary64_12052`
12×	`associate-+r+_binary64_11945` `associate-*r/_binary64_11955`
11×	`add-cube-cbrt_binary64_12048` `add-sqr-sqrt_binary64_12035`
10×	`flip3--_binary64_12017` `flip--_binary64_11988`
9×	`pow1_binary64_12074` `sum-log_binary64_12104` `flip3-+_binary64_12016` `flip-+_binary64_11987`
8×	`associate-*l/_binary64_11956`
7×	`log-prod_binary64_12099`
6×	`cancel-sign-sub-inv_binary64_11979`
5×	`add-exp-log_binary64_12051` `distribute-lft-out_binary64_11964`
4×	`add-cbrt-cube_binary64_12049` `log-pow_binary64_12102` `associate-+l+_binary64_11946` `distribute-rgt-in_binary64_11963` `distribute-lft-in_binary64_11962`
3×	`unpow-prod-down_binary64_12092` `pow-unpow_binary64_12090` `cbrt-prod_binary64_12044`
2×	`log-div_binary64_12100` `associate-+r-_binary64_11947` `+-commutative_binary64_11943` `diff-log_binary64_12105` `associate-+l-_binary64_11948` `sub-neg_binary64_12006`
1×	`pow-pow_binary64_12085` `pow-to-exp_binary64_12082` `pow-exp_binary64_12081` `unpow1/3_binary64_12080` `sqr-pow_binary64_11985` `pow1/3_binary64_12095`

Counts

4 → 89

Calls

4 calls:

26.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 (pow.f64 t 1/3)) (-.f64 a 1/2)))
8.0ms	(+.f64 (log.f64 z) (log.f64 (+.f64 y x)))
2.0ms	(pow.f64 t 1/3)
2.0ms	(cbrt.f64 t)

Compiler

Compiled 4553 to 2127 computations (53.3% saved)

series1.9s (11.4%)

Error

Counts

4 → 43

Calls

4 calls:

1.4s	(+.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 (pow.f64 t 1/3)) (-.f64 a 1/2)))
209.0ms	(+.f64 (log.f64 z) (log.f64 (+.f64 y x)))
98.0ms	(cbrt.f64 t)
90.0ms	(pow.f64 t 1/3)

Compiler

Compiled 3204 to 2607 computations (18.6% saved)

simplify113.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5000	4440

prune258.0ms (1.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	132	10	142

Error

Counts

142 → 10

Compiler

Compiled 5050 to 2228 computations (55.9% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (log.f64 z) (log.f64 z))
0.5b	(*.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x)))
0.5b	(-.f64 (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))) (.f64 (log.f64 z) (log.f64 z)))
0.6b	(-.f64 (log.f64 (+.f64 y x)) (log.f64 z))

rewrite215.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

41×	`*-un-lft-identity_binary64_12013`
35×	`pow1_binary64_12074` `log-prod_binary64_12099`
29×	`add-sqr-sqrt_binary64_12035`
23×	`add-cube-cbrt_binary64_12048`
17×	`log-pow_binary64_12102`
14×	`distribute-rgt-in_binary64_11963` `distribute-lft-in_binary64_11962`
12×	`associate--l+_binary64_11950` `swap-sqr_binary64_11980`
9×	`associate--r+_binary64_11949`
8×	`add-exp-log_binary64_12051` `add-cbrt-cube_binary64_12049` `associate-l_binary64_11954` `associate-r_binary64_11953`
6×	`add-log-exp_binary64_12052`
5×	`cancel-sign-sub-inv_binary64_11979` `distribute-lft-out_binary64_11964`
4×	`distribute-lft-out--_binary64_11965`
2×	`diff-log_binary64_12105` `flip3--_binary64_12017` `sub-neg_binary64_12006` `flip--_binary64_11988` `difference-of-squares_binary64_11982` `log-div_binary64_12100` `associate--l-_binary64_11951` `pow2_binary64_12094` `pow-prod-down_binary64_12084` `pow-prod-up_binary64_12083` `pow-plus_binary64_12076` `prod-exp_binary64_12062` `cbrt-unprod_binary64_12046` `pow-sqr_binary64_11986` `unswap-sqr_binary64_11981` `*-commutative_binary64_11944`
1×	`flip3-+_binary64_12016` `flip-+_binary64_11987`

Counts

4 → 130

Calls

4 calls:

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

Compiler

Compiled 5186 to 1242 computations (76.1% saved)

series800.0ms (4.9%)

Error

Counts

4 → 39

Calls

4 calls:

337.0ms	(-.f64 (.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x))) (.f64 (log.f64 z) (log.f64 z)))
225.0ms	(-.f64 (log.f64 (+.f64 y x)) (log.f64 z))
115.0ms	(*.f64 (log.f64 (+.f64 y x)) (log.f64 (+.f64 y x)))
72.0ms	(*.f64 (log.f64 z) (log.f64 z))

Compiler

Compiled 3916 to 2530 computations (35.4% saved)

simplify84.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5013	2377

prune241.0ms (1.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	169	0	169
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	169	10	179

Error

Counts

179 → 10

Compiler

Compiled 5909 to 1771 computations (70% saved)

regimes2.8s (17.2%)

Accuracy

Total 0.3b remaining (96.7%)

Threshold costs 0.3b (96.7%)

Compiler

Compiled 30630 to 23338 computations (23.8% saved)

bsearch0.0ms (0%)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	83	33
1	83	33

Remove

(sort x y)

Compiler

Compiled 42 to 36 computations (14.3% saved)

end0.0ms (0%)

sample4.1s (25.1%)

Algorithm

1×

intervals

Results

746.0ms	8000×	body	128	valid
325.0ms	4243×	body	128	nan
3.0ms	27×	body	128	invalid

Compiler

Compiled 2424 to 1853 computations (23.6% saved)

Details

analyze708.0ms (4.3%)

sample66.0ms (0.4%)

simplify183.0ms (1.1%)

prune3.0ms (0%)

localize27.0ms (0.2%)

rewrite209.0ms (1.3%)

series1.6s (10%)

simplify94.0ms (0.6%)

prune196.0ms (1.2%)

localize29.0ms (0.2%)

rewrite217.0ms (1.3%)

series1.8s (10.9%)

simplify137.0ms (0.8%)

prune248.0ms (1.5%)

localize32.0ms (0.2%)

rewrite265.0ms (1.6%)

series1.9s (11.4%)

simplify113.0ms (0.7%)

prune258.0ms (1.6%)

localize28.0ms (0.2%)

rewrite215.0ms (1.3%)

series800.0ms (4.9%)

simplify84.0ms (0.5%)

prune241.0ms (1.5%)

regimes2.8s (17.2%)

bsearch0.0ms (0%)

simplify11.0ms (0.1%)

end0.0ms (0%)

sample4.1s (25.1%)

Profiling