Details

analyze176.0ms (6.4%)

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)

sample20.0ms (0.7%)

Algorithm

1×

intervals

Results

13.0ms

256×

body

128

valid

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify169.0ms (6.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.0b	(log.f64 (log.f64 x))
0.3b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

rewrite19.0ms (0.7%)

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)

series42.0ms (1.5%)

Error

0.3b

Counts

2 → 6

Calls

2 calls:

22.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
17.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 190 to 149 computations (21.6% saved)

simplify94.0ms (3.4%)

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

prune15.0ms (0.6%)

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.3b	(-.f64 (log.f64 x) (cbrt.f64 (pow.f64 (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.6b	(cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3))
	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 293 to 145 computations (50.5% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(log.f64 (log.f64 x))
0.3b	(-.f64 (log.f64 x) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3)))
0.5b	(cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3))
0.7b	(pow.f64 (log.f64 (log.f64 x)) 3)

rewrite83.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

32×	`cbrt-prod_binary64`
25×	`add-sqr-sqrt_binary64`
19×	`*-un-lft-identity_binary64`
17×	`cancel-sign-sub-inv_binary64`
16×	`add-cube-cbrt_binary64`

Counts

4 → 99

Calls

4 calls:

8.0ms	(-.f64 (log.f64 x) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3)))
2.0ms	(pow.f64 (log.f64 (log.f64 x)) 3)
2.0ms	(cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3))
1.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 1263 to 622 computations (50.8% saved)

series78.0ms (2.9%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

20.0ms	(-.f64 (log.f64 x) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3)))
20.0ms	(pow.f64 (log.f64 (log.f64 x)) 3)
18.0ms	(log.f64 (log.f64 x))
15.0ms	(cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 3))

Compiler

Compiled 377 to 297 computations (21.2% saved)

simplify99.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

443×	`associate-l_binary64`
416×	`log-prod_binary64`
410×	`exp-prod_binary64`
363×	`associate-r_binary64`
255×	`cancel-sign-sub-inv_binary64`

Counts

111 → 88

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	129	1228
1	235	1144
2	553	1126
3	2241	1126
4	4176	1123
5	4913	1123

prune35.0ms (1.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	83	5	88
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	84	9	93

Error

0.0b

Counts

93 → 9

Alt Table

Status	Error	Program
	0.6b	(*.f64 (+.f64 (sqrt.f64 (log.f64 (log.f64 x))) (sqrt.f64 (log.f64 x))) (-.f64 (sqrt.f64 (log.f64 x)) (sqrt.f64 (log.f64 (log.f64 x)))))
✓	0.3b	(-.f64 (log.f64 x) (cbrt.f64 (pow.f64 (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.6b	(*.f64 (sqrt.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x)))) (sqrt.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.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.3b	(+.f64 (log.f64 (sqrt.f64 x)) (-.f64 (log.f64 (sqrt.f64 x)) (log.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))))

Compiler

Compiled 644 to 282 computations (56.2% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite66.0ms (2.4%)

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:

7.0ms	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
3.0ms	(-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2))
2.0ms	(cbrt.f64 (log.f64 x))
1.0ms	(cbrt.f64 (log.f64 x))

Compiler

Compiled 1448 to 503 computations (65.3% saved)

series109.0ms (4%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

31.0ms	(-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2))
30.0ms	(-.f64 (-.f64 (log.f64 x) (*.f64 (log.f64 (cbrt.f64 (log.f64 x))) 2)) (log.f64 (cbrt.f64 (log.f64 x))))
19.0ms	(cbrt.f64 (log.f64 x))
18.0ms	(cbrt.f64 (log.f64 x))

Compiler

Compiled 676 to 519 computations (23.2% saved)

simplify86.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

669×	`associate-l_binary64`
554×	`associate-r_binary64`
252×	`distribute-rgt-in_binary64`
249×	`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	322	1182
2	851	1083
3	4183	1081
4	4908	1081

prune39.0ms (1.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	62	4	66
Fresh	5	2	7
Picked	1	0	1
Done	1	0	1
Total	69	6	75

Error

Counts

75 → 6

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

Compiler

Compiled 944 to 411 computations (56.5% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite141.0ms (5.2%)

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:

8.0ms	(-.f64 (log.f64 (/.f64 x (pow.f64 (log.f64 x) 2/3))) (log.f64 (cbrt.f64 (log.f64 x))))
3.0ms	(/.f64 x (pow.f64 (log.f64 x) 2/3))
3.0ms	(pow.f64 (log.f64 x) 2/3)
1.0ms	(cbrt.f64 (log.f64 x))

Compiler

Compiled 2490 to 1197 computations (51.9% saved)

series144.0ms (5.3%)

Error

Counts

4 → 12

Calls

4 calls:

62.0ms	(-.f64 (log.f64 (/.f64 x (pow.f64 (log.f64 x) 2/3))) (log.f64 (cbrt.f64 (log.f64 x))))
31.0ms	(/.f64 x (pow.f64 (log.f64 x) 2/3))
21.0ms	(cbrt.f64 (log.f64 x))
18.0ms	(pow.f64 (log.f64 x) 2/3)

Compiler

Compiled 706 to 564 computations (20.1% saved)

simplify106.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

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

Counts

148 → 120

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	231	2579
1	467	2300
2	1161	1960
3	3980	1922
4	4902	1922

prune81.0ms (3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	116	4	120
Fresh	4	1	5
Picked	0	1	1
Done	0	0	0
Total	120	6	126

Error

Counts

126 → 6

Alt Table

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

Compiler

Compiled 1403 to 664 computations (52.7% saved)

regimes414.0ms (15.1%)

Accuracy

Total -0.0b remaining (-186.7%)

Threshold costs -0.0b (-186.7%)

Compiler

Compiled 6580 to 4152 computations (36.9% 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)

sample680.0ms (24.9%)

Algorithm

1×

intervals

Results

389.0ms	8000×	body	128	valid
0.0ms	4×	body	128	nan

Compiler

Compiled 144 to 93 computations (35.4% saved)

Details

analyze176.0ms (6.4%)

sample20.0ms (0.7%)

simplify169.0ms (6.2%)

prune1.0ms (0%)

localize5.0ms (0.2%)

rewrite19.0ms (0.7%)

series42.0ms (1.5%)

simplify94.0ms (3.4%)

prune15.0ms (0.6%)

localize9.0ms (0.3%)

rewrite83.0ms (3%)

series78.0ms (2.9%)

simplify99.0ms (3.6%)

prune35.0ms (1.3%)

localize9.0ms (0.3%)

rewrite66.0ms (2.4%)

series109.0ms (4%)

simplify86.0ms (3.2%)

prune39.0ms (1.4%)

localize12.0ms (0.4%)

rewrite141.0ms (5.2%)

series144.0ms (5.3%)

simplify106.0ms (3.9%)

prune81.0ms (3%)

regimes414.0ms (15.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample680.0ms (24.9%)

Profiling