Details

analyze1.5s (12.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	93.6%	6.4%	7
3.1%	84.2%	12.7%	8
12.5%	67.1%	20.5%	9
16%	63.5%	20.5%	10
17.9%	57.7%	24.4%	11
22.6%	48.7%	28.7%	12
28.7%	37.8%	33.6%	13
30.4%	35.9%	33.7%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample79.0ms (0.7%)

Algorithm

1×

intervals

Results

23.0ms	256×	body	128	valid
8.0ms	82×	body	128	nan
4.0ms	31×	body	128	invalid

Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify20.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
2×	`associate-/r*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	13	12
2	15	12
3	15	12

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

19.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	19.4b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	1.1b	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
✓	6.2b	(/.f64 A (*.f64 V l))
✓	16.6b	(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite82.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-cube-cbrt_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`add-exp-log_binary64`
15×	`add-cbrt-cube_binary64`
13×	`pow1_binary64`

Counts

3 → 126

Calls

3 calls:

27.0ms	(/.f64 A (*.f64 V l))
25.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
21.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

series341.0ms (2.9%)

Counts

3 → 12

Calls

3 calls:

166.0ms	(.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))
115.0ms	(/.f64 A (*.f64 V l))
59.0ms	(sqrt.f64 (/.f64 A (*.f64 V l)))

simplify144.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

721×	`associate-l_binary64`
510×	`associate-r_binary64`
459×	`prod-exp_binary64`
427×	`associate-/l*_binary64`
239×	`div-exp_binary64`

Counts

138 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	114	1307
1	226	1219
2	750	1201
3	3904	1201
4	5707	1201

prune237.0ms (2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	172	12	184
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	173	12	185

Error

8.8b

Counts

185 → 12

Alt Table

Status	Error	Program
	17.3b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A l) V)))
	19.7b	(.f64 c0 (.f64 (cbrt.f64 (.f64 (sqrt.f64 (/.f64 A (.f64 V l))) (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))
	37.2b	(/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (.f64 c0 (sqrt.f64 A))))
	18.4b	(.f64 c0 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) (/.f64 V (/.f64 (cbrt.f64 A) l)))))
	39.8b	(cbrt.f64 (.f64 (.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))
▶	16.4b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	35.7b	(pow.f64 (sqrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) 2)
	36.6b	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
	37.2b	(/.f64 (.f64 c0 (sqrt.f64 A)) (sqrt.f64 (.f64 V l)))
	45.2b	(sqrt.f64 (.f64 (/.f64 A (.f64 V l)) (*.f64 c0 c0)))
	20.0b	(.f64 (.f64 (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))))) (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))
	19.6b	(.f64 c0 (.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (pow.f64 (/.f64 A (.f64 V l)) 1/4)))

Compiler

Compiled 2201 to 692 computations (68.6% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.f64 A)
✓	1.1b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
✓	3.4b	(.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
✓	16.6b	(sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

rewrite117.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64`
23×	`pow1_binary64`
22×	`add-exp-log_binary64`
22×	`add-cube-cbrt_binary64`
17×	`frac-times_binary64`

Counts

4 → 159

Calls

4 calls:

30.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
26.0ms	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
23.0ms	(sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))
21.0ms	(cbrt.f64 A)

series921.0ms (7.9%)

Counts

4 → 60

Calls

4 calls:

469.0ms	(cbrt.f64 A)
211.0ms	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
147.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
93.0ms	(sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

simplify184.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

602×	`unswap-sqr_binary64`
366×	`associate-/l*_binary64`
355×	`log-prod_binary64`
323×	`fma-def_binary64`
321×	`times-frac_binary64`

Counts

219 → 323

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	156	1864
1	337	1746
2	1218	1724
3	4312	1724
4	5290	1724

prune359.0ms (3.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	317	6	323
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	320	15	335

Error

8.8b

Counts

335 → 15

Alt Table

Status	Error	Program
	45.2b	(sqrt.f64 (.f64 (/.f64 A (.f64 V l)) (*.f64 c0 c0)))
	52.4b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (log.f64 (exp.f64 (cbrt.f64 A))) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	16.8b	(.f64 (.f64 c0 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))) (cbrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))))) (cbrt.f64 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))))
	19.4b	(.f64 c0 (fabs.f64 (neg.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))
	39.8b	(cbrt.f64 (.f64 (.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))
✓	16.4b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	36.8b	(/.f64 c0 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 (.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (cbrt.f64 A)))))
	35.7b	(pow.f64 (sqrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) 2)
	36.6b	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
	42.4b	(exp.f64 (+.f64 (log.f64 c0) (log.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))))
	17.3b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A l) V)))
	37.2b	(/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (.f64 c0 (sqrt.f64 A))))
▶	16.6b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	20.0b	(.f64 (.f64 (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))))) (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))
	19.6b	(.f64 c0 (.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (pow.f64 (/.f64 A (.f64 V l)) 1/4)))

Compiler

Compiled 4326 to 1138 computations (73.7% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(pow.f64 (cbrt.f64 (cbrt.f64 A)) 3)
✓	1.1b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
✓	3.4b	(.f64 (/.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
✓	16.6b	(sqrt.f64 (.f64 (/.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

rewrite134.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64`
23×	`pow1_binary64`
21×	`add-exp-log_binary64`
21×	`add-cube-cbrt_binary64`
17×	`frac-times_binary64`

Counts

4 → 174

Calls

4 calls:

35.0ms	(.f64 (/.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
27.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 A)) 3)
26.0ms	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
25.0ms	(sqrt.f64 (.f64 (/.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

series1.4s (11.7%)

Counts

4 → 60

Calls

4 calls:

925.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 A)) 3)
206.0ms	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
142.0ms	(.f64 (/.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
90.0ms	(sqrt.f64 (.f64 (/.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

simplify168.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

727×	`associate-/l*_binary64`
584×	`associate-/r*_binary64`
245×	`associate-/r/_binary64`
162×	`log-prod_binary64`
143×	`associate-l_binary64`

Counts

234 → 356

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	174	3065
1	372	1839
2	1441	1817
3	4827	1817

prune429.0ms (3.7%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	355	1	356
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	355	16	371

Error

8.8b

Counts

371 → 16

Alt Table

Status	Error	Program
	45.2b	(sqrt.f64 (.f64 (/.f64 A (.f64 V l)) (*.f64 c0 c0)))
	52.4b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (log.f64 (exp.f64 (cbrt.f64 A))) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	16.8b	(.f64 (.f64 c0 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))) (cbrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))))) (cbrt.f64 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))))
	19.4b	(.f64 c0 (fabs.f64 (neg.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))
	39.8b	(cbrt.f64 (.f64 (.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))
✓	16.4b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	36.8b	(/.f64 c0 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 (.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (cbrt.f64 A)))))
	35.7b	(pow.f64 (sqrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) 2)
	36.6b	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
	42.4b	(exp.f64 (+.f64 (log.f64 c0) (log.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))))
	17.3b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A l) V)))
▶	16.7b	(.f64 c0 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))) 2))
	37.2b	(/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (.f64 c0 (sqrt.f64 A))))
✓	16.6b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	20.0b	(.f64 (.f64 (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))))) (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))
	19.6b	(.f64 c0 (.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) (pow.f64 (/.f64 A (.f64 V l)) 1/4)))

Compiler

Compiled 5281 to 2266 computations (57.1% saved)

localize30.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.1b	(.f64 c0 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))) 2))
✓	1.7b	(sqrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	3.4b	(.f64 (/.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))
	16.6b	(sqrt.f64 (.f64 (/.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))

rewrite55.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`
10×	`sqrt-div_binary64`
8×	`add-cbrt-cube_binary64`
7×	`pow1_binary64`

Counts

2 → 76

Calls

2 calls:

25.0ms

(*.f64 c0 (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))) 2))

20.0ms

(sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))

series2.1s (17.6%)

Counts

2 → 40

Calls

2 calls:

1.9s

(sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))

111.0ms

(*.f64 c0 (pow.f64 (sqrt.f64 (sqrt.f64 (*.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))) 2))

simplify107.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

750×	`fma-def_binary64`
391×	`associate-l_binary64`
384×	`times-frac_binary64`
314×	`prod-exp_binary64`
281×	`associate-r_binary64`

Counts

116 → 188

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	135	2212
1	271	1408
2	594	1399
3	2440	1217
4	4798	1217
5	5270	1217

prune237.0ms (2%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	366	6	372
Fresh	2	11	13
Picked	0	1	1
Done	1	1	2
Total	369	19	388

Error

3.6b

Counts

388 → 19

Alt Table

Status	Error	Program
	51.1b	(.f64 c0 (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (/.f64 A l)) (log.f64 V)))) 2))
✓	16.7b	(.f64 c0 (pow.f64 (sqrt.f64 (sqrt.f64 (.f64 (/.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 A)) 3) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))) 2))
	40.0b	(.f64 c0 (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (/.f64 (pow.f64 (cbrt.f64 -1) 3) (*.f64 V l))) (log.f64 (/.f64 -1 A))))) 2))
	37.2b	(/.f64 1 (/.f64 (sqrt.f64 (.f64 V l)) (.f64 c0 (sqrt.f64 A))))
	45.2b	(sqrt.f64 (.f64 (/.f64 A (.f64 V l)) (*.f64 c0 c0)))
	52.4b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (log.f64 (exp.f64 (cbrt.f64 A))) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	19.4b	(.f64 c0 (fabs.f64 (neg.f64 (sqrt.f64 (/.f64 A (.f64 V l))))))
	44.6b	(sqrt.f64 (.f64 (/.f64 A l) (/.f64 (.f64 c0 c0) V)))
	16.8b	(.f64 (.f64 c0 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))) (cbrt.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))))) (cbrt.f64 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l)))))
	39.8b	(cbrt.f64 (.f64 (.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))
✓	16.4b	(.f64 c0 (sqrt.f64 (.f64 (/.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) V) (/.f64 (cbrt.f64 A) l))))
	36.8b	(/.f64 c0 (/.f64 (sqrt.f64 (.f64 V l)) (sqrt.f64 (.f64 (*.f64 (cbrt.f64 A) (cbrt.f64 A)) (cbrt.f64 A)))))
	36.8b	(.f64 c0 (pow.f64 (/.f64 (sqrt.f64 (sqrt.f64 A)) (sqrt.f64 (sqrt.f64 (.f64 V l)))) 2))
	19.6b	(.f64 c0 (pow.f64 (pow.f64 (/.f64 A (.f64 V l)) 1/4) 2))
	35.7b	(pow.f64 (sqrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) 2)
	36.6b	(.f64 c0 (/.f64 (sqrt.f64 A) (sqrt.f64 (.f64 V l))))
	17.3b	(*.f64 c0 (sqrt.f64 (/.f64 (/.f64 A l) V)))
	28.3b	(.f64 c0 (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (/.f64 A V)) (log.f64 l)))) 2))
	20.0b	(.f64 (.f64 (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))) (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l)))))) (cbrt.f64 (.f64 c0 (sqrt.f64 (/.f64 A (.f64 V l))))))

Compiler

Compiled 5722 to 2789 computations (51.3% saved)

regimes1.5s (12.9%)

Accuracy

Total 4.0b remaining (50.3%)

Threshold costs 0b (0%)

Compiler

Compiled 16061 to 9593 computations (40.3% saved)

bsearch3.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
4×	`+-commutative_binary64`
4×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	119
1	64	119
2	71	119
3	75	119
4	77	119
5	77	119

end10.0ms (0.1%)

Compiler: Compiled 243 to 156 computations (35.8% saved)

sample1.5s (13.2%)

Algorithm

1×

intervals

Results

381.0ms	8000×	body	128	valid
130.0ms	3075×	body	128	nan
43.0ms	864×	body	128	invalid

Compiler

Compiled 487 to 294 computations (39.6% saved)

Details

analyze1.5s (12.6%)

sample79.0ms (0.7%)

simplify20.0ms (0.2%)

prune3.0ms (0%)

localize13.0ms (0.1%)

rewrite82.0ms (0.7%)

series341.0ms (2.9%)

simplify144.0ms (1.2%)

prune237.0ms (2%)

localize20.0ms (0.2%)

rewrite117.0ms (1%)

series921.0ms (7.9%)

simplify184.0ms (1.6%)

prune359.0ms (3.1%)

localize27.0ms (0.2%)

rewrite134.0ms (1.2%)

series1.4s (11.7%)

simplify168.0ms (1.4%)

prune429.0ms (3.7%)

localize30.0ms (0.3%)

rewrite55.0ms (0.5%)

series2.1s (17.6%)

simplify107.0ms (0.9%)

prune237.0ms (2%)

regimes1.5s (12.9%)

bsearch3.0ms (0%)

simplify9.0ms (0.1%)

end10.0ms (0.1%)

sample1.5s (13.2%)

Profiling