Details

analyze265.0ms (2.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
0%	56.2%	43.8%	2
42.1%	14%	43.8%	3
42.1%	14%	43.8%	4
52.7%	3.5%	43.8%	5
56.2%	0%	43.8%	6

Compiler

Compiled 44 to 29 computations (34.1% saved)

sample43.0ms (0.4%)

Algorithm

1×

intervals

Results

20.0ms	256×	body	128	valid
4.0ms	256×	pre	128	true

Compiler

Compiled 83 to 55 computations (33.7% saved)

simplify212.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1227×	`associate-/l*_binary64`
689×	`distribute-rgt-in_binary64`
661×	`distribute-lft-in_binary64`
481×	`associate-/l/_binary64`
450×	`associate-l_binary64`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	40
1	36	40
2	110	40
3	444	37
4	2164	37
5	2127	37
6	2255	37
7	2514	37
8	2864	37
9	2835	37
10	2933	37
11	3060	37
12	3203	37
13	3503	37
14	4070	37
15	3881	37
16	3904	37
17	3911	37
18	3918	37
19	3925	37
20	3932	37
21	3939	37
22	3946	37
23	3953	37
24	5023	37

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

0.8b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	2.2b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	4.4b	(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (.f64 2 1))) (+.f64 (+.f64 alpha beta) (.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 1)) 1))

Status

Error

Program

▶

2.2b

(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))

4.4b

(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 alpha beta) (*.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 1)) 1))

Compiler

Compiled 155 to 102 computations (34.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))
0.1b	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
0.1b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
18.2b	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))

rewrite349.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

77×	`*-un-lft-identity_binary64`
34×	`distribute-lft-out_binary64`
34×	`add-cbrt-cube_binary64`
34×	`add-exp-log_binary64`
24×	`flip-+_binary64`

Counts

4 → 158

Calls

4 calls:

19.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
19.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
15.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
11.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 5264 to 3194 computations (39.3% saved)

series1.1s (9.8%)

Error

0.2b

Counts

4 → 66

Calls

4 calls:

229.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
147.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
74.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
36.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 11910 to 9358 computations (21.4% saved)

simplify235.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

342×	`distribute-rgt-in_binary64`
321×	`distribute-lft-in_binary64`
288×	`+-commutative_binary64`
230×	`associate-+r+_binary64`
208×	`*-commutative_binary64`

Counts

224 → 204

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	878	12812
1	2890	11915
2	4991	11915

prune368.0ms (3.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	197	7	204
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	198	8	206

Error

0.0b

Counts

206 → 8

Alt Table

Status	Error	Program
	2.9b	(.f64 (/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (/.f64 (+.f64 1 beta) (.f64 (+.f64 2 (+.f64 alpha beta)) (+.f64 2 (+.f64 alpha beta)))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	35.9b	(-.f64 (+.f64 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (+.f64 (/.f64 1 (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (+.f64 (.f64 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) alpha) (+.f64 (.f64 256 (/.f64 (.f64 beta beta) (.f64 (pow.f64 (+.f64 2 alpha) 6) (pow.f64 (+.f64 alpha 3) 3)))) (+.f64 (.f64 704 (.f64 (/.f64 (.f64 beta beta) (.f64 (pow.f64 (+.f64 2 alpha) 6) (pow.f64 (+.f64 alpha 3) 3))) alpha)) (+.f64 (.f64 93 (.f64 (/.f64 (.f64 beta beta) (.f64 (pow.f64 (+.f64 2 alpha) 6) (pow.f64 (+.f64 alpha 3) 3))) (pow.f64 alpha 4))) (+.f64 (.f64 376 (.f64 (/.f64 (.f64 beta beta) (.f64 (pow.f64 (+.f64 2 alpha) 6) (pow.f64 (+.f64 alpha 3) 3))) (pow.f64 alpha 3))) (+.f64 (.f64 9 (.f64 (/.f64 (.f64 beta beta) (.f64 (pow.f64 (+.f64 2 alpha) 6) (pow.f64 (+.f64 alpha 3) 3))) (pow.f64 alpha 5))) (+.f64 (/.f64 alpha (.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 alpha 3))) (.f64 740 (.f64 (/.f64 (.f64 beta beta) (.f64 (pow.f64 (+.f64 2 alpha) 6) (pow.f64 (+.f64 alpha 3) 3))) (.f64 alpha alpha)))))))))))) (+.f64 (.f64 17 (.f64 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2))) (.f64 alpha alpha))) (+.f64 (.f64 40 (/.f64 (.f64 alpha (.f64 beta beta)) (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2)))) (+.f64 (.f64 23 (/.f64 (.f64 beta beta) (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2)))) (+.f64 (.f64 3 (.f64 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2))) (pow.f64 alpha 3))) (+.f64 (.f64 20 (.f64 (/.f64 (.f64 beta beta) (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2))) (.f64 alpha alpha))) (+.f64 (.f64 16 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2)))) (+.f64 (.f64 30 (.f64 (/.f64 beta (.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2))) alpha)) (.f64 3 (.f64 (/.f64 (.f64 beta beta) (*.f64 (pow.f64 (+.f64 2 alpha) 4) (pow.f64 (+.f64 alpha 3) 2))) (pow.f64 alpha 3)))))))))))
	2.3b	(.f64 (sqrt.f64 (/.f64 (.f64 (+.f64 1 alpha) (/.f64 (+.f64 1 beta) (.f64 (+.f64 2 (+.f64 alpha beta)) (+.f64 2 (+.f64 alpha beta))))) (+.f64 alpha (+.f64 beta 3)))) (sqrt.f64 (/.f64 (.f64 (+.f64 1 alpha) (/.f64 (+.f64 1 beta) (*.f64 (+.f64 2 (+.f64 alpha beta)) (+.f64 2 (+.f64 alpha beta))))) (+.f64 alpha (+.f64 beta 3)))))
	0.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 1 beta)) (cbrt.f64 (+.f64 1 beta))) (+.f64 2 (+.f64 alpha beta))) (/.f64 (cbrt.f64 (+.f64 1 beta)) (+.f64 2 (+.f64 alpha beta))))) (+.f64 alpha (+.f64 beta 3)))
▶	0.1b	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	2.2b	(/.f64 (+.f64 alpha 1) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (*.f64 (+.f64 2 (+.f64 alpha beta)) (+.f64 2 (+.f64 alpha beta))))))
	1.0b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (sqrt.f64 (+.f64 beta 1)) (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
	4.4b	(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (.f64 2 1))) (+.f64 (+.f64 alpha beta) (.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 1)) 1))

Compiler

Compiled 9596 to 6441 computations (32.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))
0.0b	(*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))
0.0b	(/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta)))
0.1b	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))

rewrite448.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

192×	`*-un-lft-identity_binary64`
89×	`times-frac_binary64`
82×	`distribute-lft-out_binary64`
60×	`add-sqr-sqrt_binary64`
48×	`add-cube-cbrt_binary64`

Counts

4 → 202

Calls

4 calls:

56.0ms	(*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))
21.0ms	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
9.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))
9.0ms	(/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta)))

Compiler

Compiled 5582 to 3506 computations (37.2% saved)

series565.0ms (5.1%)

Error

0.0b

Counts

4 → 62

Calls

4 calls:

209.0ms	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
153.0ms	(*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))
42.0ms	(/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta)))
35.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 11436 to 8875 computations (22.4% saved)

simplify196.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

932×	`associate-/l*_binary64`
273×	`distribute-rgt-in_binary64`
253×	`+-commutative_binary64`
251×	`distribute-lft-in_binary64`
197×	`*-commutative_binary64`

Counts

264 → 233

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	877	13187
1	2853	12393
2	6055	12393

prune365.0ms (3.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	227	6	233
Fresh	7	0	7
Picked	1	0	1
Done	0	0	0
Total	235	6	241

Error

0.0b

Counts

241 → 6

Alt Table

Status	Error	Program
	0.2b	(/.f64 (.f64 (.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 beta alpha))) (sqrt.f64 (+.f64 beta 1))) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	0.1b	(/.f64 (*.f64 (/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	11.8b	(/.f64 (.f64 (+.f64 1 alpha) (+.f64 beta 1)) (.f64 (+.f64 (+.f64 beta 3) alpha) (*.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 2 (+.f64 beta alpha)))))
	0.8b	(.f64 (/.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 beta alpha))) (.f64 (cbrt.f64 (+.f64 (+.f64 beta 3) alpha)) (cbrt.f64 (+.f64 (+.f64 beta 3) alpha)))) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) (cbrt.f64 (+.f64 (+.f64 beta 3) alpha))))
▶	0.1b	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (cbrt.f64 (pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3))) (+.f64 alpha (+.f64 beta 3)))
	0.8b	(/.f64 (.f64 (.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 beta alpha))) (*.f64 (cbrt.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha)))) (cbrt.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha)))))) (cbrt.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 9260 to 6195 computations (33.1% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta)))
0.1b	(pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3)
0.1b	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (cbrt.f64 (pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3))) (+.f64 alpha (+.f64 beta 3)))
0.5b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3))

rewrite273.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

226×	`*-un-lft-identity_binary64`
105×	`times-frac_binary64`
95×	`distribute-lft-out_binary64`
59×	`add-sqr-sqrt_binary64`
59×	`add-cube-cbrt_binary64`

Counts

4 → 217

Calls

4 calls:

25.0ms	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (cbrt.f64 (pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3))) (+.f64 alpha (+.f64 beta 3)))
11.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3))
11.0ms	(pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3)
7.0ms	(/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta)))

Compiler

Compiled 4911 to 3266 computations (33.5% saved)

series476.0ms (4.3%)

Error

0.0b

Counts

4 → 61

Calls

4 calls:

208.0ms	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (cbrt.f64 (pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3))) (+.f64 alpha (+.f64 beta 3)))
79.0ms	(pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3)
45.0ms	(/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta)))
36.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3))

Compiler

Compiled 10649 to 8287 computations (22.2% saved)

simplify185.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

749×	`associate-/l*_binary64`
197×	`+-commutative_binary64`
189×	`distribute-rgt-in_binary64`
173×	`distribute-lft-in_binary64`
146×	`associate-+r+_binary64`

Counts

278 → 233

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	791	11924
1	2508	11314
2	5189	11314

prune234.0ms (2.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	233	0	233
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	233	6	239

Error

0.0b

Counts

239 → 6

Alt Table

Status	Error	Program
	0.2b	(/.f64 (.f64 (.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 beta alpha))) (sqrt.f64 (+.f64 beta 1))) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
▶	0.1b	(/.f64 (*.f64 (/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	11.8b	(/.f64 (.f64 (+.f64 1 alpha) (+.f64 beta 1)) (.f64 (+.f64 (+.f64 beta 3) alpha) (*.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 2 (+.f64 beta alpha)))))
	0.8b	(.f64 (/.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 beta alpha))) (.f64 (cbrt.f64 (+.f64 (+.f64 beta 3) alpha)) (cbrt.f64 (+.f64 (+.f64 beta 3) alpha)))) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) (cbrt.f64 (+.f64 (+.f64 beta 3) alpha))))
✓	0.1b	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (cbrt.f64 (pow.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) 3))) (+.f64 alpha (+.f64 beta 3)))
	0.8b	(/.f64 (.f64 (.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 beta alpha))) (*.f64 (cbrt.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha)))) (cbrt.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha)))))) (cbrt.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 7124 to 4872 computations (31.6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))
0.0b	(*.f64 (/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))
0.1b	(/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha)))
0.1b	(/.f64 (*.f64 (/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))

rewrite533.0ms (4.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

442×	`*-un-lft-identity_binary64`
358×	`times-frac_binary64`
184×	`add-sqr-sqrt_binary64`
163×	`distribute-lft-out_binary64`
151×	`add-cube-cbrt_binary64`

Counts

4 → 372

Calls

4 calls:

44.0ms	(*.f64 (/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))
27.0ms	(/.f64 (*.f64 (/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
11.0ms	(/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha)))
8.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 10954 to 7331 computations (33.1% saved)

series506.0ms (4.6%)

Error

0.0b

Counts

4 → 62

Calls

4 calls:

218.0ms	(/.f64 (*.f64 (/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
104.0ms	(*.f64 (/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))
41.0ms	(/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha)))
33.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))

Compiler

Compiled 11498 to 8938 computations (22.3% saved)

simplify445.0ms (4%)

Algorithm

1×	egg-herbie

Rules

256×	`+-commutative_binary64`
254×	`distribute-rgt-in_binary64`
250×	`associate-/r/_binary64`
243×	`distribute-lft-in_binary64`
200×	`*-commutative_binary64`

Counts

434 → 414

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	932	18688
1	2927	17452
2	4908	17452
3	4990	17452
4	4950	17452

prune359.0ms (3.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	413	1	414
Fresh	1	3	4
Picked	0	1	1
Done	1	0	1
Total	415	5	420

Error

0.0b

Counts

420 → 5

Alt Table

Status	Error	Program
	0.2b	(/.f64 (.f64 (.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 beta alpha))) (sqrt.f64 (+.f64 beta 1))) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	0.1b	(/.f64 (*.f64 (/.f64 1 (/.f64 (+.f64 2 (+.f64 beta alpha)) (+.f64 1 alpha))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	7.5b	(/.f64 (.f64 1 (+.f64 beta 1)) (.f64 (+.f64 alpha (+.f64 3 beta)) (*.f64 (+.f64 alpha (+.f64 2 beta)) (/.f64 (+.f64 alpha (+.f64 2 beta)) (+.f64 1 alpha)))))
	0.8b	(.f64 (/.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 beta alpha))) (.f64 (cbrt.f64 (+.f64 (+.f64 beta 3) alpha)) (cbrt.f64 (+.f64 (+.f64 beta 3) alpha)))) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))) (cbrt.f64 (+.f64 (+.f64 beta 3) alpha))))
	0.8b	(/.f64 (.f64 (.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 beta alpha))) (*.f64 (cbrt.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha)))) (cbrt.f64 (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha)))))) (cbrt.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 10983 to 7688 computations (30% saved)

regimes2.4s (21.2%)

Accuracy

Total 0.1b remaining (60.9%)

Threshold costs 0.1b (60.9%)

Compiler

Compiled 51776 to 37028 computations (28.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	40
1	29	40
2	28	40

end8.0ms (0.1%)

Compiler: Compiled 87 to 63 computations (27.6% saved)

sample1.5s (13.6%)

Algorithm

1×

intervals

Results

710.0ms	8000×	body	128	valid
151.0ms	8000×	pre	128	true

Compiler

Compiled 258 to 181 computations (29.8% saved)

Details

analyze265.0ms (2.4%)

sample43.0ms (0.4%)

simplify212.0ms (1.9%)

prune4.0ms (0%)

localize12.0ms (0.1%)

rewrite349.0ms (3.2%)

series1.1s (9.8%)

simplify235.0ms (2.1%)

prune368.0ms (3.3%)

localize14.0ms (0.1%)

rewrite448.0ms (4%)

series565.0ms (5.1%)

simplify196.0ms (1.8%)

prune365.0ms (3.3%)

localize20.0ms (0.2%)

rewrite273.0ms (2.5%)

series476.0ms (4.3%)

simplify185.0ms (1.7%)

prune234.0ms (2.1%)

localize15.0ms (0.1%)

rewrite533.0ms (4.8%)

series506.0ms (4.6%)

simplify445.0ms (4%)

prune359.0ms (3.2%)

regimes2.4s (21.2%)

simplify3.0ms (0%)

end8.0ms (0.1%)

sample1.5s (13.6%)

Profiling