Details

analyze8.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
75%	25%	0%	3
75%	25%	0%	4
75%	25%	0%	5
87.5%	12.5%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 175 to 47 computations (73.1% saved)

sample1.7s (56.1%)

Results

1.7s

8256×

body

128

valid

Compiler

Compiled 350 to 94 computations (73.1% saved)

preprocess33.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

705×	`fma-def_binary64`
691×	`distribute-rgt-out_binary64`
550×	`+-commutative_binary64`
437×	`*-commutative_binary64`
350×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	256
1	133	150
2	590	101
3	3277	90
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs

(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1049934947/10000000000 (*.f64 x x))) (*.f64 106015151/2500000000 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 36322091/5000000000 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2532017/5000000000 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 1789971/10000000000 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 7715471019/10000000000 (*.f64 x x))) (*.f64 2909738639/10000000000 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 694555761/10000000000 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 70002721/5000000000 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 1665589/2000000000 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 1789971/10000000000) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)

Outputs
(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
(.f64 x (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (.f64 x (.f64 x (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x))))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x)))) (.f64 1789971/10000000000 (.f64 (.f64 x x) (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x))))))) (+.f64 (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (.f64 x (.f64 x (.f64 x x))) 2909738639/10000000000))) (.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x)) 694555761/10000000000)) (.f64 (.f64 70002721/5000000000 (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x))) (.f64 x x))) (+.f64 (.f64 (.f64 1665589/2000000000 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x)))) (.f64 x x)) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x))) (.f64 x (.f64 x (*.f64 x x)))))))))
(/.f64 (.f64 x (fma.f64 1789971/10000000000 (.f64 (.f64 x (pow.f64 x 3)) (pow.f64 (.f64 x x) 3)) (fma.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 x (pow.f64 x 3)) (fma.f64 1049934947/10000000000 (.f64 x x) 1)))))) (fma.f64 1789971/5000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 3)) (fma.f64 (.f64 (.f64 x (pow.f64 x 3)) (pow.f64 (.f64 x x) 3)) 1665589/2000000000 (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 x (pow.f64 x 3)) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))
(/.f64 (.f64 x (+.f64 (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)) (fma.f64 36322091/5000000000 (pow.f64 x 6) (.f64 (pow.f64 (.f64 x x) 4) (+.f64 2532017/5000000000 (.f64 x (.f64 x 1789971/10000000000))))))) (+.f64 (.f64 (pow.f64 (.f64 x x) 4) (+.f64 70002721/5000000000 (.f64 x (.f64 x 1665589/2000000000)))) (fma.f64 1789971/5000000000 (pow.f64 (pow.f64 x 4) 3) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) 1))))))
(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))

Compiler

Compiled 174 to 46 computations (73.6% saved)

simplify23.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

705×	`fma-def_binary64`
691×	`distribute-rgt-out_binary64`
550×	`+-commutative_binary64`
437×	`*-commutative_binary64`
350×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	256
1	133	150
2	590	101
3	3277	90

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs

(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1049934947/10000000000 (*.f64 x x))) (*.f64 106015151/2500000000 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 36322091/5000000000 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2532017/5000000000 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 1789971/10000000000 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 7715471019/10000000000 (*.f64 x x))) (*.f64 2909738639/10000000000 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 694555761/10000000000 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 70002721/5000000000 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 1665589/2000000000 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 1789971/10000000000) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)

Outputs
(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
(.f64 x (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (.f64 x (.f64 x (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x))))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x)))) (.f64 1789971/10000000000 (.f64 (.f64 x x) (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x))))))) (+.f64 (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (.f64 x (.f64 x (.f64 x x))) 2909738639/10000000000))) (.f64 (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x)) 694555761/10000000000)) (.f64 (.f64 70002721/5000000000 (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x))) (.f64 x x))) (+.f64 (.f64 (.f64 1665589/2000000000 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x)))) (.f64 x x)) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (.f64 (.f64 (.f64 x x) x) (.f64 (.f64 x x) x))) (.f64 x (.f64 x (*.f64 x x)))))))))
(/.f64 (.f64 x (fma.f64 1789971/10000000000 (.f64 (.f64 x (pow.f64 x 3)) (pow.f64 (.f64 x x) 3)) (fma.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (fma.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3) (fma.f64 106015151/2500000000 (.f64 x (pow.f64 x 3)) (fma.f64 1049934947/10000000000 (.f64 x x) 1)))))) (fma.f64 1789971/5000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 3)) (fma.f64 (.f64 (.f64 x (pow.f64 x 3)) (pow.f64 (.f64 x x) 3)) 1665589/2000000000 (fma.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000 (fma.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000 (fma.f64 (.f64 x (pow.f64 x 3)) 2909738639/10000000000 (fma.f64 (.f64 x x) 7715471019/10000000000 1)))))))
(/.f64 (.f64 x (+.f64 (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)) (fma.f64 36322091/5000000000 (pow.f64 x 6) (.f64 (pow.f64 (.f64 x x) 4) (+.f64 2532017/5000000000 (.f64 x (.f64 x 1789971/10000000000))))))) (+.f64 (.f64 (pow.f64 (.f64 x x) 4) (+.f64 70002721/5000000000 (.f64 x (.f64 x 1665589/2000000000)))) (fma.f64 1789971/5000000000 (pow.f64 (pow.f64 x 4) 3) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) 1))))))
(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))

prune8.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

24.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	24.3b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))
▶	24.3b	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)

Status

Error

Program

24.3b

(*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))

▶

24.3b

(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1049934947/10000000000 (*.f64 x x))) (*.f64 106015151/2500000000 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 36322091/5000000000 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2532017/5000000000 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 1789971/10000000000 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 7715471019/10000000000 (*.f64 x x))) (*.f64 2909738639/10000000000 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 694555761/10000000000 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 70002721/5000000000 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 1665589/2000000000 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 1789971/10000000000) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)

Compiler

Compiled 716 to 277 computations (61.3% saved)

localize34.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 1049934947/10000000000 (.f64 x x))
✓	0.2b	(.f64 7715471019/10000000000 (.f64 x x))
✓	13.0b	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
✓	23.8b	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))

series9.0ms (0.3%)

Counts

4 → 48

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))
1.0ms	x	@	0	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))
1.0ms	x	@	inf	(.f64 7715471019/10000000000 (.f64 x x))
1.0ms	x	@	inf	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
1.0ms	x	@	0	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)

rewrite55.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

512×	`pow1_binary64`
506×	`add-exp-log_binary64`
506×	`add-log-exp_binary64`
506×	`log1p-expm1-u_binary64`
506×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	367
1	1071	367

Stop Event

1×	node limit

Counts

4 → 29

Calls

Call 1

Inputs
(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))
(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (.f64 106015151/2500000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 36322091/5000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2532017/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1789971/10000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 7715471019/10000000000 (.f64 x x))) (.f64 2909738639/10000000000 (.f64 (.f64 x x) (.f64 x x)))) (.f64 694555761/10000000000 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 70002721/5000000000 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 1665589/2000000000 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 2 1789971/10000000000) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))) x)
(.f64 7715471019/10000000000 (.f64 x x))
(.f64 1049934947/10000000000 (.f64 x x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (/.f64 1 (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))) (cbrt.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2)))))))) (cbrt.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))) (sqrt.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2)))))) (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))) (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (*.f64 x x) 2))))))))))))
((#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) x) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 x (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 x (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2))))))) (.f64 x (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2)))))))) (.f64 x (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (.f64 x x) 2)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (*.f64 x x) 2)))))))))))))
((#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 x x) 7715471019/10000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (.f64 x x) 7715471019/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (.f64 x x) 7715471019/10000000000)) (.f64 (.f64 x x) 7715471019/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 x x) 7715471019/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 x x) 7715471019/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (.f64 x x) 7715471019/10000000000)))))))
((#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1049934947/10000000000 (.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 1049934947/10000000000 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 1049934947/10000000000 (.f64 x x)) (.f64 1049934947/10000000000 (.f64 x x))) (.f64 1049934947/10000000000 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 1049934947/10000000000 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 1049934947/10000000000 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 1049934947/10000000000 (.f64 x x))))))))

simplify34.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

634×	`fma-def_binary64`
627×	`associate-l_binary64`
426×	`associate-/r*_binary64`
426×	`cancel-sign-sub-inv_binary64`
244×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	576
1	192	576
2	486	568
3	1454	564

Stop Event

1×	node limit

Counts

77 → 62

Calls

Call 1

Inputs
1
(-.f64 1 (*.f64 833192009/1250000000 (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (.f64 833192009/1250000000 (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6)) (*.f64 833192009/1250000000 (pow.f64 x 2))))
(/.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(/.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
x
(-.f64 x (*.f64 833192009/1250000000 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (.f64 833192009/1250000000 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7)) (*.f64 833192009/1250000000 (pow.f64 x 3))))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(*.f64 1049934947/10000000000 (pow.f64 x 2))

Outputs
1
(-.f64 1 (*.f64 833192009/1250000000 (pow.f64 x 2)))
(+.f64 1 (.f64 -833192009/1250000000 (.f64 x x)))
(+.f64 1 (.f64 (.f64 x x) -833192009/1250000000))
(fma.f64 (*.f64 x x) -833192009/1250000000 1)
(fma.f64 x (*.f64 x -833192009/1250000000) 1)
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (.f64 833192009/1250000000 (pow.f64 x 2)))
(+.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (.f64 -833192009/1250000000 (.f64 x x)))
(+.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (.f64 (.f64 x x) -833192009/1250000000))
(fma.f64 (*.f64 x x) -833192009/1250000000 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1))
(fma.f64 x (*.f64 x -833192009/1250000000) (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6)) (*.f64 833192009/1250000000 (pow.f64 x 2))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (fma.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6) (.f64 833192009/1250000000 (.f64 x x))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (fma.f64 833192009/1250000000 (.f64 x x) (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6))))
(+.f64 (.f64 (pow.f64 x 6) -9156128575487588197208397249/125000000000000000000000000000) (fma.f64 (.f64 x x) -833192009/1250000000 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1)))
(fma.f64 (pow.f64 x 6) -9156128575487588197208397249/125000000000000000000000000000 (fma.f64 x (*.f64 x -833192009/1250000000) (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1)))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))) (/.f64 1/2 (*.f64 x x)))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(+.f64 (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8))) (+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(+.f64 (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8))) (+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x))))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))) (/.f64 1/2 (*.f64 x x)))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(+.f64 (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8))) (+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(+.f64 (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8))) (+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x))))
x
(-.f64 x (*.f64 833192009/1250000000 (pow.f64 x 3)))
(+.f64 x (*.f64 -833192009/1250000000 (pow.f64 x 3)))
(+.f64 x (*.f64 (pow.f64 x 3) -833192009/1250000000))
(fma.f64 (pow.f64 x 3) -833192009/1250000000 x)
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (.f64 833192009/1250000000 (pow.f64 x 3)))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (*.f64 833192009/1250000000 (pow.f64 x 3)))
(+.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (*.f64 (pow.f64 x 3) -833192009/1250000000))
(fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) (fma.f64 (pow.f64 x 3) -833192009/1250000000 x))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7)) (*.f64 833192009/1250000000 (pow.f64 x 3))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7) (*.f64 833192009/1250000000 (pow.f64 x 3))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))))
(fma.f64 (pow.f64 x 3) -833192009/1250000000 (fma.f64 (pow.f64 x 7) -9156128575487588197208397249/125000000000000000000000000000 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x)))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7)) (/.f64 1/2 x)) (/.f64 600041/2386628 (pow.f64 x 3))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7)) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7)) (/.f64 1/2 x)) (/.f64 600041/2386628 (pow.f64 x 3))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7)) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 7715471019/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 7715471019/10000000000)
(.f64 x (.f64 x 7715471019/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))
(*.f64 1049934947/10000000000 (pow.f64 x 2))
(.f64 (.f64 x x) 1049934947/10000000000)
(.f64 x (.f64 x 1049934947/10000000000))

prune109.0ms (3.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	60	2	62
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	61	3	64

Error

Counts

64 → 3

Alt Table

Status	Error	Program
▶	24.3b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))
	28.1b	(.f64 (log.f64 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1049934947/10000000000 (.f64 x x))) (+.f64 (.f64 106015151/2500000000 (pow.f64 (.f64 x x) 2)) (.f64 36322091/5000000000 (pow.f64 (.f64 x x) 3)))) (+.f64 (.f64 2532017/5000000000 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3))) (.f64 1789971/10000000000 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (.f64 (.f64 x x) 7715471019/10000000000) (.f64 (pow.f64 (.f64 x x) 2) 2909738639/10000000000))) (+.f64 (.f64 (pow.f64 (.f64 x x) 3) 694555761/10000000000) (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) 70002721/5000000000))) (+.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (.f64 x x) 2)) 1665589/2000000000) (.f64 1789971/5000000000 (.f64 (.f64 (.f64 x x) (pow.f64 (.f64 x x) 3)) (pow.f64 (*.f64 x x) 2)))))))) x)
	35.1b	(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))

Status

Error

Program

▶

24.3b

(*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))

28.1b

(*.f64 (log.f64 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 1049934947/10000000000 (*.f64 x x))) (+.f64 (*.f64 106015151/2500000000 (pow.f64 (*.f64 x x) 2)) (*.f64 36322091/5000000000 (pow.f64 (*.f64 x x) 3)))) (+.f64 (*.f64 2532017/5000000000 (*.f64 (*.f64 x x) (pow.f64 (*.f64 x x) 3))) (*.f64 1789971/10000000000 (*.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (*.f64 x x) 2))))) (+.f64 (+.f64 (+.f64 1 (+.f64 (*.f64 (*.f64 x x) 7715471019/10000000000) (*.f64 (pow.f64 (*.f64 x x) 2) 2909738639/10000000000))) (+.f64 (*.f64 (pow.f64 (*.f64 x x) 3) 694555761/10000000000) (*.f64 (*.f64 (*.f64 x x) (pow.f64 (*.f64 x x) 3)) 70002721/5000000000))) (+.f64 (*.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (*.f64 x x) 2)) 1665589/2000000000) (*.f64 1789971/5000000000 (*.f64 (*.f64 (*.f64 x x) (pow.f64 (*.f64 x x) 3)) (pow.f64 (*.f64 x x) 2)))))))) x)

35.1b

(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))

Compiler

Compiled 6522 to 2895 computations (55.6% saved)

localize33.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (*.f64 x x) 5)
✓	0.2b	(*.f64 x 7715471019/10000000000)
✓	13.0b	(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))
✓	23.8b	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))

series7.0ms (0.2%)

Counts

4 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))
1.0ms	x	@	0	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))
1.0ms	x	@	-inf	(/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))
1.0ms	x	@	inf	(pow.f64 (*.f64 x x) 5)
1.0ms	x	@	0	(pow.f64 (*.f64 x x) 5)

rewrite53.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

367×	`add-log-exp_binary64`
367×	`log1p-expm1-u_binary64`
367×	`expm1-log1p-u_binary64`
362×	`add-cbrt-cube_binary64`
362×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	188
1	827	188

Stop Event

1×	node limit

Counts

4 → 33

Calls

Call 1

Inputs
(/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))
(.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))
(*.f64 x 7715471019/10000000000)
(pow.f64 (*.f64 x x) 5)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))) (cbrt.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))) (cbrt.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))) (sqrt.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))) (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))) (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))))
((#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (.f64 x (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (.f64 x (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (/.f64 (.f64 x (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))) (/.f64 (.f64 x (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))) (/.f64 (.f64 x (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (.f64 x (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (.f64 x (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (.f64 x (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1)))))) (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))))
((#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x 7715471019/10000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 x 7715471019/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 x 7715471019/10000000000) (.f64 x 7715471019/10000000000)) (.f64 x 7715471019/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x 7715471019/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x 7715471019/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 x 7715471019/10000000000)))))))
((#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (.f64 x x) 5))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (.f64 x x) 5)) (cbrt.f64 (pow.f64 (.f64 x x) 5))) (cbrt.f64 (pow.f64 (.f64 x x) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 (.f64 x x) 5)) (sqrt.f64 (pow.f64 (.f64 x x) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 5) (pow.f64 x 5))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 x x) 5/2) (pow.f64 (.f64 x x) 5/2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (.f64 x x) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 x x) 5) (pow.f64 (.f64 x x) 5)) (pow.f64 (.f64 x x) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (.f64 x x) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (.f64 x x) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 x x)) 5))))))

simplify28.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

634×	`fma-def_binary64`
627×	`associate-l_binary64`
427×	`associate-/r*_binary64`
426×	`cancel-sign-sub-inv_binary64`
244×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	504
1	193	504
2	484	496
3	1451	492

Stop Event

1×	node limit

Counts

81 → 65

Calls

Call 1

Inputs
1
(-.f64 1 (*.f64 833192009/1250000000 (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (.f64 833192009/1250000000 (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6)) (*.f64 833192009/1250000000 (pow.f64 x 2))))
(/.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(/.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
x
(-.f64 x (*.f64 833192009/1250000000 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (.f64 833192009/1250000000 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7)) (*.f64 833192009/1250000000 (pow.f64 x 3))))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(*.f64 7715471019/10000000000 x)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)

Outputs
1
(-.f64 1 (*.f64 833192009/1250000000 (pow.f64 x 2)))
(-.f64 1 (.f64 833192009/1250000000 (.f64 x x)))
(+.f64 1 (.f64 (.f64 x x) -833192009/1250000000))
(fma.f64 (*.f64 x -833192009/1250000000) x 1)
(fma.f64 x (*.f64 x -833192009/1250000000) 1)
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (.f64 833192009/1250000000 (pow.f64 x 2)))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (.f64 833192009/1250000000 (.f64 x x)))
(+.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (.f64 (.f64 x x) -833192009/1250000000))
(fma.f64 (*.f64 x x) -833192009/1250000000 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x 3321371254951887171/12500000000000000000) -833192009/1250000000) 1)
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6)) (*.f64 833192009/1250000000 (pow.f64 x 2))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (fma.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6) (.f64 833192009/1250000000 (.f64 x x))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (fma.f64 833192009/1250000000 (.f64 x x) (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6))))
(+.f64 1 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) (fma.f64 (.f64 x x) -833192009/1250000000 (.f64 (pow.f64 x 6) -9156128575487588197208397249/125000000000000000000000000000))))
(fma.f64 x (*.f64 x -833192009/1250000000) (fma.f64 (pow.f64 x 6) -9156128575487588197208397249/125000000000000000000000000000 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1)))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8))) (/.f64 1/2 (*.f64 x x))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(+.f64 (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))) (+.f64 (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)) (/.f64 600041/2386628 (pow.f64 x 4))))
(+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8))) (/.f64 1/2 (*.f64 x x))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(+.f64 (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))) (+.f64 (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)) (/.f64 600041/2386628 (pow.f64 x 4))))
(+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
x
(-.f64 x (*.f64 833192009/1250000000 (pow.f64 x 3)))
(+.f64 x (*.f64 -833192009/1250000000 (pow.f64 x 3)))
(+.f64 x (*.f64 (pow.f64 x 3) -833192009/1250000000))
(fma.f64 (pow.f64 x 3) -833192009/1250000000 x)
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (.f64 833192009/1250000000 (pow.f64 x 3)))
(+.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (*.f64 -833192009/1250000000 (pow.f64 x 3)))
(+.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (*.f64 (pow.f64 x 3) -833192009/1250000000))
(fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) (fma.f64 (pow.f64 x 3) -833192009/1250000000 x))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7)) (*.f64 833192009/1250000000 (pow.f64 x 3))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7) (*.f64 833192009/1250000000 (pow.f64 x 3))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))))
(+.f64 x (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) (fma.f64 (pow.f64 x 3) -833192009/1250000000 (*.f64 (pow.f64 x 7) -9156128575487588197208397249/125000000000000000000000000000))))
(fma.f64 (pow.f64 x 3) -833192009/1250000000 (fma.f64 (pow.f64 x 7) -9156128575487588197208397249/125000000000000000000000000000 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x)))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (+.f64 (/.f64 1/2 x) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7)))))
(+.f64 (/.f64 1/2 x) (+.f64 (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (+.f64 (/.f64 1/2 x) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7)))))
(+.f64 (/.f64 1/2 x) (+.f64 (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(*.f64 7715471019/10000000000 x)
(*.f64 x 7715471019/10000000000)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)
(pow.f64 x 10)

prune117.0ms (3.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	76	3	79

Error

Counts

79 → 3

Alt Table

Status

Error

Program

✓

24.3b

(*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))

▶

24.3b

(*.f64 x (*.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))

35.1b

(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))

Compiler

Compiled 4256 to 3045 computations (28.5% saved)

localize31.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))
	0.2b	(*.f64 x 7715471019/10000000000)
✓	13.0b	(.f64 x (.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))
✓	23.6b	(.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))

series4.0ms (0.1%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(/.f64 1 (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))
0.0ms	x	@	0	(/.f64 1 (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))
0.0ms	x	@	-inf	(/.f64 1 (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))
0.0ms	x	@	0	(.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))
0.0ms	x	@	inf	(.f64 (fma.f64 1789971/10000000000 (pow.f64 (.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))

rewrite48.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

376×	`add-log-exp_binary64`
376×	`log1p-expm1-u_binary64`
376×	`expm1-log1p-u_binary64`
371×	`add-cbrt-cube_binary64`
371×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	226
1	850	226

Stop Event

1×	node limit

Counts

3 → 24

Calls

Call 1

Inputs

(*.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))

(*.f64 x (*.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))

(/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) 1) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))) (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))) (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))))

((#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))) (*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))) (*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))))))))

((#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))) (cbrt.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))) (cbrt.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))) (sqrt.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))) (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))) (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))))))

simplify35.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

714×	`cancel-sign-sub-inv_binary64`
437×	`fma-neg_binary64`
266×	`fma-def_binary64`
166×	`distribute-rgt-neg-in_binary64`
166×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	624
1	289	624
2	739	612
3	2398	612

Stop Event

1×	node limit

Counts

60 → 66

Calls

Call 1

Inputs
1
(-.f64 1 (*.f64 833192009/1250000000 (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (.f64 833192009/1250000000 (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6)) (*.f64 833192009/1250000000 (pow.f64 x 2))))
(/.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(/.f64 1/2 (pow.f64 x 2))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
x
(-.f64 x (*.f64 833192009/1250000000 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (.f64 833192009/1250000000 (pow.f64 x 3)))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7)) (*.f64 833192009/1250000000 (pow.f64 x 3))))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
1
(-.f64 1 (*.f64 7715471019/10000000000 (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 30431106655028898361/100000000000000000000 (pow.f64 x 4)) 1) (.f64 7715471019/10000000000 (pow.f64 x 2)))
(-.f64 (+.f64 (.f64 30431106655028898361/100000000000000000000 (pow.f64 x 4)) 1) (+.f64 (.f64 79745856152283464501792099859/1000000000000000000000000000000 (pow.f64 x 6)) (*.f64 7715471019/10000000000 (pow.f64 x 2))))
(/.f64 5000000000/1789971 (pow.f64 x 12))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (+.f64 (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))) (*.f64 539820867651673750000000/5735060247816145611 (/.f64 1 (pow.f64 x 16)))))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (+.f64 (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))) (+.f64 (.f64 539820867651673750000000/5735060247816145611 (/.f64 1 (pow.f64 x 16))) (.f64 706797855934732518543125000000/10265591526843713975467281 (/.f64 1 (pow.f64 x 18))))))
(/.f64 5000000000/1789971 (pow.f64 x 12))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (+.f64 (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))) (*.f64 539820867651673750000000/5735060247816145611 (/.f64 1 (pow.f64 x 16)))))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (+.f64 (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))) (+.f64 (.f64 539820867651673750000000/5735060247816145611 (/.f64 1 (pow.f64 x 16))) (.f64 706797855934732518543125000000/10265591526843713975467281 (/.f64 1 (pow.f64 x 18))))))

Outputs
1
(-.f64 1 (*.f64 833192009/1250000000 (pow.f64 x 2)))
(+.f64 1 (.f64 -833192009/1250000000 (.f64 x x)))
(+.f64 1 (.f64 (.f64 x x) -833192009/1250000000))
(fma.f64 (*.f64 x x) -833192009/1250000000 1)
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (.f64 833192009/1250000000 (pow.f64 x 2)))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (.f64 833192009/1250000000 (.f64 x x)))
(fma.f64 (*.f64 x x) -833192009/1250000000 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4)) 1) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6)) (*.f64 833192009/1250000000 (pow.f64 x 2))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (fma.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6) (.f64 833192009/1250000000 (.f64 x x))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (fma.f64 833192009/1250000000 (.f64 x x) (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 6))))
(+.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 4) 1) (fma.f64 (.f64 x x) -833192009/1250000000 (.f64 (pow.f64 x 6) -9156128575487588197208397249/125000000000000000000000000000)))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8))))
(+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)) (+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6)))))
(/.f64 1/2 (pow.f64 x 2))
(/.f64 1/2 (*.f64 x x))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (*.f64 1/2 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))))
(+.f64 (.f64 600041/2386628 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 8))) (.f64 1/2 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 6)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)))))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (+.f64 (+.f64 (/.f64 1/2 (*.f64 x x)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6))) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8))))
(+.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 8)) (+.f64 (/.f64 600041/2386628 (pow.f64 x 4)) (/.f64 1307076337763/8543989815576 (pow.f64 x 6)))))
x
(-.f64 x (*.f64 833192009/1250000000 (pow.f64 x 3)))
(+.f64 x (*.f64 -833192009/1250000000 (pow.f64 x 3)))
(+.f64 x (*.f64 (pow.f64 x 3) -833192009/1250000000))
(fma.f64 (pow.f64 x 3) -833192009/1250000000 x)
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (.f64 833192009/1250000000 (pow.f64 x 3)))
(+.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (*.f64 -833192009/1250000000 (pow.f64 x 3)))
(+.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (*.f64 (pow.f64 x 3) -833192009/1250000000))
(fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) (fma.f64 (pow.f64 x 3) -833192009/1250000000 x))
(fma.f64 (pow.f64 x 3) -833192009/1250000000 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x))
(-.f64 (+.f64 (.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5)) x) (+.f64 (.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7)) (*.f64 833192009/1250000000 (pow.f64 x 3))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7) (*.f64 833192009/1250000000 (pow.f64 x 3))))
(-.f64 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x) (fma.f64 833192009/1250000000 (pow.f64 x 3) (*.f64 9156128575487588197208397249/125000000000000000000000000000 (pow.f64 x 7))))
(+.f64 (fma.f64 (pow.f64 x 3) -833192009/1250000000 x) (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) (*.f64 (pow.f64 x 7) -9156128575487588197208397249/125000000000000000000000000000)))
(+.f64 (*.f64 (pow.f64 x 7) -9156128575487588197208397249/125000000000000000000000000000) (fma.f64 (pow.f64 x 3) -833192009/1250000000 (fma.f64 3321371254951887171/12500000000000000000 (pow.f64 x 5) x)))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(+.f64 (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))) (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7)))))
(/.f64 1/2 x)
(+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 1/2 (/.f64 1 x)) (*.f64 600041/2386628 (/.f64 1 (pow.f64 x 3)))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (+.f64 (.f64 344398180852034095277/30586987988352776592 (/.f64 1 (pow.f64 x 7))) (+.f64 (.f64 1/2 (/.f64 1 x)) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))))
(+.f64 (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))) (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))))
(+.f64 (+.f64 (/.f64 1/2 x) (/.f64 600041/2386628 (pow.f64 x 3))) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7))))
(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 344398180852034095277/30586987988352776592 (pow.f64 x 7)))))
1
(-.f64 1 (*.f64 7715471019/10000000000 (pow.f64 x 2)))
(+.f64 1 (.f64 -7715471019/10000000000 (.f64 x x)))
(+.f64 1 (.f64 (.f64 x x) -7715471019/10000000000))
(fma.f64 (*.f64 x x) -7715471019/10000000000 1)
(-.f64 (+.f64 (.f64 30431106655028898361/100000000000000000000 (pow.f64 x 4)) 1) (.f64 7715471019/10000000000 (pow.f64 x 2)))
(+.f64 (fma.f64 30431106655028898361/100000000000000000000 (pow.f64 x 4) 1) (.f64 -7715471019/10000000000 (.f64 x x)))
(+.f64 (fma.f64 (pow.f64 x 4) 30431106655028898361/100000000000000000000 1) (.f64 (.f64 x x) -7715471019/10000000000))
(fma.f64 (*.f64 x x) -7715471019/10000000000 (fma.f64 (pow.f64 x 4) 30431106655028898361/100000000000000000000 1))
(-.f64 (+.f64 (.f64 30431106655028898361/100000000000000000000 (pow.f64 x 4)) 1) (+.f64 (.f64 79745856152283464501792099859/1000000000000000000000000000000 (pow.f64 x 6)) (*.f64 7715471019/10000000000 (pow.f64 x 2))))
(-.f64 (fma.f64 30431106655028898361/100000000000000000000 (pow.f64 x 4) 1) (fma.f64 79745856152283464501792099859/1000000000000000000000000000000 (pow.f64 x 6) (.f64 (.f64 x x) 7715471019/10000000000)))
(-.f64 (fma.f64 (pow.f64 x 4) 30431106655028898361/100000000000000000000 1) (fma.f64 (.f64 x x) 7715471019/10000000000 (.f64 (pow.f64 x 6) 79745856152283464501792099859/1000000000000000000000000000000)))
(+.f64 (fma.f64 (pow.f64 x 4) 30431106655028898361/100000000000000000000 1) (fma.f64 (.f64 x x) -7715471019/10000000000 (.f64 (pow.f64 x 6) -79745856152283464501792099859/1000000000000000000000000000000)))
(+.f64 (fma.f64 (pow.f64 x 4) 30431106655028898361/100000000000000000000 1) (fma.f64 x (.f64 x -7715471019/10000000000) (.f64 (pow.f64 x 6) -79745856152283464501792099859/1000000000000000000000000000000)))
(/.f64 5000000000/1789971 (pow.f64 x 12))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))))
(-.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (/.f64 20819862500000000/3203996180841 (pow.f64 x 14)))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (+.f64 (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))) (*.f64 539820867651673750000000/5735060247816145611 (/.f64 1 (pow.f64 x 16)))))
(-.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (+.f64 (/.f64 20819862500000000/3203996180841 (pow.f64 x 14)) (/.f64 539820867651673750000000/5735060247816145611 (pow.f64 x 16))))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (-.f64 (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)) (/.f64 539820867651673750000000/5735060247816145611 (pow.f64 x 16))))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (+.f64 (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)) (/.f64 -539820867651673750000000/5735060247816145611 (pow.f64 x 16))))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (+.f64 (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))) (+.f64 (.f64 539820867651673750000000/5735060247816145611 (/.f64 1 (pow.f64 x 16))) (.f64 706797855934732518543125000000/10265591526843713975467281 (/.f64 1 (pow.f64 x 18))))))
(-.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (+.f64 (/.f64 20819862500000000/3203996180841 (pow.f64 x 14)) (+.f64 (/.f64 539820867651673750000000/5735060247816145611 (pow.f64 x 16)) (/.f64 706797855934732518543125000000/10265591526843713975467281 (pow.f64 x 18)))))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (-.f64 (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)) (+.f64 (/.f64 539820867651673750000000/5735060247816145611 (pow.f64 x 16)) (/.f64 706797855934732518543125000000/10265591526843713975467281 (pow.f64 x 18)))))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (-.f64 (+.f64 (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)) (/.f64 -539820867651673750000000/5735060247816145611 (pow.f64 x 16))) (/.f64 706797855934732518543125000000/10265591526843713975467281 (pow.f64 x 18))))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (+.f64 (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)) (+.f64 (/.f64 -539820867651673750000000/5735060247816145611 (pow.f64 x 16)) (/.f64 -706797855934732518543125000000/10265591526843713975467281 (pow.f64 x 18)))))
(/.f64 5000000000/1789971 (pow.f64 x 12))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))))
(-.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (/.f64 20819862500000000/3203996180841 (pow.f64 x 14)))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (+.f64 (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))) (*.f64 539820867651673750000000/5735060247816145611 (/.f64 1 (pow.f64 x 16)))))
(-.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (+.f64 (/.f64 20819862500000000/3203996180841 (pow.f64 x 14)) (/.f64 539820867651673750000000/5735060247816145611 (pow.f64 x 16))))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (-.f64 (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)) (/.f64 539820867651673750000000/5735060247816145611 (pow.f64 x 16))))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (+.f64 (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)) (/.f64 -539820867651673750000000/5735060247816145611 (pow.f64 x 16))))
(-.f64 (.f64 5000000000/1789971 (/.f64 1 (pow.f64 x 12))) (+.f64 (.f64 20819862500000000/3203996180841 (/.f64 1 (pow.f64 x 14))) (+.f64 (.f64 539820867651673750000000/5735060247816145611 (/.f64 1 (pow.f64 x 16))) (.f64 706797855934732518543125000000/10265591526843713975467281 (/.f64 1 (pow.f64 x 18))))))
(-.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (+.f64 (/.f64 20819862500000000/3203996180841 (pow.f64 x 14)) (+.f64 (/.f64 539820867651673750000000/5735060247816145611 (pow.f64 x 16)) (/.f64 706797855934732518543125000000/10265591526843713975467281 (pow.f64 x 18)))))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (-.f64 (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)) (+.f64 (/.f64 539820867651673750000000/5735060247816145611 (pow.f64 x 16)) (/.f64 706797855934732518543125000000/10265591526843713975467281 (pow.f64 x 18)))))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (-.f64 (+.f64 (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)) (/.f64 -539820867651673750000000/5735060247816145611 (pow.f64 x 16))) (/.f64 706797855934732518543125000000/10265591526843713975467281 (pow.f64 x 18))))
(+.f64 (/.f64 5000000000/1789971 (pow.f64 x 12)) (+.f64 (/.f64 -20819862500000000/3203996180841 (pow.f64 x 14)) (+.f64 (/.f64 -539820867651673750000000/5735060247816145611 (pow.f64 x 16)) (/.f64 -706797855934732518543125000000/10265591526843713975467281 (pow.f64 x 18)))))

prune100.0ms (3.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	74	3	77

Error

Counts

77 → 3

Alt Table

Status

Error

Program

✓

24.3b

(*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))

✓

24.3b

(*.f64 x (*.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))

▶

35.1b

(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))

Compiler

Compiled 3766 to 2731 computations (27.5% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
✓	0.1b	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
✓	0.4b	(/.f64 600041/2386628 (pow.f64 x 3))

series5.0ms (0.2%)

Counts

3 → 12

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
1.0ms	x	@	0	(/.f64 600041/2386628 (pow.f64 x 3))
1.0ms	x	@	0	(+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))
0.0ms	x	@	inf	(/.f64 600041/2386628 (pow.f64 x 3))
0.0ms	x	@	-inf	(/.f64 600041/2386628 (pow.f64 x 3))

rewrite58.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

922×	`prod-diff_binary64`
128×	`add-sqr-sqrt_binary64`
124×	`add-log-exp_binary64`
124×	`log1p-expm1-u_binary64`
124×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	265	28
2	3439	28

Stop Event

1×	node limit

Counts

3 → 102

Calls

Call 1

Inputs
(/.f64 600041/2386628 (pow.f64 x 3))
(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
(+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 600041/2386628 (pow.f64 x -3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 600041/2386628 (pow.f64 x -3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 600041/2386628 (pow.f64 x -3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 600041/2386628 (pow.f64 x -3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 600041/2386628) x) (cbrt.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6))) (/.f64 (cbrt.f64 600041/2386628) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 600041/2386628) (pow.f64 x 3/2)) (/.f64 (sqrt.f64 600041/2386628) (pow.f64 x 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -600041/2386628 (/.f64 1 (neg.f64 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x -3) 600041/2386628)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 600041/2386628 (pow.f64 x -3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (cbrt.f64 600041/2386628) x) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 600041/2386628) (pow.f64 x 3/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 216044283025868921/13594216883712345152 (pow.f64 (pow.f64 x -3) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 x 3) 2386628/600041) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 600041/2386628) (pow.f64 x -3)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 600041/2386628 (pow.f64 x -3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 216044283025868921/13594216883712345152 (pow.f64 (pow.f64 x -3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 600041/2386628 (pow.f64 x -3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 600041/2386628 (pow.f64 x -3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 600041/2386628 (pow.f64 x -3))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 600041/2386628 (pow.f64 x -3))) 1))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1307076337763/8543989815576 (pow.f64 x -5))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5))) (cbrt.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10))) (cbrt.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 1307076337763/8543989815576) (pow.f64 x 5/2)) (/.f64 (sqrt.f64 1307076337763/8543989815576) (pow.f64 x 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1307076337763/8543989815576 (/.f64 1 (neg.f64 (pow.f64 x 5))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x -5) 1307076337763/8543989815576)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 1307076337763/8543989815576) (pow.f64 x 5/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 2233072677571813184455900420990053947/623709222799758023272018403410575422976 (pow.f64 (pow.f64 x 5) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 x 5) 8543989815576/1307076337763) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1307076337763/8543989815576) (pow.f64 x -5)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 2233072677571813184455900420990053947/623709222799758023272018403410575422976 (pow.f64 (pow.f64 x 5) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5))) 1))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)) (+.f64 (*.f64 600041/2386628 (pow.f64 x -3)) (*.f64 -1307076337763/8543989815576 (pow.f64 x -5)))) (/.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10)) (+.f64 (*.f64 600041/2386628 (pow.f64 x -3)) (*.f64 -1307076337763/8543989815576 (pow.f64 x -5)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))) (pow.f64 (cbrt.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))) 2) (cbrt.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))) (sqrt.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 600041/2386628 (pow.f64 x 5) (*.f64 (pow.f64 x 3) 1307076337763/8543989815576)) (/.f64 1 (pow.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 216044283025868921/13594216883712345152 (pow.f64 (pow.f64 x -3) 3)) (/.f64 2233072677571813184455900420990053947/623709222799758023272018403410575422976 (pow.f64 (pow.f64 x 5) 3))) (/.f64 1 (+.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)) (-.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10)) (/.f64 784299392787648283/20391325325568517728 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)) (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10))) (/.f64 1 (+.f64 (*.f64 600041/2386628 (pow.f64 x -3)) (*.f64 -1307076337763/8543989815576 (pow.f64 x -5)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (pow.f64 x 8) (fma.f64 600041/2386628 (pow.f64 x 5) (*.f64 (pow.f64 x 3) 1307076337763/8543989815576))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)) (-.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10)) (/.f64 784299392787648283/20391325325568517728 (pow.f64 x 8)))) (+.f64 (*.f64 216044283025868921/13594216883712345152 (pow.f64 (pow.f64 x -3) 3)) (/.f64 2233072677571813184455900420990053947/623709222799758023272018403410575422976 (pow.f64 (pow.f64 x 5) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 600041/2386628 (pow.f64 x -3)) (*.f64 -1307076337763/8543989815576 (pow.f64 x -5))) (-.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)) (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 600041/2386628 (pow.f64 x 5) (*.f64 (pow.f64 x 3) 1307076337763/8543989815576)) (pow.f64 x 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 216044283025868921/13594216883712345152 (pow.f64 (pow.f64 x -3) 3)) (/.f64 2233072677571813184455900420990053947/623709222799758023272018403410575422976 (pow.f64 (pow.f64 x 5) 3))) (+.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)) (-.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10)) (/.f64 784299392787648283/20391325325568517728 (pow.f64 x 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 216044283025868921/13594216883712345152 (pow.f64 (pow.f64 x -3) 3)) (/.f64 2233072677571813184455900420990053947/623709222799758023272018403410575422976 (pow.f64 (pow.f64 x 5) 3))) (+.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10)) (-.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)) (/.f64 784299392787648283/20391325325568517728 (pow.f64 x 8)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)) (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10))) (+.f64 (*.f64 600041/2386628 (pow.f64 x -3)) (*.f64 -1307076337763/8543989815576 (pow.f64 x -5))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (fma.f64 600041/2386628 (pow.f64 x 5) (*.f64 (pow.f64 x 3) 1307076337763/8543989815576))) (neg.f64 (pow.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 216044283025868921/13594216883712345152 (pow.f64 (pow.f64 x -3) 3)) (/.f64 2233072677571813184455900420990053947/623709222799758023272018403410575422976 (pow.f64 (pow.f64 x 5) 3)))) (neg.f64 (+.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)) (-.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10)) (/.f64 784299392787648283/20391325325568517728 (pow.f64 x 8))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6)) (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10)))) (neg.f64 (+.f64 (*.f64 600041/2386628 (pow.f64 x -3)) (*.f64 -1307076337763/8543989815576 (pow.f64 x -5)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 5) (*.f64 (*.f64 (pow.f64 x 3) 2386628/600041) 1307076337763/8543989815576)) (*.f64 (*.f64 (pow.f64 x 3) 2386628/600041) (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 -600041/2386628 (pow.f64 x 5)) (*.f64 (neg.f64 (pow.f64 x 3)) 1307076337763/8543989815576)) (*.f64 (neg.f64 (pow.f64 x 3)) (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 600041/2386628 (*.f64 (pow.f64 x 5) 8543989815576/1307076337763)) (pow.f64 x 3)) (*.f64 (pow.f64 x 3) (*.f64 (pow.f64 x 5) 8543989815576/1307076337763)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (pow.f64 x 5) 8543989815576/1307076337763) (*.f64 (*.f64 (pow.f64 x 3) 2386628/600041) 1)) (*.f64 (*.f64 (pow.f64 x 3) 2386628/600041) (*.f64 (pow.f64 x 5) 8543989815576/1307076337763)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 -600041/2386628 (*.f64 (pow.f64 x 5) 8543989815576/1307076337763)) (*.f64 (neg.f64 (pow.f64 x 3)) 1)) (*.f64 (neg.f64 (pow.f64 x 3)) (*.f64 (pow.f64 x 5) 8543989815576/1307076337763)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 600041/2386628 (neg.f64 (pow.f64 x 5))) (*.f64 (pow.f64 x 3) -1307076337763/8543989815576)) (*.f64 (pow.f64 x 3) (neg.f64 (pow.f64 x 5))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (pow.f64 x 5)) (*.f64 (*.f64 (pow.f64 x 3) 2386628/600041) -1307076337763/8543989815576)) (*.f64 (*.f64 (pow.f64 x 3) 2386628/600041) (neg.f64 (pow.f64 x 5))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 -600041/2386628 (neg.f64 (pow.f64 x 5))) (*.f64 (neg.f64 (pow.f64 x 3)) -1307076337763/8543989815576)) (*.f64 (neg.f64 (pow.f64 x 3)) (neg.f64 (pow.f64 x 5))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 x 3) (*.f64 (*.f64 (pow.f64 x 5) 8543989815576/1307076337763) 600041/2386628)) (*.f64 (*.f64 (pow.f64 x 5) 8543989815576/1307076337763) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 -1307076337763/8543989815576 (pow.f64 x 3)) (*.f64 (neg.f64 (pow.f64 x 5)) 600041/2386628)) (*.f64 (neg.f64 (pow.f64 x 5)) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 1307076337763/8543989815576 (*.f64 (pow.f64 x 3) 2386628/600041)) (pow.f64 x 5)) (*.f64 (pow.f64 x 5) (*.f64 (pow.f64 x 3) 2386628/600041)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (pow.f64 x 3) 2386628/600041) (*.f64 (*.f64 (pow.f64 x 5) 8543989815576/1307076337763) 1)) (*.f64 (*.f64 (pow.f64 x 5) 8543989815576/1307076337763) (*.f64 (pow.f64 x 3) 2386628/600041)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 -1307076337763/8543989815576 (*.f64 (pow.f64 x 3) 2386628/600041)) (*.f64 (neg.f64 (pow.f64 x 5)) 1)) (*.f64 (neg.f64 (pow.f64 x 5)) (*.f64 (pow.f64 x 3) 2386628/600041)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 1307076337763/8543989815576 (neg.f64 (pow.f64 x 3))) (*.f64 (pow.f64 x 5) -600041/2386628)) (*.f64 (pow.f64 x 5) (neg.f64 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (pow.f64 x 3)) (*.f64 (*.f64 (pow.f64 x 5) 8543989815576/1307076337763) -600041/2386628)) (*.f64 (*.f64 (pow.f64 x 5) 8543989815576/1307076337763) (neg.f64 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 -1307076337763/8543989815576 (neg.f64 (pow.f64 x 3))) (*.f64 (neg.f64 (pow.f64 x 5)) -600041/2386628)) (*.f64 (neg.f64 (pow.f64 x 5)) (neg.f64 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10)) (/.f64 360049201681/5695993210384 (pow.f64 x 6))) (-.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5)) (*.f64 600041/2386628 (pow.f64 x -3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (fma.f64 600041/2386628 (pow.f64 x 5) (*.f64 (pow.f64 x 3) 1307076337763/8543989815576)) (pow.f64 x 3)) (pow.f64 x 5))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 600041/2386628 (pow.f64 x -3) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1307076337763/8543989815576 (pow.f64 x -5) (*.f64 600041/2386628 (pow.f64 x -3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 600041/2386628 (pow.f64 x -3)) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1307076337763/8543989815576 (pow.f64 x -5)) (*.f64 600041/2386628 (pow.f64 x -3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (/.f64 360049201681/5695993210384 (pow.f64 x 6))) (/.f64 (cbrt.f64 600041/2386628) x) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (/.f64 1708448552739936059844169/72999761968666410492211776 (pow.f64 x 10))) (cbrt.f64 (*.f64 1307076337763/8543989815576 (pow.f64 x -5))) (*.f64 600041/2386628 (pow.f64 x -3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 600041/2386628) (pow.f64 x 3/2)) (/.f64 (sqrt.f64 600041/2386628) (pow.f64 x 3/2)) (*.f64 1307076337763/8543989815576 (pow.f64 x -5)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 1307076337763/8543989815576) (pow.f64 x 5/2)) (/.f64 (sqrt.f64 1307076337763/8543989815576) (pow.f64 x 5/2)) (*.f64 600041/2386628 (pow.f64 x -3)))))))

simplify28.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

724×	`unswap-sqr_binary64`
503×	`associate-/r*_binary64`
503×	`associate-/l/_binary64`
356×	`times-frac_binary64`
321×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	165
1	36	165
2	67	165
3	120	165
4	268	165
5	855	165
6	3913	165

Stop Event

1×	node limit

Counts

114 → 106

Calls

Call 1

Inputs
(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(/.f64 600041/2386628 (pow.f64 x 3))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(/.f64 600041/2386628 (pow.f64 x 3))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))

Outputs
(/.f64 1307076337763/8543989815576 (pow.f64 x 5))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 600041/2386628 (pow.f64 x 3)))
(/.f64 600041/2386628 (pow.f64 x 3))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 600041/2386628 (pow.f64 x 3)))
(/.f64 600041/2386628 (pow.f64 x 3))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 600041/2386628 (pow.f64 x 3)))
(+.f64 (.f64 1307076337763/8543989815576 (/.f64 1 (pow.f64 x 5))) (.f64 600041/2386628 (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1307076337763/8543989815576 (pow.f64 x 5)) (/.f64 600041/2386628 (pow.f64 x 3)))

prune73.0ms (2.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	106	3	109

Error

Counts

109 → 3

Alt Table

Status

Error

Program

✓

24.3b

(*.f64 x (/.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))

✓

24.3b

(*.f64 x (*.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1)))))))))

✓

35.1b

(+.f64 (/.f64 1/2 x) (+.f64 (/.f64 600041/2386628 (pow.f64 x 3)) (/.f64 1307076337763/8543989815576 (pow.f64 x 5))))

Compiler

Compiled 2371 to 1933 computations (18.5% saved)

regimes157.0ms (5.1%)

Accuracy

Total 0.0b remaining (10.7%)

Threshold costs 0.0b (10.7%)

Counts

53 → 3

Compiler

Compiled 1525 to 921 computations (39.6% saved)

bsearch60.0ms (2%)

Algorithm

2×	binary-search

Calls

2 calls:

43.0ms	x
16.0ms	x

Steps

Iters	Point		Range
680.0	∈ [	2.6261520279200328	,	95817737558.30173	]
-1000.0	∈ [	-1534.1746283950015	,	-0.6064740057818998	]

Compiler

Compiled 2 to 1 computations (50% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	145
1	65	145

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 x -1000) (+.f64 (/.f64 1/2 x) (fma.f64 1307076337763/8543989815576 (pow.f64 x -5) (*.f64 600041/2386628 (pow.f64 x -3)))) (if (<=.f64 x 680) (*.f64 x (*.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))) (+.f64 (/.f64 1/2 x) (fma.f64 1307076337763/8543989815576 (pow.f64 x -5) (*.f64 600041/2386628 (pow.f64 x -3))))))

Outputs

(if (<=.f64 x -1000) (+.f64 (/.f64 1/2 x) (fma.f64 1307076337763/8543989815576 (pow.f64 x -5) (*.f64 600041/2386628 (pow.f64 x -3)))) (if (<=.f64 x 680) (*.f64 x (*.f64 (fma.f64 1789971/10000000000 (pow.f64 (*.f64 x x) 5) (fma.f64 2532017/5000000000 (pow.f64 x 8) (fma.f64 36322091/5000000000 (pow.f64 x 6) (fma.f64 1049934947/10000000000 (*.f64 x x) (fma.f64 106015151/2500000000 (pow.f64 x 4) 1))))) (/.f64 1 (fma.f64 (pow.f64 (*.f64 x x) 5) 1665589/2000000000 (fma.f64 1789971/5000000000 (pow.f64 x 12) (fma.f64 (pow.f64 x 6) 694555761/10000000000 (fma.f64 (pow.f64 x 8) 70002721/5000000000 (fma.f64 x (*.f64 x 7715471019/10000000000) (fma.f64 (pow.f64 x 4) 2909738639/10000000000 1))))))))) (+.f64 (/.f64 1/2 x) (fma.f64 1307076337763/8543989815576 (pow.f64 x -5) (*.f64 600041/2386628 (pow.f64 x -3))))))

end185.0ms (6.1%)

Stop Event

1×

done

Compiler

Compiled 354 to 263 computations (25.7% saved)

Details

analyze8.0ms (0.3%)

sample1.7s (56.1%)

preprocess33.0ms (1.1%)

simplify23.0ms (0.7%)

prune8.0ms (0.3%)

localize34.0ms (1.1%)

series9.0ms (0.3%)

rewrite55.0ms (1.8%)

simplify34.0ms (1.1%)

prune109.0ms (3.6%)

localize33.0ms (1.1%)

series7.0ms (0.2%)

rewrite53.0ms (1.7%)

simplify28.0ms (0.9%)

prune117.0ms (3.8%)

localize31.0ms (1%)

series4.0ms (0.1%)

rewrite48.0ms (1.6%)

simplify35.0ms (1.1%)

prune100.0ms (3.2%)

localize9.0ms (0.3%)

series5.0ms (0.2%)

rewrite58.0ms (1.9%)

simplify28.0ms (0.9%)

prune73.0ms (2.4%)

regimes157.0ms (5.1%)

bsearch60.0ms (2%)

simplify3.0ms (0.1%)

end185.0ms (6.1%)

Profiling