Details

analyze716.0ms (8.4%)

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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

Compiler

Compiled 41 to 24 computations (41.5% saved)

sample55.0ms (0.6%)

Algorithm

1×

intervals

Results

39.0ms	245×	body	256	valid
3.0ms	37×	body	128	nan
1.0ms	11×	body	128	valid

Compiler

Compiled 84 to 50 computations (40.5% saved)

simplify233.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

637×	`associate-/l*_binary64`
634×	`div-sub_binary64`
582×	`unsub-neg_binary64`
519×	`sub-neg_binary64`
502×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	52
1	53	50
2	139	50
3	381	48
4	735	48
5	1189	48
6	1409	48
7	1893	48
8	1853	48
9	2235	48
10	2889	48
11	3457	48
12	3639	48
13	3749	48
14	3797	48
15	3821	48
16	3871	48
17	4858	48
18	4799	48
19	4980	48
20	4834	48

prune6.0ms (0.1%)

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

34.8b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	34.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	34.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))

Status

Error

Program

▶

34.8b

(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h))) g) (*.f64 2 a))) (cbrt.f64 (*.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))) a) -1/2)))

34.9b

(+.f64 (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (cbrt.f64 (*.f64 (/.f64 1 (*.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))))

Compiler

Compiled 182 to 100 computations (45.1% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

7.6b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
10.1b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite155.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

30.6b

Rules

14×	`add-sqr-sqrt_binary64`
11×	`cbrt-prod_binary64`
10×	`*-un-lft-identity_binary64`
9×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`

Counts

4 → 61

Calls

4 calls:

9.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
8.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2348 to 702 computations (70.1% saved)

series330.0ms (3.9%)

Error

30.6b

Counts

4 → 43

Calls

4 calls:

112.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
91.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
29.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
27.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4438 to 3079 computations (30.6% saved)

simplify79.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

558×	`associate-/l*_binary64`
462×	`associate-r_binary64`
434×	`associate-/r*_binary64`
345×	`associate-l_binary64`
109×	`associate-*l/_binary64`

Counts

104 → 63

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	245	2495
1	525	2469
2	1365	2434
3	5256	2434

prune140.0ms (1.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	52	11	63
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	53	12	65

Error

30.3b

Counts

65 → 12

Alt Table

Status	Error	Program
▶	32.5b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	47.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	34.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	33.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	34.9b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	35.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	46.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 1/2) (.f64 (pow.f64 (/.f64 -1 a) 1/3) (pow.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) 1/3))))
	46.5b	(+.f64 (.f64 (.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 1/3) (pow.f64 (/.f64 -1 a) 1/3)) (cbrt.f64 -1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	48.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	48.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (.f64 -1/2 (/.f64 (*.f64 h h) a)) 1/3) (pow.f64 (/.f64 -1 g) 1/3))))
	58.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (exp.f64 (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g))))))
	51.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 3057 to 1474 computations (51.8% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.8b	(-.f64 (.f64 g g) (.f64 h h))
7.6b	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite206.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

30.2b

Rules

8×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `add-log-exp_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3--_binary64` `flip--_binary64` `difference-of-squares_binary64`
2×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64`

Counts

4 → 55

Calls

4 calls:

8.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2167 to 675 computations (68.9% saved)

series280.0ms (3.3%)

Error

29.5b

Counts

4 → 43

Calls

4 calls:

92.0ms	(cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2))
37.0ms	(-.f64 (.f64 g g) (.f64 h h))
30.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3650 to 2478 computations (32.1% saved)

simplify153.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

329×	`exp-sum_binary64`
280×	`unswap-sqr_binary64`
222×	`associate-r_binary64`
216×	`associate-l_binary64`
182×	`cancel-sign-sub-inv_binary64`

Counts

98 → 65

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	162	1615
1	343	1543
2	827	1531
3	2917	1487
4	4602	1483
5	4946	1483
6	4970	1483
7	4900	1483

prune184.0ms (2.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	64	13	77

Error

29.5b

Counts

77 → 13

Alt Table

Status	Error	Program
✓	32.5b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	47.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	41.4b	(+.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	34.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
▶	33.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	34.9b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	43.8b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	35.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	46.5b	(+.f64 (.f64 (.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 1/3) (pow.f64 (/.f64 -1 a) 1/3)) (cbrt.f64 -1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	48.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	48.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (.f64 -1/2 (/.f64 (*.f64 h h) a)) 1/3) (pow.f64 (/.f64 -1 g) 1/3))))
	58.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (exp.f64 (+.f64 (log.f64 (/.f64 2 a)) (log.f64 g))))))
	51.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 2751 to 1283 computations (53.4% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.8b	(-.f64 (.f64 g g) (.f64 h h))
10.1b	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite230.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

29.5b

Rules

14×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64` `cbrt-prod_binary64`
9×	`sqrt-prod_binary64`
8×	`add-cube-cbrt_binary64`
6×	`pow1_binary64` `add-log-exp_binary64` `times-frac_binary64`

Counts

4 → 64

Calls

4 calls:

8.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 2507 to 788 computations (68.6% saved)

series302.0ms (3.5%)

Error

29.5b

Counts

4 → 46

Calls

4 calls:

109.0ms	(cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (*.f64 2 a)))
33.0ms	(-.f64 (.f64 g g) (.f64 h h))
31.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 4132 to 2850 computations (31% saved)

simplify106.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

555×	`associate-/l*_binary64`
434×	`associate-/r*_binary64`
388×	`associate-l_binary64`
172×	`exp-sum_binary64`
122×	`distribute-rgt-in_binary64`

Counts

110 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	212	2310
1	458	2267
2	1268	2243
3	4750	2229
4	5097	2229

prune178.0ms (2.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	61	5	66
Fresh	1	10	11
Picked	1	0	1
Done	1	0	1
Total	64	15	79

Error

29.5b

Counts

79 → 15

Alt Table

Status	Error	Program
	47.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	50.9b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (pow.f64 g 1/3))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	41.4b	(+.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	34.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	34.9b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	45.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g)))))) (cbrt.f64 a)))
	43.8b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	35.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	38.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))) (cbrt.f64 a)))
	49.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	46.5b	(+.f64 (.f64 (.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 1/3) (pow.f64 (/.f64 -1 a) 1/3)) (cbrt.f64 -1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	48.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	48.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (.f64 -1/2 (/.f64 (*.f64 h h) a)) 1/3) (pow.f64 (/.f64 -1 g) 1/3))))
▶	31.3b	(+.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 -1 a))) (cbrt.f64 -1/2)) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	51.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 3074 to 1558 computations (49.3% saved)

localize26.0ms (0.3%)

Local error

Found 4 expressions with local error:

2.8b	(-.f64 (.f64 g g) (.f64 h h))
2.8b	(-.f64 (.f64 g g) (.f64 h h))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.3b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite211.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

29.5b

Rules

8×	`add-log-exp_binary64` `add-sqr-sqrt_binary64` `sqrt-prod_binary64`
6×	`pow1_binary64` `add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `flip3--_binary64` `sqrt-div_binary64` `flip--_binary64` `difference-of-squares_binary64`
2×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `diff-log_binary64` `sub-neg_binary64` `cancel-sign-sub-inv_binary64`

Counts

4 → 58

Calls

4 calls:

4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

Compiler

Compiled 2493 to 896 computations (64.1% saved)

series224.0ms (2.6%)

Error

29.5b

Counts

4 → 46

Calls

4 calls:

36.0ms	(-.f64 (.f64 g g) (.f64 h h))
34.0ms	(-.f64 (.f64 g g) (.f64 h h))
32.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
32.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

Compiler

Compiled 3603 to 2513 computations (30.3% saved)

simplify131.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

823×	`associate-/r*_binary64`
276×	`unswap-sqr_binary64`
197×	`associate-r_binary64`
192×	`associate-l_binary64`
182×	`associate-/r/_binary64`

Counts

104 → 68

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	84	1430
1	185	1334
2	508	1334
3	1994	1334
4	4915	1334
5	4957	1334
6	4989	1334
7	4942	1334

prune184.0ms (2.1%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	67	1	68
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	67	16	83

Error

29.5b

Counts

83 → 16

Alt Table

Status	Error	Program
	43.8b	(+.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 -1 a))) (cbrt.f64 -1/2)) (/.f64 (cbrt.f64 (*.f64 -1/2 (+.f64 g (neg.f64 g)))) (cbrt.f64 a)))
	47.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) 3))) a) -1/2)))
	50.9b	(+.f64 (.f64 (cbrt.f64 1/2) (/.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (.f64 h h) a))) (pow.f64 g 1/3))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	41.4b	(+.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 g) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	34.9b	(+.f64 (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))))
	34.9b	(+.f64 (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))
	45.8b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g)))))) (cbrt.f64 a)))
	43.8b	(+.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 1/2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (neg.f64 g)) a) -1/2)))
	35.0b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a)))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))) (cbrt.f64 (cbrt.f64 (.f64 -1/2 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a))))))
	38.3b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))))) (cbrt.f64 a)))
	49.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g))) g) (.f64 2 a))) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))))) (cbrt.f64 a)))
	46.5b	(+.f64 (.f64 (.f64 (pow.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) 1/3) (pow.f64 (/.f64 -1 a) 1/3)) (cbrt.f64 -1/2)) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))) a) -1/2)))
	48.9b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (cbrt.f64 (*.f64 (/.f64 2 a) g))))
	48.1b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g) (.f64 2 a))) (.f64 (cbrt.f64 -1/2) (.f64 (pow.f64 (.f64 -1/2 (/.f64 (*.f64 h h) a)) 1/3) (pow.f64 (/.f64 -1 g) 1/3))))
	31.3b	(+.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))) g)) (cbrt.f64 (/.f64 -1 a))) (cbrt.f64 -1/2)) (/.f64 (cbrt.f64 (.f64 -1/2 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (*.f64 h h)))))) (cbrt.f64 a)))
	51.4b	(+.f64 (cbrt.f64 (/.f64 (-.f64 (-.f64 g (.f64 1/2 (/.f64 (.f64 h h) g))) g) (.f64 2 a))) (cbrt.f64 (.f64 (/.f64 (+.f64 g (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))) a) -1/2)))

Compiler

Compiled 2403 to 1195 computations (50.3% saved)

regimes2.2s (25.8%)

Accuracy

Total 1.4b remaining (4.4%)

Threshold costs 0b (0%)

Compiler

Compiled 51314 to 29041 computations (43.4% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
5×	`sub-neg_binary64` `*-commutative_binary64`
3×	`neg-mul-1_binary64` `neg-sub0_binary64`
1×	`cancel-sign-sub-inv_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	32	52
2	42	52
3	48	52
4	51	52
5	51	52

end1.0ms (0%)

Compiler: Compiled 36 to 20 computations (44.4% saved)

sample2.2s (25.3%)

Algorithm

1×

intervals

Results

1.2s	7571×	body	256	valid
103.0ms	1234×	body	128	nan
35.0ms	429×	body	128	valid

Compiler

Compiled 684 to 411 computations (39.9% saved)

Details

analyze716.0ms (8.4%)

sample55.0ms (0.6%)

simplify233.0ms (2.7%)

prune6.0ms (0.1%)

localize20.0ms (0.2%)

rewrite155.0ms (1.8%)

series330.0ms (3.9%)

simplify79.0ms (0.9%)

prune140.0ms (1.6%)

localize21.0ms (0.2%)

rewrite206.0ms (2.4%)

series280.0ms (3.3%)

simplify153.0ms (1.8%)

prune184.0ms (2.1%)

localize18.0ms (0.2%)

rewrite230.0ms (2.7%)

series302.0ms (3.5%)

simplify106.0ms (1.2%)

prune178.0ms (2.1%)

localize26.0ms (0.3%)

rewrite211.0ms (2.5%)

series224.0ms (2.6%)

simplify131.0ms (1.5%)

prune184.0ms (2.1%)

regimes2.2s (25.8%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample2.2s (25.3%)

Profiling