Details

analyze3.0s (21.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.5%	0.5%	0
0%	99.5%	0.5%	1
0%	99.5%	0.5%	2
0%	99.5%	0.5%	3
0%	99.5%	0.5%	4
0%	99.5%	0.5%	5
0%	99.5%	0.5%	6
0%	99.5%	0.5%	7
0%	99.5%	0.5%	8
0%	99.5%	0.5%	9
0%	99.5%	0.5%	10
0%	99.5%	0.5%	11
0%	99.5%	0.5%	12
0%	99.5%	0.5%	13
0%	99.5%	0.5%	14

Compiler

Compiled 42 to 30 computations (28.6% saved)

sample122.0ms (0.9%)

Algorithm

1×

intervals

Results

23.0ms	295×	body	128	invalid
21.0ms	256×	body	128	valid

Compiler

Compiled 93 to 69 computations (25.8% saved)

simplify428.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

686×	`unsub-neg_binary64`
621×	`distribute-rgt-neg-in_binary64`
515×	`distribute-rgt-in_binary64`
434×	`sub-neg_binary64`
379×	`distribute-lft-neg-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	43
1	76	43
2	234	43
3	618	43
4	1297	43
5	2378	43
6	3075	43
7	3074	43
8	3097	43
9	3120	43
10	3138	43
11	3138	43
12	3130	43
13	3153	43
14	3153	43
15	3243	43
16	3243	43
17	3735	43
18	3279	43
19	3279	43
20	3279	43
21	3279	43
22	3279	43
23	3064	43

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

4.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))

Compiler

Compiled 121 to 86 computations (28.9% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 j 27) k)
0.2b	(.f64 (.f64 x 18) y)
3.5b	(.f64 (.f64 (*.f64 x 18) y) z)
7.4b	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)

rewrite186.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

1.1b

Rules

37×	`add-cbrt-cube_binary64`
37×	`add-exp-log_binary64`
37×	`pow1_binary64`
22×	`cbrt-unprod_binary64`
22×	`prod-exp_binary64`

Counts

4 → 81

Calls

4 calls:

14.0ms	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
7.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
6.0ms	(.f64 (.f64 x 18) y)
5.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 2669 to 1567 computations (41.3% saved)

series126.0ms (0.9%)

Error

3.8b

Counts

4 → 33

Calls

4 calls:

50.0ms	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
32.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
18.0ms	(.f64 (.f64 j 27) k)
17.0ms	(.f64 (.f64 x 18) y)

Compiler

Compiled 2840 to 1995 computations (29.8% saved)

simplify111.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

641×	`sqr-pow_binary64`
470×	`associate-l_binary64`
305×	`associate-r_binary64`
251×	`unswap-sqr_binary64`
224×	`pow-sqr_binary64`

Counts

114 → 67

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	141	1502
1	338	1238
2	1544	1238
3	1983	1238
4	2770	1238
5	4197	1238
6	5119	1238

prune83.0ms (0.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	61	6	67
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	6	68

Error

1.1b

Counts

68 → 6

Alt Table

Status	Error	Program
	6.9b	(-.f64 (-.f64 (+.f64 (-.f64 (pow.f64 (.f64 18 (.f64 t (.f64 x (.f64 z y)))) 1) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (pow.f64 (.f64 18 (.f64 x y)) 1) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	31.7b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (sqrt.f64 (.f64 27 (.f64 k j))) (sqrt.f64 (.f64 27 (.f64 k j)))))
	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (.f64 27 (*.f64 k j)) 1))
	19.2b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (.f64 (.f64 27 j) (sqrt.f64 k)) (sqrt.f64 k)))
▶	4.6b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 x 18) y) (.f64 t z)) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))

Compiler

Compiled 1906 to 1134 computations (40.5% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 x 18) y) (.f64 t z)) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (*.f64 x 4) i))
0.2b	(.f64 (.f64 j 27) k)
0.2b	(.f64 (.f64 x 18) y)
7.8b	(.f64 (.f64 (.f64 x 18) y) (.f64 t z))

rewrite185.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

35×	`add-cbrt-cube_binary64`
35×	`add-exp-log_binary64`
35×	`pow1_binary64`
21×	`cbrt-unprod_binary64`
21×	`prod-exp_binary64`

Counts

4 → 80

Calls

4 calls:

14.0ms	(-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 x 18) y) (.f64 t z)) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (*.f64 x 4) i))
9.0ms	(.f64 (.f64 (.f64 x 18) y) (.f64 t z))
5.0ms	(.f64 (.f64 x 18) y)
5.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 2869 to 1604 computations (44.1% saved)

series328.0ms (2.4%)

Error

0.3b

Counts

4 → 72

Calls

4 calls:

205.0ms	(-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 x 18) y) (.f64 t z)) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (*.f64 x 4) i))
49.0ms	(.f64 (.f64 (.f64 x 18) y) (.f64 t z))
19.0ms	(.f64 (.f64 x 18) y)
17.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 5022 to 3498 computations (30.3% saved)

simplify123.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

445×	`associate-l_binary64`
382×	`distribute-rgt-in_binary64`
377×	`distribute-lft-in_binary64`
369×	`associate-r_binary64`
285×	`exp-prod_binary64`

Counts

152 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	212	3182
1	541	2801
2	2079	2780
3	4567	2780
4	4965	2780

prune114.0ms (0.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	100	6	106
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	102	10	112

Error

0.3b

Counts

112 → 10

Alt Table

Status	Error	Program
	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (pow.f64 (.f64 18 (.f64 x y)) 1) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	31.7b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (sqrt.f64 (.f64 27 (.f64 k j))) (sqrt.f64 (.f64 27 (.f64 k j)))))
	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (.f64 27 (*.f64 k j)) 1))
	19.2b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (.f64 (.f64 27 j) (sqrt.f64 k)) (sqrt.f64 k)))
	9.4b	(-.f64 (-.f64 (.f64 b c) (.f64 4 (+.f64 (.f64 t a) (.f64 x i)))) (.f64 (.f64 j 27) k))
	31.4b	(-.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (*.f64 j 27) k))
	6.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 x 18) (.f64 t (.f64 z y))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	43.8b	(-.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4))) 3)) (.f64 (.f64 j 27) k))
▶	3.4b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 t (.f64 18 (.f64 x y))) z) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	7.9b	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4)))) (cbrt.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4))))) (cbrt.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4))))) (.f64 (.f64 j 27) k))

Compiler

Compiled 2524 to 1469 computations (41.8% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 j 27) k)
0.3b	(.f64 18 (.f64 x y))
3.0b	(.f64 t (.f64 18 (*.f64 x y)))
7.6b	(.f64 (.f64 t (.f64 18 (.f64 x y))) z)

rewrite203.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

37×	`add-cbrt-cube_binary64`
37×	`add-exp-log_binary64`
37×	`pow1_binary64`
22×	`cbrt-unprod_binary64`
22×	`prod-exp_binary64`

Counts

4 → 81

Calls

4 calls:

11.0ms	(.f64 (.f64 t (.f64 18 (.f64 x y))) z)
7.0ms	(.f64 t (.f64 18 (*.f64 x y)))
5.0ms	(.f64 18 (.f64 x y))
5.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 2603 to 1445 computations (44.5% saved)

series126.0ms (0.9%)

Error

0.3b

Counts

4 → 33

Calls

4 calls:

49.0ms	(.f64 (.f64 t (.f64 18 (.f64 x y))) z)
31.0ms	(.f64 t (.f64 18 (*.f64 x y)))
18.0ms	(.f64 18 (.f64 x y))
16.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 2840 to 1995 computations (29.8% saved)

simplify112.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

595×	`unswap-sqr_binary64`
581×	`sqr-pow_binary64`
365×	`associate-l_binary64`
312×	`associate-r_binary64`
209×	`pow-sqr_binary64`

Counts

114 → 60

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	136	1504
1	328	1240
2	1317	1240
3	1761	1240
4	2539	1240
5	3862	1240
6	5655	1240

prune112.0ms (0.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	59	11	70

Error

0.3b

Counts

70 → 11

Alt Table

Status	Error	Program
▶	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (pow.f64 (.f64 18 (.f64 x y)) 1) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	31.7b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (sqrt.f64 (.f64 27 (.f64 k j))) (sqrt.f64 (.f64 27 (.f64 k j)))))
	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (.f64 27 (*.f64 k j)) 1))
	19.2b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (.f64 (.f64 27 j) (sqrt.f64 k)) (sqrt.f64 k)))
	9.4b	(-.f64 (-.f64 (.f64 b c) (.f64 4 (+.f64 (.f64 t a) (.f64 x i)))) (.f64 (.f64 j 27) k))
	31.4b	(-.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (*.f64 j 27) k))
	6.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 x 18) (.f64 t (.f64 z y))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	43.8b	(-.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4))) 3)) (.f64 (.f64 j 27) k))
✓	3.4b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 t (.f64 18 (.f64 x y))) z) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	15.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 18 (.f64 t (.f64 x y))) (sqrt.f64 z)) (sqrt.f64 z)) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (.f64 j 27) k))
	7.9b	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4)))) (cbrt.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4))))) (cbrt.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4))))) (.f64 (.f64 j 27) k))

Compiler

Compiled 2151 to 1308 computations (39.2% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 j 27) k)
0.3b	(.f64 18 (.f64 x y))
3.5b	(.f64 (pow.f64 (.f64 18 (*.f64 x y)) 1) z)
7.4b	(.f64 (.f64 (pow.f64 (.f64 18 (.f64 x y)) 1) z) t)

rewrite229.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

45×	`add-exp-log_binary64`
28×	`prod-exp_binary64`
21×	`add-cbrt-cube_binary64`
19×	`pow1_binary64`
12×	`add-sqr-sqrt_binary64`

Counts

4 → 83

Calls

4 calls:

9.0ms	(.f64 (.f64 (pow.f64 (.f64 18 (.f64 x y)) 1) z) t)
6.0ms	(.f64 (pow.f64 (.f64 18 (*.f64 x y)) 1) z)
5.0ms	(.f64 18 (.f64 x y))
5.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 2975 to 1762 computations (40.8% saved)

series122.0ms (0.9%)

Error

0.3b

Counts

4 → 33

Calls

4 calls:

49.0ms	(.f64 (.f64 (pow.f64 (.f64 18 (.f64 x y)) 1) z) t)
30.0ms	(.f64 (pow.f64 (.f64 18 (*.f64 x y)) 1) z)
19.0ms	(.f64 (.f64 j 27) k)
18.0ms	(.f64 18 (.f64 x y))

Compiler

Compiled 2892 to 2046 computations (29.3% saved)

simplify133.0ms (1%)

Algorithm

1×	egg-herbie

Rules

621×	`unswap-sqr_binary64`
401×	`sqr-pow_binary64`
371×	`associate-l_binary64`
273×	`associate-r_binary64`
261×	`associate-+l+_binary64`

Counts

116 → 62

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	156	1447
1	323	1291
2	1342	1291
3	2023	1291
4	3232	1291
5	4909	1291
6	4994	1291
7	4945	1291

prune110.0ms (0.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	62	11	73

Error

0.3b

Counts

73 → 11

Alt Table

Status	Error	Program
	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (pow.f64 (.f64 18 (.f64 x y)) 1) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	31.7b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (sqrt.f64 (.f64 27 (.f64 k j))) (sqrt.f64 (.f64 27 (.f64 k j)))))
	4.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (pow.f64 (.f64 27 (*.f64 k j)) 1))
	19.2b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 x 18) y) z) t) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (.f64 (.f64 27 j) (sqrt.f64 k)) (sqrt.f64 k)))
	9.4b	(-.f64 (-.f64 (.f64 b c) (.f64 4 (+.f64 (.f64 t a) (.f64 x i)))) (.f64 (.f64 j 27) k))
	31.4b	(-.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (*.f64 j 27) k))
	6.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 x 18) (.f64 t (.f64 z y))) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	43.8b	(-.f64 (cbrt.f64 (pow.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4))) 3)) (.f64 (.f64 j 27) k))
	3.4b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 t (.f64 18 (.f64 x y))) z) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (*.f64 j 27) k))
	15.9b	(-.f64 (-.f64 (+.f64 (-.f64 (.f64 (.f64 (.f64 18 (.f64 t (.f64 x y))) (sqrt.f64 z)) (sqrt.f64 z)) (.f64 (.f64 a 4) t)) (.f64 b c)) (.f64 (.f64 x 4) i)) (.f64 (.f64 j 27) k))
	7.9b	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4)))) (cbrt.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4))))) (cbrt.f64 (+.f64 (.f64 b c) (+.f64 (.f64 x (-.f64 (.f64 18 (.f64 t (.f64 z y))) (.f64 4 i))) (.f64 (.f64 t a) -4))))) (.f64 (.f64 j 27) k))

Compiler

Compiled 1932 to 1142 computations (40.9% saved)

regimes3.6s (26.3%)

Accuracy

Total 1.8b remaining (85.6%)

Threshold costs 0b (0%)

Compiler

Compiled 67151 to 47306 computations (29.6% saved)

bsearch120.0ms (0.9%)

Steps

Iters	Range		Point
8	6.521698046363562e-149	1.4987214707790879e-145	1.481197558025788e-145
8	-1580681993.0438023	-1.6823409658747877	-121717.56632609882

Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

35×	`*-commutative_binary64`
25×	`+-commutative_binary64`
21×	`sub-neg_binary64`
16×	`cancel-sign-sub-inv_binary64`
14×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	147
1	110	147
2	158	147
3	184	147
4	203	147
5	209	147
6	207	147

end122.0ms (0.9%)

Remove: (sort b c)
Compiler: Compiled 1199 to 770 computations (35.8% saved)

sample3.8s (27.7%)

Algorithm

1×

intervals

Results

664.0ms	8200×	body	128	invalid
657.0ms	8000×	body	128	valid

Compiler

Compiled 658 to 453 computations (31.2% saved)

Details

analyze3.0s (21.8%)

sample122.0ms (0.9%)

simplify428.0ms (3.1%)

prune5.0ms (0%)

localize20.0ms (0.1%)

rewrite186.0ms (1.4%)

series126.0ms (0.9%)

simplify111.0ms (0.8%)

prune83.0ms (0.6%)

localize21.0ms (0.2%)

rewrite185.0ms (1.4%)

series328.0ms (2.4%)

simplify123.0ms (0.9%)

prune114.0ms (0.8%)

localize24.0ms (0.2%)

rewrite203.0ms (1.5%)

series126.0ms (0.9%)

simplify112.0ms (0.8%)

prune112.0ms (0.8%)

localize23.0ms (0.2%)

rewrite229.0ms (1.7%)

series122.0ms (0.9%)

simplify133.0ms (1%)

prune110.0ms (0.8%)

regimes3.6s (26.3%)

bsearch120.0ms (0.9%)

simplify9.0ms (0.1%)

end122.0ms (0.9%)

sample3.8s (27.7%)

Profiling