Details

analyze176.0ms (7.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)

sample19.0ms (0.8%)

Algorithm

1×

intervals

Results

12.0ms

256×

body

128

valid

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify178.0ms (7.2%)

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

prune1.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.3b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite19.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:

4.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)

series34.0ms (1.4%)

Error

0.3b

Counts

2 → 6

Calls

2 calls:

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

Compiler

Compiled 190 to 149 computations (21.6% saved)

simplify91.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

800×	`div-sub_binary64`
446×	`unsub-neg_binary64`
289×	`distribute-rgt-neg-out_binary64`
284×	`cancel-sign-sub-inv_binary64`
269×	`exp-sum_binary64`

Counts

46 → 21

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	71	521
1	146	492
2	300	492
3	1086	490
4	2186	486
5	4178	480
6	4317	480
7	5192	480

prune13.0ms (0.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	15	6	21
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	16	6	22

Error

0.1b

Counts

22 → 6

Alt Table

Status	Error	Program
	0.3b	(-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x)))))
▶	0.3b	(-.f64 (log.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2) (log.f64 (cbrt.f64 (log.f64 x)))))
	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.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))))
	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))

Compiler

Compiled 333 to 163 computations (51.1% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite73.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
12×	`cbrt-prod_binary64`
10×	`log-prod_binary64`
10×	`add-cube-cbrt_binary64`

Counts

4 → 64

Calls

4 calls:

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

Compiler

Compiled 1369 to 476 computations (65.2% saved)

series95.0ms (3.8%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

27.0ms	(-.f64 (log.f64 x) (+.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2) (log.f64 (cbrt.f64 (log.f64 x)))))
23.0ms	(+.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2) (log.f64 (cbrt.f64 (log.f64 x))))
17.0ms	(cbrt.f64 (log.f64 x))
17.0ms	(cbrt.f64 (log.f64 x))

Compiler

Compiled 594 to 459 computations (22.7% saved)

simplify77.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

708×	`associate-l_binary64`
595×	`associate-r_binary64`
319×	`distribute-rgt-in_binary64`
272×	`distribute-lft-in_binary64`
267×	`times-frac_binary64`

Counts

76 → 57

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	110	1422
1	287	939
2	820	772
3	3883	768
4	5003	768

prune41.0ms (1.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	51	6	57
Fresh	3	2	5
Picked	1	0	1
Done	0	0	0
Total	55	8	63

Error

0.0b

Counts

63 → 8

Alt Table

Status	Error	Program
	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (log.f64 x)) 2/3)) (log.f64 (cbrt.f64 (log.f64 x))))
	0.3b	(+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x))))
	0.6b	(*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))
	1.2b	(.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
	1.2b	(exp.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
▶	0.3b	(-.f64 (log.f64 x) (*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.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))))
	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))))))

Compiler

Compiled 773 to 308 computations (60.2% saved)

localize7.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (log.f64 (log.f64 x)))
0.1b	(sqrt.f64 (log.f64 (log.f64 x)))
0.3b	(-.f64 (log.f64 x) (*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x)))))
0.6b	(*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x))))

rewrite75.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`sqrt-prod_binary64`
34×	`add-sqr-sqrt_binary64`
29×	`pow1_binary64`
17×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`

Counts

4 → 100

Calls

4 calls:

6.0ms	(*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x))))
2.0ms	(-.f64 (log.f64 x) (*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x)))))
2.0ms	(sqrt.f64 (log.f64 (log.f64 x)))
1.0ms	(sqrt.f64 (log.f64 (log.f64 x)))

Compiler

Compiled 1450 to 298 computations (79.4% saved)

series74.0ms (3%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

21.0ms	(-.f64 (log.f64 x) (*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x)))))
16.0ms	(sqrt.f64 (log.f64 (log.f64 x)))
16.0ms	(sqrt.f64 (log.f64 (log.f64 x)))
15.0ms	(*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 (log.f64 x))))

Compiler

Compiled 454 to 316 computations (30.4% saved)

simplify152.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

385×	`log-prod_binary64`
344×	`times-frac_binary64`
283×	`*-commutative_binary64`
256×	`associate-l_binary64`
256×	`neg-sub0_binary64`

Counts

112 → 84

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	1117
1	174	1052
2	420	1032
3	1525	990
4	3330	990
5	4815	990
6	4966	990
7	4997	990
8	4981	990

prune39.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	83	9	92

Error

Counts

92 → 9

Alt Table

Status	Error	Program
▶	0.3b	(-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 4) (cbrt.f64 (log.f64 (log.f64 x)))))
	0.6b	(*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))
	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (log.f64 x)) 2/3)) (log.f64 (cbrt.f64 (log.f64 x))))
	0.3b	(+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x))))
	1.2b	(.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
	1.2b	(exp.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
✓	0.3b	(-.f64 (log.f64 x) (*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.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))))
	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))))))

Compiler

Compiled 851 to 317 computations (62.7% saved)

localize12.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 4) (cbrt.f64 (log.f64 (log.f64 x))))
0.5b	(cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))
0.6b	(cbrt.f64 (log.f64 (log.f64 x)))
1.1b	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 4)

rewrite103.0ms (4.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

38×	`cbrt-prod_binary64`
35×	`add-sqr-sqrt_binary64`
26×	`unpow-prod-down_binary64`
17×	`*-un-lft-identity_binary64`
17×	`add-cube-cbrt_binary64`

Counts

4 → 95

Calls

4 calls:

7.0ms	(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 4) (cbrt.f64 (log.f64 (log.f64 x))))
3.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 4)
1.0ms	(cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))
1.0ms	(cbrt.f64 (log.f64 (log.f64 x)))

Compiler

Compiled 1939 to 617 computations (68.2% saved)

series89.0ms (3.6%)

Error

Counts

4 → 12

Calls

4 calls:

25.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 4)
21.0ms	(cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))
21.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
13.0ms	(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 4) (cbrt.f64 (log.f64 (log.f64 x))))

Compiler

Compiled 589 to 413 computations (29.9% saved)

simplify141.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

631×	`unswap-sqr_binary64`
583×	`log-prod_binary64`
459×	`sqr-pow_binary64`
454×	`log-pow_binary64`
421×	`exp-prod_binary64`

Counts

107 → 92

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	115	1468
1	227	1355
2	586	1327
3	1006	1147
4	2057	1119
5	3019	1107
6	4081	1107
7	4976	1107
8	4867	1107

prune48.0ms (1.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	92	9	101

Error

Counts

101 → 9

Alt Table

Status	Error	Program
	0.3b	(-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 4) (cbrt.f64 (log.f64 (log.f64 x)))))
	0.6b	(*.f64 (+.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))
	0.3b	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (log.f64 x)) 2/3)) (log.f64 (cbrt.f64 (log.f64 x))))
	0.3b	(+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log.f64 (log.f64 x))))
	1.2b	(.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))))) (cbrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
	1.2b	(exp.f64 (log.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))))
	0.3b	(-.f64 (log.f64 x) (*.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.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))))
	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))))))

Compiler

Compiled 951 to 402 computations (57.7% saved)

regimes221.0ms (8.9%)

Accuracy

Total -0.0b remaining (-237.5%)

Threshold costs -0.0b (-237.5%)

Compiler

Compiled 3880 to 2103 computations (45.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	5	8

end0.0ms (0%)

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

sample690.0ms (27.8%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 170 to 90 computations (47.1% saved)

Details

analyze176.0ms (7.1%)

sample19.0ms (0.8%)

simplify178.0ms (7.2%)

prune1.0ms (0%)

localize5.0ms (0.2%)

rewrite19.0ms (0.8%)

series34.0ms (1.4%)

simplify91.0ms (3.7%)

prune13.0ms (0.5%)

localize10.0ms (0.4%)

rewrite73.0ms (2.9%)

series95.0ms (3.8%)

simplify77.0ms (3.1%)

prune41.0ms (1.7%)

localize7.0ms (0.3%)

rewrite75.0ms (3%)

series74.0ms (3%)

simplify152.0ms (6.1%)

prune39.0ms (1.6%)

localize12.0ms (0.5%)

rewrite103.0ms (4.1%)

series89.0ms (3.6%)

simplify141.0ms (5.7%)

prune48.0ms (1.9%)

regimes221.0ms (8.9%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample690.0ms (27.8%)

Profiling