Details

analyze205.0ms (5.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	50%	50%	2
25%	25%	50%	3
25%	12.5%	62.5%	4
25%	6.2%	68.8%	5
25%	3.1%	71.9%	6
25%	1.6%	73.5%	7
25%	0.8%	74.2%	8
25%	0.4%	74.6%	9
25%	0.2%	74.8%	10
25%	0.1%	74.9%	11
25%	0%	75%	12
25%	0%	75%	13
25%	0%	75%	14

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample16.0ms (0.4%)

Algorithm

1×

intervals

Results

10.0ms

256×

body

128

valid

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify182.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

974×	`associate--r-_binary64`
537×	`associate--r+_binary64`
526×	`associate--l+_binary64`
473×	`associate--l-_binary64`
342×	`associate-+r-_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	7	10
2	12	10
3	18	10
4	24	10
5	39	10
6	62	10
7	79	10
8	120	10
9	223	10
10	401	10
11	942	10
12	1300	10
13	1198	10
14	1317	10
15	1365	10
16	1375	10
17	1375	10
18	1401	10
19	1409	10
20	1413	10
21	4014	10
22	4211	10
23	4719	10
24	4911	10

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

0.2b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(log.f64 (log.f64 x))
0.2b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

rewrite32.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

11×	`log-prod_binary64`
10×	`*-un-lft-identity_binary64`
10×	`pow1_binary64`
8×	`log-pow_binary64`
8×	`add-sqr-sqrt_binary64`

Counts

2 → 40

Calls

2 calls:

5.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
1.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 402 to 108 computations (73.1% saved)

series45.0ms (1.1%)

Error

0.2b

Counts

2 → 6

Calls

2 calls:

24.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
18.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 190 to 149 computations (21.6% saved)

simplify110.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

800×	`div-sub_binary64`
448×	`unsub-neg_binary64`
291×	`distribute-rgt-neg-out_binary64`
275×	`cancel-sign-sub-inv_binary64`
262×	`exp-sum_binary64`

Counts

46 → 21

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	71	521
1	146	492
2	301	492
3	1084	490
4	2184	486
5	4173	480
6	4315	480
7	5190	480

prune20.0ms (0.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	16	5	21
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	17	5	22

Error

0.1b

Counts

22 → 5

Alt Table

Status	Error	Program
	0.5b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 3) (pow.f64 (log.f64 (log.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 x) 2) (*.f64 (log.f64 (log.f64 x)) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))))
	0.6b	(cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3))
	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
▶	0.2b	(-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x)))))
	0.4b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 2) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 4)) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))

Compiler

Compiled 303 to 147 computations (51.5% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))
0.4b	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
0.5b	(cbrt.f64 (log.f64 (log.f64 x)))
0.5b	(cbrt.f64 (log.f64 (log.f64 x)))

rewrite164.0ms (4.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

30×	`add-sqr-sqrt_binary64`
27×	`cbrt-prod_binary64`
18×	`unpow-prod-down_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`

Counts

4 → 92

Calls

4 calls:

9.0ms	(*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))
3.0ms	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
1.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
1.0ms	(cbrt.f64 (log.f64 (log.f64 x)))

Compiler

Compiled 1778 to 569 computations (68% saved)

series118.0ms (2.9%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

32.0ms	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
29.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
28.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
17.0ms	(*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))

Compiler

Compiled 580 to 405 computations (30.2% saved)

simplify141.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

644×	`log-prod_binary64`
453×	`log-pow_binary64`
395×	`associate-l_binary64`
377×	`exp-prod_binary64`
316×	`cube-prod_binary64`

Counts

104 → 83

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	97	1076
1	188	1033
2	433	1003
3	1398	956
4	2916	930
5	3847	916
6	4638	916
7	4842	916

prune54.0ms (1.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	82	6	88

Error

0.1b

Counts

88 → 6

Alt Table

Status	Error	Program
	0.5b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 3) (pow.f64 (log.f64 (log.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 x) 2) (*.f64 (log.f64 (log.f64 x)) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))))
	0.3b	(-.f64 (log.f64 x) (.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (log.f64 (log.f64 x)))) (cbrt.f64 (cbrt.f64 (log.f64 (log.f64 x))))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 (log.f64 x)))) 5)))
	0.6b	(cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3))
▶	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
✓	0.2b	(-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x)))))
	0.4b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 2) (pow.f64 (sqrt.f64 (log.f64 (log.f64 x))) 4)) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))

Compiler

Compiled 721 to 302 computations (58.1% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
0.3b	(-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2))
0.5b	(cbrt.f64 (log.f64 x))
0.5b	(cbrt.f64 (log.f64 x))

rewrite110.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`*-un-lft-identity_binary64`
13×	`log-prod_binary64`
13×	`add-sqr-sqrt_binary64`
12×	`cbrt-prod_binary64`
11×	`associate--l+_binary64`

Counts

4 → 72

Calls

4 calls:

8.0ms	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
6.0ms	(-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2))
1.0ms	(cbrt.f64 (log.f64 x))
1.0ms	(cbrt.f64 (log.f64 x))

Compiler

Compiled 1448 to 503 computations (65.3% saved)

series131.0ms (3.2%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

36.0ms	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
35.0ms	(-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2))
23.0ms	(cbrt.f64 (log.f64 x))
21.0ms	(cbrt.f64 (log.f64 x))

Compiler

Compiled 676 to 519 computations (23.2% saved)

simplify125.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

669×	`associate-l_binary64`
554×	`associate-r_binary64`
252×	`distribute-rgt-in_binary64`
242×	`cancel-sign-sub-inv_binary64`
222×	`distribute-lft-in_binary64`

Counts

84 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	131	1525
1	324	1182
2	853	1083
3	4197	1081
4	4982	1081
5	4939	1081

prune63.0ms (1.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	61	5	66
Fresh	2	2	4
Picked	1	0	1
Done	1	0	1
Total	65	7	72

Error

Counts

72 → 7

Alt Table

Status	Error	Program
▶	0.3b	(-.f64 (log.f64 (/.f64 x (pow.f64 (log.f64 x) 2/3))) (log.f64 (cbrt.f64 (log.f64 x))))
	0.5b	(/.f64 (-.f64 (pow.f64 (log.f64 x) 3) (pow.f64 (log.f64 (log.f64 x)) 3)) (+.f64 (pow.f64 (log.f64 x) 2) (*.f64 (log.f64 (log.f64 x)) (+.f64 (log.f64 x) (log.f64 (log.f64 x))))))
	0.3b	(-.f64 (log.f64 x) (.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (log.f64 (log.f64 x)))) (cbrt.f64 (cbrt.f64 (log.f64 (log.f64 x))))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 (log.f64 x)))) 5)))
	0.3b	(-.f64 (-.f64 (log.f64 x) (log.f64 (*.f64 (pow.f64 (log.f64 x) 2/3) (pow.f64 (log.f64 x) 1/6)))) (log.f64 (sqrt.f64 (cbrt.f64 (log.f64 x)))))
	0.6b	(*.f64 (sqrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (sqrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
	0.5b	(-.f64 (/.f64 (-.f64 (.f64 (log.f64 x) (log.f64 x)) (.f64 4/9 (.f64 (log.f64 (log.f64 x)) (log.f64 (log.f64 x))))) (+.f64 (log.f64 x) (.f64 (log.f64 (log.f64 x)) 2/3))) (log.f64 (cbrt.f64 (log.f64 x))))
	0.8b	(/.f64 (-.f64 (pow.f64 (-.f64 (log.f64 x) (.f64 (log.f64 (log.f64 x)) 2/3)) 3) (pow.f64 (log.f64 (cbrt.f64 (log.f64 x))) 3)) (+.f64 (.f64 (log.f64 (log.f64 x)) (.f64 (log.f64 (log.f64 x)) 1/9)) (.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (log.f64 x)) 2/3)) (-.f64 (log.f64 x) (log.f64 (cbrt.f64 (log.f64 x)))))))

Compiler

Compiled 1038 to 441 computations (57.5% saved)

localize16.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 x (pow.f64 (log.f64 x) 2/3))
0.3b	(-.f64 (log.f64 (/.f64 x (pow.f64 (log.f64 x) 2/3))) (log.f64 (cbrt.f64 (log.f64 x))))
0.5b	(cbrt.f64 (log.f64 x))
1.2b	(pow.f64 (log.f64 x) 2/3)

rewrite198.0ms (4.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

48×	`times-frac_binary64`
46×	`*-un-lft-identity_binary64`
44×	`add-sqr-sqrt_binary64`
42×	`add-cube-cbrt_binary64`
35×	`log-prod_binary64`

Counts

4 → 136

Calls

4 calls:

10.0ms	(-.f64 (log.f64 (/.f64 x (pow.f64 (log.f64 x) 2/3))) (log.f64 (cbrt.f64 (log.f64 x))))
5.0ms	(/.f64 x (pow.f64 (log.f64 x) 2/3))
2.0ms	(pow.f64 (log.f64 x) 2/3)
1.0ms	(cbrt.f64 (log.f64 x))

Compiler

Compiled 2490 to 1197 computations (51.9% saved)

series171.0ms (4.2%)

Error

Counts

4 → 12

Calls

4 calls:

72.0ms	(-.f64 (log.f64 (/.f64 x (pow.f64 (log.f64 x) 2/3))) (log.f64 (cbrt.f64 (log.f64 x))))
36.0ms	(/.f64 x (pow.f64 (log.f64 x) 2/3))
23.0ms	(cbrt.f64 (log.f64 x))
22.0ms	(pow.f64 (log.f64 x) 2/3)

Compiler

Compiled 706 to 564 computations (20.1% saved)

simplify126.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

370×	`associate-l_binary64`
329×	`associate-r_binary64`
296×	`log-prod_binary64`
276×	`cancel-sign-sub-inv_binary64`
228×	`associate-/r*_binary64`

Counts

148 → 121

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	231	2689
1	468	2410
2	1161	1950
3	3979	1915
4	4898	1915

prune106.0ms (2.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	5	1	6
Picked	1	0	1
Done	0	0	0
Total	124	4	128

Error

Counts

128 → 4

Alt Table

Status	Error	Program
	0.3b	(-.f64 (-.f64 (log.f64 x) (log.f64 (*.f64 (pow.f64 (log.f64 x) 2/3) (pow.f64 (log.f64 x) 1/6)))) (log.f64 (sqrt.f64 (cbrt.f64 (log.f64 x)))))
	0.3b	(+.f64 (log.f64 (.f64 (cbrt.f64 (/.f64 x (pow.f64 (log.f64 x) 2/3))) (cbrt.f64 (/.f64 x (pow.f64 (log.f64 x) 2/3))))) (-.f64 (log.f64 (cbrt.f64 (.f64 x (pow.f64 (log.f64 x) -2/3)))) (log.f64 (cbrt.f64 (log.f64 x)))))
	0.3b	(+.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x))))
	0.3b	(-.f64 (log.f64 (/.f64 x (pow.f64 (log.f64 x) 2/3))) (log.f64 (*.f64 (pow.f64 (log.f64 x) 1/6) (pow.f64 (log.f64 x) 1/6))))

Compiler

Compiled 1383 to 647 computations (53.2% saved)

regimes1.3s (31.3%)

Accuracy

Total -0.0b remaining (-153.7%)

Threshold costs -0.0b (-153.7%)

Compiler

Compiled 14330 to 8571 computations (40.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	5	8

end1.0ms (0%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

sample618.0ms (15.3%)

Algorithm

1×

intervals

Results

311.0ms	8000×	body	128	valid
0.0ms	2×	body	128	nan

Compiler

Compiled 102 to 68 computations (33.3% saved)

Details

analyze205.0ms (5.1%)

sample16.0ms (0.4%)

simplify182.0ms (4.5%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite32.0ms (0.8%)

series45.0ms (1.1%)

simplify110.0ms (2.7%)

prune20.0ms (0.5%)

localize10.0ms (0.3%)

rewrite164.0ms (4.1%)

series118.0ms (2.9%)

simplify141.0ms (3.5%)

prune54.0ms (1.3%)

localize10.0ms (0.2%)

rewrite110.0ms (2.7%)

series131.0ms (3.2%)

simplify125.0ms (3.1%)

prune63.0ms (1.6%)

localize16.0ms (0.4%)

rewrite198.0ms (4.9%)

series171.0ms (4.2%)

simplify126.0ms (3.1%)

prune106.0ms (2.6%)

regimes1.3s (31.3%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample618.0ms (15.3%)

Profiling