Details

analyze25.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
74.9%	25%	0.1%	3
87.4%	12.5%	0.1%	4
93.7%	6.2%	0.1%	5
96.8%	3.1%	0.1%	6
98.3%	1.6%	0.1%	7
99.1%	0.8%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample38.0ms (0.5%)

Algorithm

1×

intervals

Results

16.0ms

256×

body

128

valid

Compiler

Compiled 31 to 23 computations (25.8% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	12	19
2	12	19

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

31.4b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	31.4b	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))

Compiler

Compiled 28 to 20 computations (28.6% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.6b	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
29.0b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite143.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

31.2b

Rules

24×	`times-frac_binary64`
22×	`log-pow_binary64`
21×	`pow1_binary64`
17×	`add-sqr-sqrt_binary64`
16×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`

Counts

3 → 74

Calls

3 calls:

7.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
7.0ms	(+.f64 (.f64 re re) (.f64 im im))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1395 to 505 computations (63.8% saved)

series141.0ms (1.7%)

Error

0.9b

Counts

3 → 43

Calls

3 calls:

52.0ms	(/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10))
39.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
26.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 1537 to 1286 computations (16.3% saved)

simplify136.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

519×	`associate-/l*_binary64`
462×	`associate-/r*_binary64`
384×	`associate-r_binary64`
347×	`associate-l_binary64`
215×	`sub-neg_binary64`

Counts

117 → 69

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	191	2574
1	425	2462
2	1199	2450
3	4540	2450
4	4875	2450
5	4945	2450

prune51.0ms (0.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	61	8	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	8	70

Error

1.6b

Counts

70 → 8

Alt Table

Status	Error	Program
▶	29.2b	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))
	52.9b	(-.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)))) (log.f64 10)) (/.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (.f64 (.f64 re re) (*.f64 im im)))))) (log.f64 10)))
	43.2b	(.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))) (log.f64 10)))
	62.4b	(/.f64 (log.f64 re) (log.f64 10))
	31.8b	(.f64 (.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (log.f64 10)))
	35.0b	(/.f64 (log.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im)))) (log.f64 10))
	31.5b	(cbrt.f64 (pow.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10)) 3))
	31.4b	(/.f64 (log.f64 (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))) (log.f64 10))

Compiler

Compiled 1129 to 660 computations (41.5% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.4b	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))

rewrite33.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

1.4b

Rules

16×	`times-frac_binary64`
11×	`pow1_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
10×	`log-pow_binary64`
4×	`associate-/l_binary64` `associate-/r_binary64`
3×	`add-exp-log_binary64` `add-cbrt-cube_binary64`

Counts

1 → 36

Calls

1 calls:

4.0ms

(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))

Compiler

Compiled 369 to 215 computations (41.7% saved)

series22.0ms (0.3%)

Error

1.6b

Counts

1 → 3

Calls

1 calls:

19.0ms

(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))

Compiler

Compiled 95 to 86 computations (9.5% saved)

simplify76.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

848×	`distribute-rgt-in_binary64`
794×	`distribute-lft-in_binary64`
565×	`div-sub_binary64`
270×	`neg-mul-1_binary64`
249×	`neg-sub0_binary64`

Counts

39 → 16

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	66	706
1	118	646
2	220	646
3	496	646
4	1402	646
5	4624	646
6	5067	646

prune21.0ms (0.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	13	3	16
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	13	11	24

Error

1.5b

Counts

24 → 11

Alt Table

Status	Error	Program
✓	29.2b	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))
	52.9b	(-.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)))) (log.f64 10)) (/.f64 (log.f64 (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (.f64 (.f64 re re) (*.f64 im im)))))) (log.f64 10)))
	43.2b	(.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))) (log.f64 10)))
	62.4b	(/.f64 (log.f64 re) (log.f64 10))
	31.8b	(.f64 (.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (log.f64 10)))
▶	29.2b	(cbrt.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3))
	35.0b	(/.f64 (log.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im)))) (log.f64 10))
	31.5b	(cbrt.f64 (pow.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10)) 3))
	39.1b	(*.f64 (sqrt.f64 (log.f64 (neg.f64 re))) (/.f64 (sqrt.f64 (log.f64 (neg.f64 re))) (log.f64 10)))
	31.4b	(/.f64 (log.f64 (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))) (log.f64 10))
	29.5b	(.f64 (.f64 (cbrt.f64 (log.f64 (neg.f64 re))) (cbrt.f64 (log.f64 (neg.f64 re)))) (/.f64 (cbrt.f64 (log.f64 (neg.f64 re))) (log.f64 10)))

Compiler

Compiled 492 to 300 computations (39% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.4b	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))
0.4b	(cbrt.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3))
0.6b	(pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3)

rewrite132.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

1.4b

Rules

80×	`times-frac_binary64`
51×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
46×	`pow1_binary64` `cbrt-prod_binary64`
42×	`log-pow_binary64`
40×	`unpow-prod-down_binary64` `cube-prod_binary64`

Counts

3 → 152

Calls

3 calls:

8.0ms	(pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3)
6.0ms	(cbrt.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3))
4.0ms	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))

Compiler

Compiled 1553 to 1045 computations (32.7% saved)

series73.0ms (0.9%)

Error

1.5b

Counts

3 → 9

Calls

3 calls:

27.0ms	(pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3)
20.0ms	(cbrt.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3))
19.0ms	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))

Compiler

Compiled 353 to 324 computations (8.2% saved)

simplify151.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

906×	`times-frac_binary64`
553×	`associate-/l*_binary64`
446×	`log-div_binary64`
324×	`unswap-sqr_binary64`
214×	`associate-/l/_binary64`

Counts

161 → 125

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	149	3420
1	346	2964
2	1051	2918
3	4871	2918
4	5494	2918

prune71.0ms (0.8%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	116	9	125
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	118	18	136

Error

1.4b

Counts

136 → 18

Alt Table

Status	Error	Program
✓	29.2b	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))
▶	29.2b	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3) 3)))
	29.5b	(cbrt.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (log.f64 (neg.f64 re))) 6) (pow.f64 (sqrt.f64 (log.f64 10)) 3)) (/.f64 (log.f64 (neg.f64 re)) (pow.f64 (sqrt.f64 (log.f64 10)) 3))))
	29.3b	(cbrt.f64 (neg.f64 (/.f64 (pow.f64 (log.f64 (/.f64 -1 re)) 3) (pow.f64 (log.f64 10) 3))))
	39.3b	(cbrt.f64 (exp.f64 (*.f64 3 (log.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10))))))
	29.5b	(cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 (log.f64 (neg.f64 re))) 6) (/.f64 (log.f64 (neg.f64 re)) (pow.f64 (log.f64 10) 3))))
	43.2b	(.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))) (log.f64 10)))
	62.4b	(/.f64 (log.f64 re) (log.f64 10))
	31.8b	(.f64 (.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (log.f64 10)))
	29.5b	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (/.f64 1 (.f64 (log.f64 10) (log.f64 10)))) (/.f64 (log.f64 (neg.f64 re)) (cbrt.f64 (log.f64 10)))) 3))
	35.0b	(/.f64 (log.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im)))) (log.f64 10))
	29.3b	(cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 2)) (cbrt.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)))) 3))
	31.5b	(cbrt.f64 (pow.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10)) 3))
	39.1b	(*.f64 (sqrt.f64 (log.f64 (neg.f64 re))) (/.f64 (sqrt.f64 (log.f64 (neg.f64 re))) (log.f64 10)))
	29.3b	(*.f64 (cbrt.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 2)) (cbrt.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10))))
	31.4b	(/.f64 (log.f64 (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))) (log.f64 10))
	29.5b	(.f64 (.f64 (cbrt.f64 (log.f64 (neg.f64 re))) (cbrt.f64 (log.f64 (neg.f64 re)))) (/.f64 (cbrt.f64 (log.f64 (neg.f64 re))) (log.f64 10)))
	29.6b	(*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (log.f64 (neg.f64 re))) 6)) (sqrt.f64 (log.f64 10))) (/.f64 (cbrt.f64 (log.f64 (neg.f64 re))) (sqrt.f64 (log.f64 10))))

Compiler

Compiled 1238 to 858 computations (30.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))
0.4b	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3) 3)))
0.5b	(pow.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3) 3)
0.6b	(pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3)

rewrite251.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

1.4b

Rules

199×	`cbrt-prod_binary64`
192×	`unpow-prod-down_binary64` `cube-prod_binary64`
176×	`times-frac_binary64`
112×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
95×	`pow1_binary64`

Counts

4 → 319

Calls

4 calls:

25.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3) 3)))
12.0ms	(pow.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3) 3)
7.0ms	(pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3)
5.0ms	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))

Compiler

Compiled 2997 to 2206 computations (26.4% saved)

series117.0ms (1.4%)

Error

1.4b

Counts

4 → 12

Calls

4 calls:

37.0ms	(pow.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3) 3)
27.0ms	(pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3)
20.0ms	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))
19.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 3) 3)))

Compiler

Compiled 554 to 515 computations (7% saved)

simplify280.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

500×	`log-prod_binary64`
253×	`distribute-rgt-in_binary64`
247×	`distribute-lft-in_binary64`
245×	`sqr-pow_binary64`
242×	`cube-div_binary64`

Counts

331 → 285

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	241	8787
1	554	7019
2	2212	6915
3	4597	6915
4	5285	6915

prune89.0ms (1.1%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	282	3	285
Fresh	1	15	16
Picked	1	0	1
Done	0	1	1
Total	284	19	303

Error

1.4b

Counts

303 → 19

Alt Table

Status	Error	Program
	29.2b	(/.f64 (log.f64 (neg.f64 re)) (log.f64 10))
	29.3b	(cbrt.f64 (neg.f64 (/.f64 (pow.f64 (log.f64 (/.f64 -1 re)) 3) (pow.f64 (log.f64 10) 3))))
	39.2b	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10))) 3))) 3) 3)))
	39.3b	(cbrt.f64 (cbrt.f64 (exp.f64 (*.f64 9 (log.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)))))))
	39.3b	(cbrt.f64 (exp.f64 (*.f64 3 (log.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10))))))
	29.5b	(cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 (log.f64 (neg.f64 re))) 6) (/.f64 (log.f64 (neg.f64 re)) (pow.f64 (log.f64 10) 3))))
	29.2b	(cbrt.f64 (cbrt.f64 (*.f64 (pow.f64 (log.f64 (neg.f64 re)) 6) (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (pow.f64 (log.f64 10) 3)) 3))))
	43.2b	(.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (/.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))))) (log.f64 10)))
	62.4b	(/.f64 (log.f64 re) (log.f64 10))
	31.8b	(.f64 (.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (/.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))) (log.f64 10)))
	29.5b	(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (/.f64 1 (.f64 (log.f64 10) (log.f64 10)))) (/.f64 (log.f64 (neg.f64 re)) (cbrt.f64 (log.f64 10)))) 3))
	35.0b	(/.f64 (log.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im)))) (log.f64 10))
	29.3b	(cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 2)) (cbrt.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)))) 3))
	31.5b	(cbrt.f64 (pow.f64 (/.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 10)) 3))
	39.1b	(*.f64 (sqrt.f64 (log.f64 (neg.f64 re))) (/.f64 (sqrt.f64 (log.f64 (neg.f64 re))) (log.f64 10)))
	29.3b	(*.f64 (cbrt.f64 (pow.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10)) 2)) (cbrt.f64 (/.f64 (log.f64 (neg.f64 re)) (log.f64 10))))
	31.4b	(/.f64 (log.f64 (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))))) (log.f64 10))
	29.5b	(.f64 (.f64 (cbrt.f64 (log.f64 (neg.f64 re))) (cbrt.f64 (log.f64 (neg.f64 re)))) (/.f64 (cbrt.f64 (log.f64 (neg.f64 re))) (log.f64 10)))
	29.6b	(*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (log.f64 (neg.f64 re))) 6)) (sqrt.f64 (log.f64 10))) (/.f64 (cbrt.f64 (log.f64 (neg.f64 re))) (sqrt.f64 (log.f64 10))))

Compiler

Compiled 1503 to 1102 computations (26.7% saved)

regimes5.0s (60%)

Accuracy

Total 5.8b remaining (75.5%)

Threshold costs 0b (0%)

Compiler

Compiled 44479 to 33438 computations (24.8% saved)

bsearch49.0ms (0.6%)

Steps

Iters	Range		Point
8	-1.0823865483161492e-133	-6.998594982616266e-138	-7.144782444788284e-138
8	-8.105875244160862e+151	-7.041673353714045e+148	-7.143276769119883e+148

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`1-exp_binary64` `neg-mul-1_binary64` `neg-sub0_binary64` `sub-neg_binary64` `/-rgt-identity_binary64` `*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	54
1	34	54
2	36	54
3	37	54
4	36	54

end9.0ms (0.1%)

Compiler: Compiled 108 to 84 computations (22.2% saved)

sample1.4s (16.6%)

Algorithm

1×

intervals

Results

511.0ms

8000×

body

128

valid

Compiler

Compiled 414 to 299 computations (27.8% saved)

Details

analyze25.0ms (0.3%)

sample38.0ms (0.5%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite143.0ms (1.7%)

series141.0ms (1.7%)

simplify136.0ms (1.6%)

prune51.0ms (0.6%)

localize6.0ms (0.1%)

rewrite33.0ms (0.4%)

series22.0ms (0.3%)

simplify76.0ms (0.9%)

prune21.0ms (0.3%)

localize9.0ms (0.1%)

rewrite132.0ms (1.6%)

series73.0ms (0.9%)

simplify151.0ms (1.8%)

prune71.0ms (0.8%)

localize11.0ms (0.1%)

rewrite251.0ms (3%)

series117.0ms (1.4%)

simplify280.0ms (3.3%)

prune89.0ms (1.1%)

regimes5.0s (60%)

bsearch49.0ms (0.6%)

simplify4.0ms (0.1%)

end9.0ms (0.1%)

sample1.4s (16.6%)

Profiling