Details

analyze2.7s (7.7%)

Algorithm

1×

Search

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

Compiler

Compiled 42 to 27 computations (35.7% saved)

sample46.0ms (0.1%)

Algorithm

1×

intervals

Results

26.0ms	256×	body	128	valid
1.0ms	8×	body	128	invalid

Compiler

Compiled 91 to 61 computations (33% saved)

simplify176.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

741×	`sqr-pow_binary64`
598×	`cube-prod_binary64`
572×	`unswap-sqr_binary64`
516×	`fabs-mul_binary64`
363×	`pow-sqr_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	49
1	42	49
2	89	49
3	167	49
4	380	49
5	662	49
6	707	49
7	788	49
8	1000	49
9	1093	49
10	1269	49
11	1760	49
12	1830	49
13	1859	49
14	1941	49
15	2045	49
16	2169	49
17	2237	49
18	2486	49
19	2898	49
20	3454	49
21	4147	49
22	4394	49
23	4696	49
24	4906	49

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

28.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	28.5b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

Status

Error

Program

▶

28.5b

(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

Compiler

Compiled 123 to 78 computations (36.6% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
0.1b	(.f64 (+.f64 (.f64 x y) z) y)
27.9b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite249.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

28.4b

Rules

24×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
12×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 91

Calls

4 calls:

21.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
15.0ms	(.f64 (+.f64 (.f64 x y) z) y)
10.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
7.0ms	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)

Compiler

Compiled 4246 to 1231 computations (71% saved)

series3.3s (9.1%)

Error

7.8b

Counts

4 → 114

Calls

4 calls:

2.9s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
97.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
42.0ms	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
31.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Compiler

Compiled 28697 to 19229 computations (33% saved)

simplify282.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

783×	`associate-/l*_binary64`
335×	`+-commutative_binary64`
276×	`associate-+r+_binary64`
251×	`*-commutative_binary64`
178×	`distribute-rgt-in_binary64`

Counts

205 → 177

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	987	14477
1	3066	14051
2	5364	14051

prune255.0ms (0.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	165	12	177
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	165	13	178

Error

8.4b

Counts

178 → 13

Alt Table

Status	Error	Program
	50.5b	(.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 (pow.f64 i 3) (pow.f64 (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a)))))) 3))) (+.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y)) (-.f64 (.f64 i i) (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))))
	61.8b	(-.f64 (+.f64 (/.f64 t (.f64 (.f64 y y) b)) (+.f64 (/.f64 7925469156333415/34359738368 (.f64 y b)) (+.f64 (/.f64 (.f64 y z) b) (+.f64 (/.f64 471841060772561/17179869184 b) (/.f64 (.f64 (.f64 y y) x) b))))) (+.f64 (/.f64 (.f64 i x) (.f64 b b)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) z) (.f64 b b)) (+.f64 (/.f64 (.f64 t c) (.f64 (pow.f64 y 3) (.f64 b b))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 (.f64 y y) (.f64 b b))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 i (.f64 (pow.f64 y 3) (.f64 b b)))) (+.f64 (.f64 (+.f64 (/.f64 i (pow.f64 y 4)) 1) (/.f64 t (.f64 b b))) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 a x)) (.f64 b b)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 c (.f64 (.f64 y y) (.f64 b b)))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 (.f64 y a) (.f64 b b))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 a (.f64 b b))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (.f64 b b)) (+.f64 (.f64 (/.f64 a (.f64 b b)) (.f64 (.f64 y y) z)) (+.f64 (.f64 471841060772561/17179869184 (/.f64 c (.f64 y (.f64 b b)))) (+.f64 (/.f64 (.f64 z i) (.f64 y (.f64 b b))) (+.f64 (/.f64 (.f64 t a) (.f64 y (.f64 b b))) (+.f64 (/.f64 (.f64 z c) (.f64 b b)) (+.f64 (/.f64 (.f64 c (.f64 y x)) (.f64 b b)) (+.f64 (.f64 471841060772561/17179869184 (/.f64 i (.f64 (.f64 y y) (.f64 b b)))) (.f64 7925469156333415/34359738368 (/.f64 y (*.f64 b b))))))))))))))))))))))
✓	28.5b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
	60.7b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (/.f64 471841060772561/17179869184 (.f64 y a)) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (/.f64 7925469156333415/34359738368 (.f64 (.f64 y y) a)))))) (+.f64 (/.f64 7925469156333415/34359738368 (.f64 y (.f64 a a))) (+.f64 (/.f64 (.f64 i x) (.f64 (.f64 y y) (.f64 a a))) (+.f64 (/.f64 (.f64 y z) (.f64 a a)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 c (.f64 (pow.f64 y 4) (.f64 a a)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (.f64 a a))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 i (.f64 (pow.f64 y 4) (.f64 a a)))) (+.f64 (/.f64 (.f64 z i) (.f64 (pow.f64 y 3) (.f64 a a))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 b (.f64 (.f64 y y) (.f64 a a)))) (+.f64 (.f64 (/.f64 c (.f64 a a)) (+.f64 (/.f64 x y) (/.f64 z (.f64 y y)))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 c (.f64 (pow.f64 y 3) (.f64 a a)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (.f64 a a))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 b (.f64 (pow.f64 y 3) (.f64 a a)))) (+.f64 (/.f64 (.f64 b x) (.f64 a a)) (+.f64 (/.f64 t (.f64 (.f64 y y) (.f64 a a))) (+.f64 (/.f64 471841060772561/17179869184 (.f64 a a)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 i (.f64 (.f64 a a) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 t c) (.f64 (.f64 a a) (pow.f64 y 5))) (+.f64 (/.f64 (.f64 (.f64 y y) x) (.f64 a a)) (/.f64 (.f64 t i) (.f64 (*.f64 a a) (pow.f64 y 6))))))))))))))))))))))
	45.9b	(/.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (sqrt.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))))) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	33.2b	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (+.f64 (.f64 471841060772561/17179869184 (.f64 y y)) (+.f64 t (.f64 (pow.f64 y 4) x)))) (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))
▶	29.1b	(.f64 (.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))) (/.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a)))))))))
	44.1b	(-.f64 (+.f64 x (/.f64 z y)) (/.f64 (*.f64 a x) y))
	46.5b	(-.f64 (+.f64 (/.f64 t i) (.f64 7925469156333415/34359738368 (/.f64 y i))) (/.f64 (.f64 c (.f64 y t)) (.f64 i i)))
	34.3b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 y 471841060772561/17179869184) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
	40.4b	(/.f64 t (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))
	47.3b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 x (.f64 a a)) (.f64 y y)) (+.f64 x (/.f64 471841060772561/17179869184 (.f64 y y))))) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 b x) (.f64 y y)) (/.f64 (.f64 z a) (*.f64 y y)))))
	43.2b	(.f64 (sqrt.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))))) (sqrt.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))))))

Compiler

Compiled 11018 to 4755 computations (56.8% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

17.3b	(cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))
17.3b	(cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))
17.3b	(cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))
23.6b	(.f64 (.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))) (/.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a)))))))))

rewrite211.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

8.4b

Rules

30×	`cbrt-div_binary64`
25×	`add-sqr-sqrt_binary64`
24×	`associate-r_binary64`
20×	`times-frac_binary64`
20×	`*-un-lft-identity_binary64`

Counts

4 → 102

Calls

4 calls:

16.0ms	(.f64 (.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))) (/.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a)))))))))
3.0ms	(cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))
2.0ms	(cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))
2.0ms	(cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))

Compiler

Compiled 10946 to 4262 computations (61.1% saved)

series4.1s (11.3%)

Error

8.4b

Counts

4 → 129

Calls

4 calls:

2.9s	(.f64 (.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))) (/.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a)))))))))
531.0ms	(cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))
245.0ms	(cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))
202.0ms	(cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))

Compiler

Compiled 46493 to 31048 computations (33.2% saved)

simplify398.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

342×	`+-commutative_binary64`
322×	`*-commutative_binary64`
286×	`associate-+r+_binary64`
147×	`associate-/l*_binary64`
143×	`distribute-rgt-in_binary64`

Counts

231 → 172

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1120	23540
1	3569	22779
2	4995	22779

prune239.0ms (0.7%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	172	13	185

Error

8.4b

Counts

185 → 13

Alt Table

Status	Error	Program
	50.5b	(.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 (pow.f64 i 3) (pow.f64 (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a)))))) 3))) (+.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y)) (-.f64 (.f64 i i) (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))))
	61.8b	(-.f64 (+.f64 (/.f64 t (.f64 (.f64 y y) b)) (+.f64 (/.f64 7925469156333415/34359738368 (.f64 y b)) (+.f64 (/.f64 (.f64 y z) b) (+.f64 (/.f64 471841060772561/17179869184 b) (/.f64 (.f64 (.f64 y y) x) b))))) (+.f64 (/.f64 (.f64 i x) (.f64 b b)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) z) (.f64 b b)) (+.f64 (/.f64 (.f64 t c) (.f64 (pow.f64 y 3) (.f64 b b))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 (.f64 y y) (.f64 b b))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 i (.f64 (pow.f64 y 3) (.f64 b b)))) (+.f64 (.f64 (+.f64 (/.f64 i (pow.f64 y 4)) 1) (/.f64 t (.f64 b b))) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 a x)) (.f64 b b)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 c (.f64 (.f64 y y) (.f64 b b)))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 (.f64 y a) (.f64 b b))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 a (.f64 b b))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (.f64 b b)) (+.f64 (.f64 (/.f64 a (.f64 b b)) (.f64 (.f64 y y) z)) (+.f64 (.f64 471841060772561/17179869184 (/.f64 c (.f64 y (.f64 b b)))) (+.f64 (/.f64 (.f64 z i) (.f64 y (.f64 b b))) (+.f64 (/.f64 (.f64 t a) (.f64 y (.f64 b b))) (+.f64 (/.f64 (.f64 z c) (.f64 b b)) (+.f64 (/.f64 (.f64 c (.f64 y x)) (.f64 b b)) (+.f64 (.f64 471841060772561/17179869184 (/.f64 i (.f64 (.f64 y y) (.f64 b b)))) (.f64 7925469156333415/34359738368 (/.f64 y (*.f64 b b))))))))))))))))))))))
✓	28.5b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
	60.7b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (/.f64 471841060772561/17179869184 (.f64 y a)) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (/.f64 7925469156333415/34359738368 (.f64 (.f64 y y) a)))))) (+.f64 (/.f64 7925469156333415/34359738368 (.f64 y (.f64 a a))) (+.f64 (/.f64 (.f64 i x) (.f64 (.f64 y y) (.f64 a a))) (+.f64 (/.f64 (.f64 y z) (.f64 a a)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 c (.f64 (pow.f64 y 4) (.f64 a a)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (.f64 a a))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 i (.f64 (pow.f64 y 4) (.f64 a a)))) (+.f64 (/.f64 (.f64 z i) (.f64 (pow.f64 y 3) (.f64 a a))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 b (.f64 (.f64 y y) (.f64 a a)))) (+.f64 (.f64 (/.f64 c (.f64 a a)) (+.f64 (/.f64 x y) (/.f64 z (.f64 y y)))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 c (.f64 (pow.f64 y 3) (.f64 a a)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (.f64 a a))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 b (.f64 (pow.f64 y 3) (.f64 a a)))) (+.f64 (/.f64 (.f64 b x) (.f64 a a)) (+.f64 (/.f64 t (.f64 (.f64 y y) (.f64 a a))) (+.f64 (/.f64 471841060772561/17179869184 (.f64 a a)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 i (.f64 (.f64 a a) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 t c) (.f64 (.f64 a a) (pow.f64 y 5))) (+.f64 (/.f64 (.f64 (.f64 y y) x) (.f64 a a)) (/.f64 (.f64 t i) (.f64 (*.f64 a a) (pow.f64 y 6))))))))))))))))))))))
	45.9b	(/.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (sqrt.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))))) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
▶	33.2b	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (+.f64 (.f64 471841060772561/17179869184 (.f64 y y)) (+.f64 t (.f64 (pow.f64 y 4) x)))) (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))
✓	29.1b	(.f64 (.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))) (/.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a)))))))))
	44.1b	(-.f64 (+.f64 x (/.f64 z y)) (/.f64 (*.f64 a x) y))
	46.5b	(-.f64 (+.f64 (/.f64 t i) (.f64 7925469156333415/34359738368 (/.f64 y i))) (/.f64 (.f64 c (.f64 y t)) (.f64 i i)))
	34.3b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 y 471841060772561/17179869184) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
	40.4b	(/.f64 t (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))
	47.3b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 x (.f64 a a)) (.f64 y y)) (+.f64 x (/.f64 471841060772561/17179869184 (.f64 y y))))) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 b x) (.f64 y y)) (/.f64 (.f64 z a) (*.f64 y y)))))
	43.2b	(.f64 (sqrt.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))))) (sqrt.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))))))

Compiler

Compiled 16356 to 7671 computations (53.1% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

6.8b	(+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c)))
7.0b	(+.f64 (.f64 471841060772561/17179869184 (.f64 y y)) (+.f64 t (*.f64 (pow.f64 y 4) x)))
7.4b	(.f64 (.f64 y y) b)
27.0b	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (+.f64 (.f64 471841060772561/17179869184 (.f64 y y)) (+.f64 t (.f64 (pow.f64 y 4) x)))) (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))

rewrite160.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

8.4b

Rules

24×	`*-un-lft-identity_binary64`
15×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
14×	`add-log-exp_binary64`
12×	`times-frac_binary64`

Counts

4 → 81

Calls

4 calls:

21.0ms	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (+.f64 (.f64 471841060772561/17179869184 (.f64 y y)) (+.f64 t (.f64 (pow.f64 y 4) x)))) (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))
6.0ms	(+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c)))
6.0ms	(+.f64 (.f64 471841060772561/17179869184 (.f64 y y)) (+.f64 t (*.f64 (pow.f64 y 4) x)))
4.0ms	(.f64 (.f64 y y) b)

Compiler

Compiled 4325 to 2319 computations (46.4% saved)

series3.7s (10.2%)

Error

8.4b

Counts

4 → 99

Calls

4 calls:

3.4s	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (+.f64 (.f64 471841060772561/17179869184 (.f64 y y)) (+.f64 t (.f64 (pow.f64 y 4) x)))) (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))
55.0ms	(+.f64 (.f64 471841060772561/17179869184 (.f64 y y)) (+.f64 t (*.f64 (pow.f64 y 4) x)))
48.0ms	(+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c)))
18.0ms	(.f64 (.f64 y y) b)

Compiler

Compiled 29355 to 20278 computations (30.9% saved)

simplify246.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

326×	`+-commutative_binary64`
311×	`*-commutative_binary64`
280×	`associate-+r+_binary64`
231×	`distribute-rgt-in_binary64`
215×	`distribute-lft-in_binary64`

Counts

180 → 152

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1060	15020
1	3279	13940
2	4994	13940

prune181.0ms (0.5%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	148	4	152
Fresh	2	8	10
Picked	0	1	1
Done	0	2	2
Total	150	15	165

Error

8.4b

Counts

165 → 15

Alt Table

Status	Error	Program
	50.5b	(.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 (pow.f64 i 3) (pow.f64 (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a)))))) 3))) (+.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y)) (-.f64 (.f64 i i) (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))))
	61.8b	(-.f64 (+.f64 (/.f64 t (.f64 (.f64 y y) b)) (+.f64 (/.f64 7925469156333415/34359738368 (.f64 y b)) (+.f64 (/.f64 (.f64 y z) b) (+.f64 (/.f64 471841060772561/17179869184 b) (/.f64 (.f64 (.f64 y y) x) b))))) (+.f64 (/.f64 (.f64 i x) (.f64 b b)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) z) (.f64 b b)) (+.f64 (/.f64 (.f64 t c) (.f64 (pow.f64 y 3) (.f64 b b))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 (.f64 y y) (.f64 b b))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 i (.f64 (pow.f64 y 3) (.f64 b b)))) (+.f64 (.f64 (+.f64 (/.f64 i (pow.f64 y 4)) 1) (/.f64 t (.f64 b b))) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 a x)) (.f64 b b)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 c (.f64 (.f64 y y) (.f64 b b)))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 (.f64 y a) (.f64 b b))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 a (.f64 b b))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (.f64 b b)) (+.f64 (.f64 (/.f64 a (.f64 b b)) (.f64 (.f64 y y) z)) (+.f64 (.f64 471841060772561/17179869184 (/.f64 c (.f64 y (.f64 b b)))) (+.f64 (/.f64 (.f64 z i) (.f64 y (.f64 b b))) (+.f64 (/.f64 (.f64 t a) (.f64 y (.f64 b b))) (+.f64 (/.f64 (.f64 z c) (.f64 b b)) (+.f64 (/.f64 (.f64 c (.f64 y x)) (.f64 b b)) (+.f64 (.f64 471841060772561/17179869184 (/.f64 i (.f64 (.f64 y y) (.f64 b b)))) (.f64 7925469156333415/34359738368 (/.f64 y (*.f64 b b))))))))))))))))))))))
✓	28.5b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
	60.7b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (/.f64 471841060772561/17179869184 (.f64 y a)) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (/.f64 7925469156333415/34359738368 (.f64 (.f64 y y) a)))))) (+.f64 (/.f64 7925469156333415/34359738368 (.f64 y (.f64 a a))) (+.f64 (/.f64 (.f64 i x) (.f64 (.f64 y y) (.f64 a a))) (+.f64 (/.f64 (.f64 y z) (.f64 a a)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 c (.f64 (pow.f64 y 4) (.f64 a a)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (.f64 a a))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 i (.f64 (pow.f64 y 4) (.f64 a a)))) (+.f64 (/.f64 (.f64 z i) (.f64 (pow.f64 y 3) (.f64 a a))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 b (.f64 (.f64 y y) (.f64 a a)))) (+.f64 (.f64 (/.f64 c (.f64 a a)) (+.f64 (/.f64 x y) (/.f64 z (.f64 y y)))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 c (.f64 (pow.f64 y 3) (.f64 a a)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (.f64 a a))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 b (.f64 (pow.f64 y 3) (.f64 a a)))) (+.f64 (/.f64 (.f64 b x) (.f64 a a)) (+.f64 (/.f64 t (.f64 (.f64 y y) (.f64 a a))) (+.f64 (/.f64 471841060772561/17179869184 (.f64 a a)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 i (.f64 (.f64 a a) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 t c) (.f64 (.f64 a a) (pow.f64 y 5))) (+.f64 (/.f64 (.f64 (.f64 y y) x) (.f64 a a)) (/.f64 (.f64 t i) (.f64 (*.f64 a a) (pow.f64 y 6))))))))))))))))))))))
▶	34.3b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 y 471841060772561/17179869184) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
	40.3b	(/.f64 t (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (.f64 (pow.f64 y 3) (+.f64 y a)) (.f64 y c)))))
	45.9b	(/.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (sqrt.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))))) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
✓	33.2b	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (+.f64 (.f64 471841060772561/17179869184 (.f64 y y)) (+.f64 t (.f64 (pow.f64 y 4) x)))) (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))
✓	29.1b	(.f64 (.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))) (/.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a)))))))))
	44.1b	(-.f64 (+.f64 x (/.f64 z y)) (/.f64 (*.f64 a x) y))
	46.5b	(-.f64 (+.f64 (/.f64 t i) (.f64 7925469156333415/34359738368 (/.f64 y i))) (/.f64 (.f64 c (.f64 y t)) (.f64 i i)))
	61.3b	(/.f64 (+.f64 (.f64 y (+.f64 7925469156333415/34359738368 (.f64 471841060772561/17179869184 y))) (+.f64 t (.f64 x (pow.f64 y 4)))) (.f64 (*.f64 y y) b))
	48.5b	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (exp.f64 (log.f64 (+.f64 t (+.f64 (.f64 (.f64 y y) 471841060772561/17179869184) (.f64 x (pow.f64 y 4))))))) (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))
	50.5b	(-.f64 x (/.f64 (*.f64 x a) y))
	43.2b	(.f64 (sqrt.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))))) (sqrt.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))))))

Compiler

Compiled 9711 to 5065 computations (47.8% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 y 471841060772561/17179869184) 7925469156333415/34359738368) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
24.9b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 y 471841060772561/17179869184) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite156.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

8.4b

Rules

24×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
12×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 91

Calls

4 calls:

16.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
15.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 y 471841060772561/17179869184) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
7.0ms	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
5.0ms	(.f64 (+.f64 (.f64 y 471841060772561/17179869184) 7925469156333415/34359738368) y)

Compiler

Compiled 3414 to 1170 computations (65.7% saved)

series1.9s (5.3%)

Error

8.2b

Counts

4 → 100

Calls

4 calls:

1.7s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 y 471841060772561/17179869184) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
65.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
39.0ms	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
9.0ms	(.f64 (+.f64 (.f64 y 471841060772561/17179869184) 7925469156333415/34359738368) y)

Compiler

Compiled 18327 to 12980 computations (29.2% saved)

simplify164.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

753×	`times-frac_binary64`
501×	`associate-/l*_binary64`
233×	`*-commutative_binary64`
214×	`+-commutative_binary64`
178×	`distribute-rgt-in_binary64`

Counts

191 → 169

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	776	9675
1	2233	9357
2	5131	9357

prune209.0ms (0.6%)

Pruning

19 alts after pruning (16 fresh and 3 done)

	Pruned	Kept	Total
New	161	8	169
Fresh	3	8	11
Picked	1	0	1
Done	0	3	3
Total	165	19	184

Error

8.2b

Counts

184 → 19

Alt Table

Status	Error	Program
	58.3b	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (+.f64 t (.f64 (.f64 y y) 471841060772561/17179869184))) (.f64 y c))
	48.1b	(/.f64 (+.f64 (.f64 (.f64 (+.f64 7925469156333415/34359738368 (.f64 y 471841060772561/17179869184)) (sqrt.f64 y)) (sqrt.f64 y)) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
	28.5b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
	60.7b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (/.f64 471841060772561/17179869184 (.f64 y a)) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (/.f64 7925469156333415/34359738368 (.f64 (.f64 y y) a)))))) (+.f64 (/.f64 7925469156333415/34359738368 (.f64 y (.f64 a a))) (+.f64 (/.f64 (.f64 i x) (.f64 (.f64 y y) (.f64 a a))) (+.f64 (/.f64 (.f64 y z) (.f64 a a)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 c (.f64 (pow.f64 y 4) (.f64 a a)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (.f64 a a))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 i (.f64 (pow.f64 y 4) (.f64 a a)))) (+.f64 (/.f64 (.f64 z i) (.f64 (pow.f64 y 3) (.f64 a a))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 b (.f64 (.f64 y y) (.f64 a a)))) (+.f64 (.f64 (/.f64 c (.f64 a a)) (+.f64 (/.f64 x y) (/.f64 z (.f64 y y)))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 c (.f64 (pow.f64 y 3) (.f64 a a)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (.f64 a a))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 b (.f64 (pow.f64 y 3) (.f64 a a)))) (+.f64 (/.f64 (.f64 b x) (.f64 a a)) (+.f64 (/.f64 t (.f64 (.f64 y y) (.f64 a a))) (+.f64 (/.f64 471841060772561/17179869184 (.f64 a a)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 i (.f64 (.f64 a a) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 t c) (.f64 (.f64 a a) (pow.f64 y 5))) (+.f64 (/.f64 (.f64 (.f64 y y) x) (.f64 a a)) (/.f64 (.f64 t i) (.f64 (*.f64 a a) (pow.f64 y 6))))))))))))))))))))))
	38.0b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 y 471841060772561/17179869184) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (*.f64 y y) a) c) y) i))
	62.0b	(+.f64 (-.f64 (+.f64 (/.f64 7925469156333415/34359738368 (pow.f64 y 3)) (+.f64 (.f64 471841060772561/17179869184 (/.f64 (.f64 a a) (pow.f64 y 4))) (+.f64 (/.f64 471841060772561/17179869184 (.f64 y y)) (/.f64 t (pow.f64 y 4))))) (.f64 7925469156333415/34359738368 (/.f64 a (pow.f64 y 4)))) (*.f64 -471841060772561/17179869184 (+.f64 (/.f64 a (pow.f64 y 3)) (/.f64 b (pow.f64 y 4)))))
	62.0b	(/.f64 471841060772561/17179869184 (*.f64 y y))
	45.9b	(/.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (sqrt.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))))) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	33.2b	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (+.f64 (.f64 471841060772561/17179869184 (.f64 y y)) (+.f64 t (.f64 (pow.f64 y 4) x)))) (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))
	29.1b	(.f64 (.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))))) (/.f64 (cbrt.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x))))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a)))))))))
	44.1b	(-.f64 (+.f64 x (/.f64 z y)) (/.f64 (*.f64 a x) y))
	46.5b	(-.f64 (+.f64 (/.f64 t i) (.f64 7925469156333415/34359738368 (/.f64 y i))) (/.f64 (.f64 c (.f64 y t)) (.f64 i i)))
	61.2b	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (+.f64 t (.f64 (.f64 y y) 471841060772561/17179869184))) (.f64 (*.f64 y y) b))
	37.2b	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (+.f64 t (.f64 (.f64 y y) 471841060772561/17179869184))) (+.f64 i (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (*.f64 y c)))))
	62.4b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (/.f64 7925469156333415/34359738368 (.f64 (.f64 y y) a)) (/.f64 471841060772561/17179869184 (.f64 y a)))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 b (.f64 (.f64 y y) (.f64 a a)))) (+.f64 (/.f64 7925469156333415/34359738368 (.f64 y (.f64 a a))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 c (.f64 (pow.f64 y 3) (.f64 a a)))) (+.f64 (/.f64 (.f64 t b) (.f64 (.f64 a a) (pow.f64 y 4))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 b (.f64 (pow.f64 y 3) (.f64 a a)))) (+.f64 (/.f64 t (.f64 (.f64 y y) (.f64 a a))) (+.f64 (/.f64 471841060772561/17179869184 (.f64 a a)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 i (.f64 (.f64 a a) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 t c) (.f64 (.f64 a a) (pow.f64 y 5))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 c (.f64 (.f64 a a) (pow.f64 y 4)))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 i (.f64 (.f64 a a) (pow.f64 y 4)))) (/.f64 (.f64 t i) (.f64 (.f64 a a) (pow.f64 y 6)))))))))))))))
	61.8b	(-.f64 (+.f64 (/.f64 t (.f64 (.f64 y y) b)) (+.f64 (/.f64 7925469156333415/34359738368 (.f64 y b)) (+.f64 (/.f64 (.f64 y z) b) (+.f64 (/.f64 471841060772561/17179869184 b) (/.f64 (.f64 (.f64 y y) x) b))))) (+.f64 (/.f64 (.f64 i x) (.f64 b b)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) z) (.f64 b b)) (+.f64 (/.f64 (.f64 t c) (.f64 (pow.f64 y 3) (.f64 b b))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 (.f64 y y) (.f64 b b))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 i (.f64 (pow.f64 y 3) (.f64 b b)))) (+.f64 (.f64 (+.f64 (/.f64 i (pow.f64 y 4)) 1) (/.f64 t (.f64 b b))) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 a x)) (.f64 b b)) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 c (.f64 (.f64 y y) (.f64 b b)))) (+.f64 (.f64 471841060772561/17179869184 (/.f64 (.f64 y a) (.f64 b b))) (+.f64 (.f64 7925469156333415/34359738368 (/.f64 a (.f64 b b))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (.f64 b b)) (+.f64 (.f64 (/.f64 a (.f64 b b)) (.f64 (.f64 y y) z)) (+.f64 (.f64 471841060772561/17179869184 (/.f64 c (.f64 y (.f64 b b)))) (+.f64 (/.f64 (.f64 z i) (.f64 y (.f64 b b))) (+.f64 (/.f64 (.f64 t a) (.f64 y (.f64 b b))) (+.f64 (/.f64 (.f64 z c) (.f64 b b)) (+.f64 (/.f64 (.f64 c (.f64 y x)) (.f64 b b)) (+.f64 (.f64 471841060772561/17179869184 (/.f64 i (.f64 (.f64 y y) (.f64 b b)))) (.f64 7925469156333415/34359738368 (/.f64 y (*.f64 b b))))))))))))))))))))))
	48.5b	(/.f64 (+.f64 (.f64 7925469156333415/34359738368 y) (exp.f64 (log.f64 (+.f64 t (+.f64 (.f64 (.f64 y y) 471841060772561/17179869184) (.f64 x (pow.f64 y 4))))))) (+.f64 i (+.f64 (.f64 (.f64 y y) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 y 3) a) (.f64 y c))))))
	50.5b	(-.f64 x (/.f64 (*.f64 x a) y))
	43.2b	(.f64 (sqrt.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))))) (sqrt.f64 (/.f64 (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (.f64 y x)))))))) (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))))))

Compiler

Compiled 7483 to 3482 computations (53.5% saved)

regimes15.3s (42.7%)

Accuracy

Total 2.9b remaining (26.8%)

Threshold costs 0b (0%)

Compiler

Compiled 194589 to 119097 computations (38.8% saved)

bsearch79.0ms (0.2%)

Steps

Iters	Range		Point
7	1.2281200608964665e+84	2.297038844579443e+86	1.2568926494090495e+84
5	-1.125402186355821e+55	-3.3680253144674055e+54	-8.758407785881581e+54

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative_binary64`
12×	`*-commutative_binary64`
5×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	82
1	62	82
2	69	82
3	79	82
4	86	82
5	91	82
6	93	82
7	93	82

end1.0ms (0%)

Compiler: Compiled 63 to 39 computations (38.1% saved)

sample1.8s (4.9%)

Algorithm

1×

intervals

Results

852.0ms	8000×	body	128	valid
20.0ms	204×	body	128	invalid

Compiler

Compiled 1391 to 802 computations (42.3% saved)

Details

analyze2.7s (7.7%)

sample46.0ms (0.1%)

simplify176.0ms (0.5%)

prune3.0ms (0%)

localize29.0ms (0.1%)

rewrite249.0ms (0.7%)

series3.3s (9.1%)

simplify282.0ms (0.8%)

prune255.0ms (0.7%)

localize33.0ms (0.1%)

rewrite211.0ms (0.6%)

series4.1s (11.3%)

simplify398.0ms (1.1%)

prune239.0ms (0.7%)

localize24.0ms (0.1%)

rewrite160.0ms (0.4%)

series3.7s (10.2%)

simplify246.0ms (0.7%)

prune181.0ms (0.5%)

localize20.0ms (0.1%)

rewrite156.0ms (0.4%)

series1.9s (5.3%)

simplify164.0ms (0.5%)

prune209.0ms (0.6%)

regimes15.3s (42.7%)

bsearch79.0ms (0.2%)

simplify6.0ms (0%)

end1.0ms (0%)

sample1.8s (4.9%)

Profiling