Metrics for Jmat.Real.dawson

analyze2.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
100%	100%	0%	0%	0%	0%	0%	2

Compiler

Compiled 175 to 45 computations (74.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.0ms

...c/correct-round.rkt:104:19: 0.0ms (0% of total)

ival-div: 0.0ms (0% of total)

ival-add: 0.0ms (0% of total)

ival-mult: 0.0ms (0% of total)

const: 0.0ms (0% of total)

sample4.0s (85.6%)

Results

3.3s

8256×

256

valid

Precisions

Click to see histograms. Total time spent on operations: 2.9s

...c/correct-round.rkt:104:19: 1.3s (44.2% of total)

ival-mult: 1.1s (37.2% of total)

ival-add: 466.0ms (15.8% of total)

ival-div: 69.0ms (2.3% of total)

const: 14.0ms (0.5% of total)

Bogosity

preprocess112.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

980×	`fma-define`
621×	`distribute-rgt-out`
469×	`neg-sub0`
458×	`neg-mul-1`
457×	`distribute-neg-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	2924
1	322	1596
2	1174	1024
3	5701	904

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1789971/10000000000 binary64) (.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 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.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 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1789971/10000000000 binary64) (.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 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.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 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 (neg.f64 x) (neg.f64 x)))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 (neg.f64 x) (neg.f64 x)))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x)))))) (neg.f64 x))
(neg.f64 (.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 (neg.f64 x) (neg.f64 x)))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 (neg.f64 x) (neg.f64 x)))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x)))))) (neg.f64 x)))

Outputs
(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1789971/10000000000 binary64) (.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 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.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 (.f64 (+.f64 (.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x))))) (+.f64 (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x)) (.f64 (.f64 #s(literal 106015151/2500000000 binary64) (.f64 x x)) (.f64 x x)))) (+.f64 (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x))))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)))))) x) (+.f64 (.f64 #s(literal 1789971/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)) (.f64 x (.f64 x (.f64 x x))))) (+.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x)))) #s(literal 1665589/2000000000 binary64)) (+.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)) #s(literal 70002721/5000000000 binary64)) (+.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) #s(literal 694555761/10000000000 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 x (.f64 x (*.f64 x x))))))))))
(.f64 x (/.f64 (fma.f64 #s(literal 1789971/10000000000 binary64) (.f64 x (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 #s(literal 2532017/5000000000 binary64) (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (.f64 x x)) (fma.f64 #s(literal 36322091/5000000000 binary64) (pow.f64 (.f64 x x) #s(literal 3 binary64)) (fma.f64 #s(literal 106015151/2500000000 binary64) (.f64 x (pow.f64 x #s(literal 3 binary64))) (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) #s(literal 1 binary64)))))) (fma.f64 #s(literal 1789971/5000000000 binary64) (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 (.f64 x x) #s(literal 3 binary64))) (fma.f64 (.f64 x (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) #s(literal 1665589/2000000000 binary64) (fma.f64 (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (.f64 x x)) #s(literal 70002721/5000000000 binary64) (fma.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) #s(literal 694555761/10000000000 binary64) (fma.f64 #s(literal 2909738639/10000000000 binary64) (.f64 x (pow.f64 x #s(literal 3 binary64))) (fma.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x) #s(literal 1 binary64)))))))))
(/.f64 (.f64 x (+.f64 (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) (fma.f64 #s(literal 106015151/2500000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64))) (fma.f64 #s(literal 36322091/5000000000 binary64) (pow.f64 x #s(literal 6 binary64)) (.f64 (pow.f64 (.f64 x x) #s(literal 4 binary64)) (+.f64 #s(literal 2532017/5000000000 binary64) (.f64 #s(literal 1789971/10000000000 binary64) (.f64 x x))))))) (+.f64 (.f64 (pow.f64 (.f64 x x) #s(literal 4 binary64)) (+.f64 (.f64 #s(literal 1665589/2000000000 binary64) (.f64 x x)) #s(literal 70002721/5000000000 binary64))) (fma.f64 #s(literal 1789971/5000000000 binary64) (pow.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 3 binary64)) (fma.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 694555761/10000000000 binary64) (fma.f64 x (*.f64 x #s(literal 7715471019/10000000000 binary64)) (fma.f64 #s(literal 2909738639/10000000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))))))
(/.f64 (.f64 x (+.f64 (fma.f64 #s(literal 2532017/5000000000 binary64) (pow.f64 x #s(literal 8 binary64)) (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) (fma.f64 #s(literal 106015151/2500000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))) (.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 #s(literal 36322091/5000000000 binary64) (.f64 #s(literal 1789971/10000000000 binary64) (pow.f64 x #s(literal 4 binary64))))))) (fma.f64 #s(literal 1789971/5000000000 binary64) (pow.f64 x #s(literal 12 binary64)) (+.f64 (fma.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 70002721/5000000000 binary64) (fma.f64 x (.f64 x #s(literal 7715471019/10000000000 binary64)) (fma.f64 #s(literal 2909738639/10000000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))) (.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 #s(literal 694555761/10000000000 binary64) (*.f64 #s(literal 1665589/2000000000 binary64) (pow.f64 x #s(literal 4 binary64))))))))
(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1789971/10000000000 binary64) (.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 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.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 (.f64 (+.f64 (.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x))))) (+.f64 (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x)) (.f64 (.f64 #s(literal 106015151/2500000000 binary64) (.f64 x x)) (.f64 x x)))) (+.f64 (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x))))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)))))) x) (+.f64 (.f64 #s(literal 1789971/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)) (.f64 x (.f64 x (.f64 x x))))) (+.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x)))) #s(literal 1665589/2000000000 binary64)) (+.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)) #s(literal 70002721/5000000000 binary64)) (+.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) #s(literal 694555761/10000000000 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 x (.f64 x (*.f64 x x))))))))))
(.f64 x (/.f64 (fma.f64 #s(literal 1789971/10000000000 binary64) (.f64 x (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 #s(literal 2532017/5000000000 binary64) (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (.f64 x x)) (fma.f64 #s(literal 36322091/5000000000 binary64) (pow.f64 (.f64 x x) #s(literal 3 binary64)) (fma.f64 #s(literal 106015151/2500000000 binary64) (.f64 x (pow.f64 x #s(literal 3 binary64))) (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) #s(literal 1 binary64)))))) (fma.f64 #s(literal 1789971/5000000000 binary64) (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 (.f64 x x) #s(literal 3 binary64))) (fma.f64 (.f64 x (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) #s(literal 1665589/2000000000 binary64) (fma.f64 (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (.f64 x x)) #s(literal 70002721/5000000000 binary64) (fma.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) #s(literal 694555761/10000000000 binary64) (fma.f64 #s(literal 2909738639/10000000000 binary64) (.f64 x (pow.f64 x #s(literal 3 binary64))) (fma.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x) #s(literal 1 binary64)))))))))
(/.f64 (.f64 x (+.f64 (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) (fma.f64 #s(literal 106015151/2500000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64))) (fma.f64 #s(literal 36322091/5000000000 binary64) (pow.f64 x #s(literal 6 binary64)) (.f64 (pow.f64 (.f64 x x) #s(literal 4 binary64)) (+.f64 #s(literal 2532017/5000000000 binary64) (.f64 #s(literal 1789971/10000000000 binary64) (.f64 x x))))))) (+.f64 (.f64 (pow.f64 (.f64 x x) #s(literal 4 binary64)) (+.f64 (.f64 #s(literal 1665589/2000000000 binary64) (.f64 x x)) #s(literal 70002721/5000000000 binary64))) (fma.f64 #s(literal 1789971/5000000000 binary64) (pow.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 3 binary64)) (fma.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 694555761/10000000000 binary64) (fma.f64 x (*.f64 x #s(literal 7715471019/10000000000 binary64)) (fma.f64 #s(literal 2909738639/10000000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))))))
(/.f64 (.f64 x (+.f64 (fma.f64 #s(literal 2532017/5000000000 binary64) (pow.f64 x #s(literal 8 binary64)) (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) (fma.f64 #s(literal 106015151/2500000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))) (.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 #s(literal 36322091/5000000000 binary64) (.f64 #s(literal 1789971/10000000000 binary64) (pow.f64 x #s(literal 4 binary64))))))) (fma.f64 #s(literal 1789971/5000000000 binary64) (pow.f64 x #s(literal 12 binary64)) (+.f64 (fma.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 70002721/5000000000 binary64) (fma.f64 x (.f64 x #s(literal 7715471019/10000000000 binary64)) (fma.f64 #s(literal 2909738639/10000000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))) (.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 #s(literal 694555761/10000000000 binary64) (*.f64 #s(literal 1665589/2000000000 binary64) (pow.f64 x #s(literal 4 binary64))))))))
(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 (neg.f64 x) (neg.f64 x)))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 (neg.f64 x) (neg.f64 x)))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x)))))) (neg.f64 x))
(/.f64 (.f64 (+.f64 (.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x))))) (+.f64 (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x)) (.f64 (.f64 #s(literal 106015151/2500000000 binary64) (.f64 x x)) (.f64 x x)))) (+.f64 (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x))))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)))))) (neg.f64 x)) (+.f64 (.f64 #s(literal 1789971/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)) (.f64 x (.f64 x (.f64 x x))))) (+.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x)))) #s(literal 1665589/2000000000 binary64)) (+.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)) #s(literal 70002721/5000000000 binary64)) (+.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) #s(literal 694555761/10000000000 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 x (.f64 x (*.f64 x x))))))))))
(.f64 x (neg.f64 (/.f64 (fma.f64 #s(literal 1789971/10000000000 binary64) (.f64 x (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 #s(literal 2532017/5000000000 binary64) (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (.f64 x x)) (fma.f64 #s(literal 36322091/5000000000 binary64) (pow.f64 (.f64 x x) #s(literal 3 binary64)) (fma.f64 #s(literal 106015151/2500000000 binary64) (.f64 x (pow.f64 x #s(literal 3 binary64))) (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) #s(literal 1 binary64)))))) (fma.f64 #s(literal 1789971/5000000000 binary64) (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 (.f64 x x) #s(literal 3 binary64))) (fma.f64 (.f64 x (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) #s(literal 1665589/2000000000 binary64) (fma.f64 (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (.f64 x x)) #s(literal 70002721/5000000000 binary64) (fma.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) #s(literal 694555761/10000000000 binary64) (fma.f64 #s(literal 2909738639/10000000000 binary64) (.f64 x (pow.f64 x #s(literal 3 binary64))) (fma.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x) #s(literal 1 binary64))))))))))
(.f64 (neg.f64 x) (/.f64 (+.f64 (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) (fma.f64 #s(literal 106015151/2500000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64))) (fma.f64 #s(literal 36322091/5000000000 binary64) (pow.f64 x #s(literal 6 binary64)) (.f64 (pow.f64 (.f64 x x) #s(literal 4 binary64)) (+.f64 #s(literal 2532017/5000000000 binary64) (.f64 #s(literal 1789971/10000000000 binary64) (.f64 x x)))))) (+.f64 (.f64 (pow.f64 (.f64 x x) #s(literal 4 binary64)) (+.f64 (.f64 #s(literal 1665589/2000000000 binary64) (.f64 x x)) #s(literal 70002721/5000000000 binary64))) (fma.f64 #s(literal 1789971/5000000000 binary64) (pow.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 3 binary64)) (fma.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 694555761/10000000000 binary64) (fma.f64 x (*.f64 x #s(literal 7715471019/10000000000 binary64)) (fma.f64 #s(literal 2909738639/10000000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64))))))))
(.f64 (neg.f64 x) (/.f64 (+.f64 (fma.f64 #s(literal 2532017/5000000000 binary64) (pow.f64 x #s(literal 8 binary64)) (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) (fma.f64 #s(literal 106015151/2500000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))) (.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 #s(literal 36322091/5000000000 binary64) (.f64 #s(literal 1789971/10000000000 binary64) (pow.f64 x #s(literal 4 binary64)))))) (fma.f64 #s(literal 1789971/5000000000 binary64) (pow.f64 x #s(literal 12 binary64)) (+.f64 (fma.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 70002721/5000000000 binary64) (fma.f64 x (.f64 x #s(literal 7715471019/10000000000 binary64)) (fma.f64 #s(literal 2909738639/10000000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))) (.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 #s(literal 694555761/10000000000 binary64) (*.f64 #s(literal 1665589/2000000000 binary64) (pow.f64 x #s(literal 4 binary64)))))))))
(neg.f64 (.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 (neg.f64 x) (neg.f64 x)))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 (neg.f64 x) (neg.f64 x)))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (neg.f64 x) (neg.f64 x)) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x))) (.f64 (neg.f64 x) (neg.f64 x)))))) (neg.f64 x)))
(/.f64 (.f64 (+.f64 (.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x))))) (+.f64 (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x)) (.f64 (.f64 #s(literal 106015151/2500000000 binary64) (.f64 x x)) (.f64 x x)))) (+.f64 (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x))))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)))))) x) (+.f64 (.f64 #s(literal 1789971/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)) (.f64 x (.f64 x (.f64 x x))))) (+.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x (.f64 x (.f64 x x)))) #s(literal 1665589/2000000000 binary64)) (+.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) (.f64 x x)) #s(literal 70002721/5000000000 binary64)) (+.f64 (.f64 (.f64 (.f64 x x) (.f64 x (.f64 x (.f64 x x)))) #s(literal 694555761/10000000000 binary64)) (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 x (.f64 x (*.f64 x x))))))))))
(.f64 x (/.f64 (fma.f64 #s(literal 1789971/10000000000 binary64) (.f64 x (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 #s(literal 2532017/5000000000 binary64) (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (.f64 x x)) (fma.f64 #s(literal 36322091/5000000000 binary64) (pow.f64 (.f64 x x) #s(literal 3 binary64)) (fma.f64 #s(literal 106015151/2500000000 binary64) (.f64 x (pow.f64 x #s(literal 3 binary64))) (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) #s(literal 1 binary64)))))) (fma.f64 #s(literal 1789971/5000000000 binary64) (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 (.f64 x x) #s(literal 3 binary64))) (fma.f64 (.f64 x (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) #s(literal 1665589/2000000000 binary64) (fma.f64 (.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) (.f64 x x)) #s(literal 70002721/5000000000 binary64) (fma.f64 (pow.f64 (.f64 x x) #s(literal 3 binary64)) #s(literal 694555761/10000000000 binary64) (fma.f64 #s(literal 2909738639/10000000000 binary64) (.f64 x (pow.f64 x #s(literal 3 binary64))) (fma.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x) #s(literal 1 binary64)))))))))
(/.f64 (.f64 x (+.f64 (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) (fma.f64 #s(literal 106015151/2500000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64))) (fma.f64 #s(literal 36322091/5000000000 binary64) (pow.f64 x #s(literal 6 binary64)) (.f64 (pow.f64 (.f64 x x) #s(literal 4 binary64)) (+.f64 #s(literal 2532017/5000000000 binary64) (.f64 #s(literal 1789971/10000000000 binary64) (.f64 x x))))))) (+.f64 (.f64 (pow.f64 (.f64 x x) #s(literal 4 binary64)) (+.f64 (.f64 #s(literal 1665589/2000000000 binary64) (.f64 x x)) #s(literal 70002721/5000000000 binary64))) (fma.f64 #s(literal 1789971/5000000000 binary64) (pow.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 3 binary64)) (fma.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 694555761/10000000000 binary64) (fma.f64 x (*.f64 x #s(literal 7715471019/10000000000 binary64)) (fma.f64 #s(literal 2909738639/10000000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))))))
(/.f64 (.f64 x (+.f64 (fma.f64 #s(literal 2532017/5000000000 binary64) (pow.f64 x #s(literal 8 binary64)) (fma.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x) (fma.f64 #s(literal 106015151/2500000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))) (.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 #s(literal 36322091/5000000000 binary64) (.f64 #s(literal 1789971/10000000000 binary64) (pow.f64 x #s(literal 4 binary64))))))) (fma.f64 #s(literal 1789971/5000000000 binary64) (pow.f64 x #s(literal 12 binary64)) (+.f64 (fma.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 70002721/5000000000 binary64) (fma.f64 x (.f64 x #s(literal 7715471019/10000000000 binary64)) (fma.f64 #s(literal 2909738639/10000000000 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))) (.f64 (pow.f64 x #s(literal 6 binary64)) (+.f64 #s(literal 694555761/10000000000 binary64) (*.f64 #s(literal 1665589/2000000000 binary64) (pow.f64 x #s(literal 4 binary64))))))))

Symmetry

(negabs x)

explain506.0ms (11%)

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
126	-	0	-	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1789971/10000000000 binary64) (.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 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))))
65	-	4	(6.713006126743832e+155)	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1789971/10000000000 binary64) (.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 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.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	-	0	-	`(.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))`
1	-	0	-	`(.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))`
0	-	0	-	`x`
0	-	0	-	`(.f64 (.f64 (.f64 x x) (.f64 x x)) (*.f64 x x))`
0	-	0	-	`(*.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64))`
0	-	0	-	`(.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))`
0	-	0	-	`(.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))`
0	-	0	-	`(+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x))))`
0	-	0	-	`(.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))`
0	-	0	-	`#s(literal 1665589/2000000000 binary64)`
0	-	0	-	`(*.f64 x x)`
0	-	0	-	`#s(literal 36322091/5000000000 binary64)`
0	-	0	-	`(+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x))))`
0	-	0	-	`#s(literal 106015151/2500000000 binary64)`
0	-	0	-	`(+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x)))`
0	-	0	-	`(+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x))))`
0	-	0	-	`(.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x))`
0	-	0	-	`(.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))`
0	-	0	-	`(+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x))))`
0	-	0	-	`#s(literal 2909738639/10000000000 binary64)`
0	-	0	-	`(.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x)))`
0	-	0	-	`(+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x)))`
0	-	0	-	`#s(literal 694555761/10000000000 binary64)`
0	-	0	-	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x))))
0	-	0	-	`#s(literal 1789971/10000000000 binary64)`
0	-	0	-	`(.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (*.f64 x x))`
0	-	0	-	`(.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`#s(literal 7715471019/10000000000 binary64)`
0	-	0	-	`(+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x))))`
0	-	0	-	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))
0	-	0	-	`(.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))`
0	-	0	-	`(.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))`
0	-	0	-	`(.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))`
0	-	0	-	`(+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x))))`
0	-	0	-	`#s(literal 2532017/5000000000 binary64)`
0	-	0	-	`(.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))`
0	-	0	-	`#s(literal 70002721/5000000000 binary64)`
0	-	0	-	`#s(literal 1049934947/10000000000 binary64)`
0	-	0	-	`#s(literal 1 binary64)`
0	-	0	-	(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1789971/10000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x))))
0	-	0	-	`(.f64 (.f64 x x) (*.f64 x x))`

Results

258.0ms

512×

256

valid

Compiler

Compiled 2266 to 134 computations (94.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 178.0ms

...c/correct-round.rkt:104:19: 76.0ms (42.6% of total)

ival-mult: 71.0ms (39.8% of total)

ival-add: 26.0ms (14.6% of total)

ival-div: 4.0ms (2.2% of total)

const: 1.0ms (0.6% of total)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	50.8%	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (.f64 #s(literal 1049934947/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 106015151/2500000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 36322091/5000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 2532017/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1789971/10000000000 binary64) (.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 #s(literal 1 binary64) (.f64 #s(literal 7715471019/10000000000 binary64) (.f64 x x))) (.f64 #s(literal 2909738639/10000000000 binary64) (.f64 (.f64 x x) (.f64 x x)))) (.f64 #s(literal 694555761/10000000000 binary64) (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 70002721/5000000000 binary64) (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 #s(literal 1665589/2000000000 binary64) (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 (.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (.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

Accuracy

Program

50.8%

(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1049934947/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 106015151/2500000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 36322091/5000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 2532017/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1789971/10000000000 binary64) (*.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 #s(literal 1 binary64) (*.f64 #s(literal 7715471019/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 2909738639/10000000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 694555761/10000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 70002721/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1665589/2000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (*.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 348 to 88 computations (74.7% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative`
11×	`+-commutative`
3×	`1-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	730
1	82	730

Stop Event

1×

saturated

Calls

Call 1

Inputs

(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1049934947/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 106015151/2500000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 36322091/5000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 2532017/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1789971/10000000000 binary64) (*.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 #s(literal 1 binary64) (*.f64 #s(literal 7715471019/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 2909738639/10000000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 694555761/10000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 70002721/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1665589/2000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (*.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 #s(literal 1 binary64) (*.f64 #s(literal 1049934947/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 106015151/2500000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 36322091/5000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 2532017/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1789971/10000000000 binary64) (*.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 #s(literal 1 binary64) (*.f64 #s(literal 7715471019/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 2909738639/10000000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 694555761/10000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 70002721/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1665589/2000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (*.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 (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1049934947/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 106015151/2500000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 36322091/5000000000 binary64) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 x x))))) (*.f64 #s(literal 2532017/5000000000 binary64) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 x x)))))) (*.f64 #s(literal 1789971/10000000000 binary64) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 x x))))))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 (*.f64 x x) #s(literal 7715471019/10000000000 binary64))) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) #s(literal 2909738639/10000000000 binary64))) (*.f64 (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 x x))) #s(literal 694555761/10000000000 binary64))) (*.f64 (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 x x)))) #s(literal 70002721/5000000000 binary64))) (*.f64 (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 x x))))) #s(literal 1665589/2000000000 binary64))) (*.f64 #s(literal 1789971/5000000000 binary64) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) (*.f64 x x))))))))))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 172 to 43 computations (75% saved)

preprocess31.0ms (0.7%)

Remove: (negabs x)
Compiler: Compiled 1380 to 346 computations (74.9% saved)

Jmat.Real.dawson

analyze2.0ms (0%)

sample4.0s (85.6%)

preprocess112.0ms (2.4%)

explain506.0ms (11%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify9.0ms (0.2%)

soundness1.0ms (0%)

preprocess31.0ms (0.7%)

end0.0ms (0%)

Profiling