Details

analyze186.0ms (4.9%)

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)

sample22.0ms (0.6%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
0.0ms	1×	body	128	nan

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify169.0ms (4.4%)

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

rewrite22.0ms (0.6%)

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)

series40.0ms (1%)

Error

0.2b

Counts

2 → 6

Calls

2 calls:

21.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
16.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 190 to 149 computations (21.6% saved)

simplify102.0ms (2.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

prune15.0ms (0.4%)

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.2b	(-.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 (-.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.5b	(cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3))

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.5b	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
0.6b	(cbrt.f64 (log.f64 (log.f64 x)))
0.6b	(cbrt.f64 (log.f64 (log.f64 x)))

rewrite136.0ms (3.5%)

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:

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

Compiler

Compiled 1778 to 569 computations (68% saved)

series115.0ms (3%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

31.0ms	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
28.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
28.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
18.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)

simplify145.0ms (3.8%)

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

prune48.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	81	2	83
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	81	7	88

Error

0.1b

Counts

88 → 7

Alt Table

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

Compiler

Compiled 739 to 318 computations (57% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2) (pow.f64 (log.f64 (log.f64 x)) 2/3))
0.5b	(cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))
0.5b	(pow.f64 (log.f64 (log.f64 x)) 2/3)
0.7b	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2)

rewrite205.0ms (5.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

43×	`unpow-prod-down_binary64`
42×	`add-sqr-sqrt_binary64`
27×	`cbrt-prod_binary64`
18×	`unswap-sqr_binary64`
18×	`add-exp-log_binary64`

Counts

4 → 118

Calls

4 calls:

12.0ms	(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2) (pow.f64 (log.f64 (log.f64 x)) 2/3))
5.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2)
2.0ms	(pow.f64 (log.f64 (log.f64 x)) 2/3)
1.0ms	(cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))

Compiler

Compiled 2502 to 1047 computations (58.2% saved)

series116.0ms (3%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

32.0ms	(pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2)
30.0ms	(cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))
27.0ms	(pow.f64 (log.f64 (log.f64 x)) 2/3)
16.0ms	(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))) 2) (pow.f64 (log.f64 (log.f64 x)) 2/3))

Compiler

Compiled 607 to 436 computations (28.2% saved)

simplify149.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

638×	`log-prod_binary64`
447×	`sqr-pow_binary64`
439×	`*-commutative_binary64`
328×	`log-pow_binary64`
260×	`times-frac_binary64`

Counts

130 → 114

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	142	1834
1	275	1722
2	606	1493
3	986	1455
4	1812	1365
5	3041	1274
6	4572	1274
7	4996	1274

prune90.0ms (2.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	114	7	121

Error

0.1b

Counts

121 → 7

Alt Table

Status	Error	Program
▶	0.2b	(-.f64 (log.f64 x) (.f64 (pow.f64 (.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12)) 2) (pow.f64 (log.f64 (log.f64 x)) 2/3)))
✓	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.3b	(-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 (log.f64 x)))) 8) (cbrt.f64 (cbrt.f64 (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.2b	(-.f64 (log.f64 x) (.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))) (cbrt.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))))) 2) (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 7/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	(cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3))

Compiler

Compiled 1040 to 486 computations (53.3% saved)

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (pow.f64 (.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12)) 2) (pow.f64 (log.f64 (log.f64 x)) 2/3))
0.5b	(*.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12))
0.5b	(pow.f64 (log.f64 (log.f64 x)) 2/3)
0.7b	(pow.f64 (*.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12)) 2)

rewrite322.0ms (8.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

96×	`add-exp-log_binary64`
83×	`pow-exp_binary64`
81×	`prod-exp_binary64`
47×	`pow-to-exp_binary64`
43×	`unpow-prod-down_binary64`

Counts

4 → 175

Calls

4 calls:

10.0ms	(.f64 (pow.f64 (.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12)) 2) (pow.f64 (log.f64 (log.f64 x)) 2/3))
9.0ms	(pow.f64 (*.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12)) 2)
7.0ms	(*.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12))
2.0ms	(pow.f64 (log.f64 (log.f64 x)) 2/3)

Compiler

Compiled 4013 to 2140 computations (46.7% saved)

series118.0ms (3.1%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

31.0ms	(pow.f64 (*.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12)) 2)
28.0ms	(*.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12))
27.0ms	(pow.f64 (log.f64 (log.f64 x)) 2/3)
20.0ms	(.f64 (pow.f64 (.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12)) 2) (pow.f64 (log.f64 (log.f64 x)) 2/3))

Compiler

Compiled 661 to 467 computations (29.3% saved)

simplify204.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

582×	`log-prod_binary64`
509×	`distribute-rgt-in_binary64`
462×	`distribute-lft-in_binary64`
339×	`unswap-sqr_binary64`
312×	`*-commutative_binary64`

Counts

187 → 166

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	184	2998
1	305	2182
2	873	2117
3	1667	2016
4	4480	2007
5	4916	2007
6	4979	2007
7	5048	2007

prune85.0ms (2.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	163	3	166
Fresh	0	5	5
Picked	0	1	1
Done	1	0	1
Total	164	9	173

Error

0.0b

Counts

173 → 9

Alt Table

Status	Error	Program
	0.3b	(-.f64 (log.f64 x) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 (log.f64 x)))) 8) (cbrt.f64 (cbrt.f64 (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.2b	(-.f64 (log.f64 x) (*.f64 (pow.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) 2) (pow.f64 (pow.f64 (log.f64 (log.f64 x)) 1/6) 5)))
	0.3b	(-.f64 (log.f64 x) (.f64 (pow.f64 (.f64 (pow.f64 (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12)) 5) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12))) 2) (pow.f64 (log.f64 (log.f64 x)) 2/3)))
	0.2b	(-.f64 (log.f64 x) (.f64 (pow.f64 (.f64 (*.f64 (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 1/6)) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 1/6))) (cbrt.f64 (pow.f64 (log.f64 (log.f64 x)) 1/6))) 2) (pow.f64 (log.f64 (log.f64 x)) 2/3)))
	0.2b	(-.f64 (log.f64 x) (.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x))))) (cbrt.f64 (cbrt.f64 (sqrt.f64 (log.f64 (log.f64 x)))))) 2) (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 7/3)))
	0.2b	(-.f64 (log.f64 x) (.f64 (pow.f64 (.f64 (pow.f64 (log.f64 (log.f64 x)) 1/12) (pow.f64 (log.f64 (log.f64 x)) 1/12)) 2) (pow.f64 (log.f64 (log.f64 x)) 2/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	(cbrt.f64 (pow.f64 (-.f64 (log.f64 x) (log.f64 (log.f64 x))) 3))

Compiler

Compiled 1398 to 716 computations (48.8% saved)

regimes694.0ms (18.1%)

Accuracy

Total -0.1b remaining (-2143.5%)

Threshold costs -0.1b (-2143.5%)

Compiler

Compiled 11275 to 6851 computations (39.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

end0.0ms (0%)

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

sample798.0ms (20.8%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 215 to 130 computations (39.5% saved)

Details

analyze186.0ms (4.9%)

sample22.0ms (0.6%)

simplify169.0ms (4.4%)

prune1.0ms (0%)

localize5.0ms (0.1%)

rewrite22.0ms (0.6%)

series40.0ms (1%)

simplify102.0ms (2.7%)

prune15.0ms (0.4%)

localize10.0ms (0.3%)

rewrite136.0ms (3.5%)

series115.0ms (3%)

simplify145.0ms (3.8%)

prune48.0ms (1.2%)

localize13.0ms (0.3%)

rewrite205.0ms (5.4%)

series116.0ms (3%)

simplify149.0ms (3.9%)

prune90.0ms (2.3%)

localize17.0ms (0.4%)

rewrite322.0ms (8.4%)

series118.0ms (3.1%)

simplify204.0ms (5.3%)

prune85.0ms (2.2%)

regimes694.0ms (18.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample798.0ms (20.8%)

Profiling