Metrics for Toniolo and Linder, Equation (7)

analyze261.0ms (3.6%)

Memory

3.0MiB live, 113.2MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
0%	0%	99.9%	0.1%	0%	0%	0%	7
0%	0%	74.9%	0.1%	0%	25%	0%	8
4.2%	3.1%	71.8%	0.1%	0%	25%	0%	9
6.3%	4.7%	70.2%	0.1%	0%	25%	0%	10
11.3%	7%	55.4%	0.1%	0%	37.4%	0%	11
16.9%	10.5%	51.9%	0.1%	0%	37.4%	0%	12

Compiler

Compiled 60 to 39 computations (35% saved)

sample6.8s (94.3%)

Memory

22.3MiB live, 2 399.6MiB allocated

Samples

813.0ms	2 220×	1	valid-baseline
585.0ms	5 322×	0	valid-baseline
540.0ms	5 322×	0	valid-rival
403.0ms	2 220×	1	valid-rival
374.0ms	712×	2	valid-baseline
354.0ms	5 322×	0	valid-sollya
259.0ms	2 220×	1	valid-sollya
187.0ms	712×	2	valid-rival
125.0ms	712×	2	valid-sollya

Precisions

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

ival-mult: 504.0ms (37.1% of total)

ival-sqrt: 224.0ms (16.5% of total)

ival-div: 189.0ms (13.9% of total)

ival-add: 159.0ms (11.7% of total)

ival-sub: 157.0ms (11.5% of total)

adjust: 100.0ms (7.4% of total)

ival-true: 11.0ms (0.8% of total)

...in/eval/compile.rkt:110:19: 10.0ms (0.7% of total)

ival-assert: 5.0ms (0.4% of total)

Precisions

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

ival-mult: 756.0ms (39.4% of total)

ival-sqrt: 363.0ms (18.9% of total)

ival-div: 275.0ms (14.3% of total)

ival-add: 251.0ms (13.1% of total)

ival-sub: 235.0ms (12.3% of total)

const: 38.0ms (2% of total)

Bogosity

preprocess117.0ms (1.6%)

Memory

9.4MiB live, 25.0MiB allocated

Algorithm

1×	egg-herbie

Rules

502×	`distribute-lft-in`
493×	`fmm-def`
435×	`distribute-rgt-in`
310×	`div-sub`
309×	`distribute-lft-neg-out`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	78	1172
1	256	1160
2	740	1156
3	2566	1156
4	7827	1156

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 l l))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 l l))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 (neg.f64 x) #s(literal 1 binary64)) (-.f64 (neg.f64 x) #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 l l))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 (neg.f64 l) (neg.f64 l)) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 (neg.f64 l) (neg.f64 l)))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (neg.f64 t)) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 t) (neg.f64 t))))) (.f64 l l))))
(neg.f64 (/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 (neg.f64 x) #s(literal 1 binary64)) (-.f64 (neg.f64 x) #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 l l)))))
(neg.f64 (/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 (neg.f64 l) (neg.f64 l)) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 (neg.f64 l) (neg.f64 l))))))
(neg.f64 (/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (neg.f64 t)) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 t) (neg.f64 t))))) (.f64 l l)))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 l #s(literal 1 binary64)) (-.f64 l #s(literal 1 binary64))) (+.f64 (.f64 x x) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 x x))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 t #s(literal 1 binary64)) (-.f64 t #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 x x)))) (.f64 l l))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) l) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 t t) (.f64 #s(literal 2 binary64) (.f64 l l)))) (.f64 t t))))

Outputs
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 l l))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 l l (.f64 #s(literal 2 binary64) (.f64 t t)))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (neg.f64 (.f64 l l))))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (.f64 l (neg.f64 l))))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 l l))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 l l (.f64 #s(literal 2 binary64) (.f64 t t)))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (neg.f64 (.f64 l l))))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (.f64 l (neg.f64 l))))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 (neg.f64 x) #s(literal 1 binary64)) (-.f64 (neg.f64 x) #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 l l))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (fma.f64 (/.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x)) (+.f64 (neg.f64 x) #s(literal -1 binary64))) (fma.f64 l l (.f64 #s(literal 2 binary64) (.f64 t t))) (neg.f64 (.f64 l l)))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (/.f64 (-.f64 #s(literal 1 binary64) x) (fma.f64 #s(literal -1 binary64) x #s(literal -1 binary64)))) (*.f64 l l))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (/.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal -1 binary64) x)) (neg.f64 (.f64 l l))))))
(.f64 t (/.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (/.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal -1 binary64) x)) (.f64 l (neg.f64 l))))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (/.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal -1 binary64) x)) (.f64 l (neg.f64 l))))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 (neg.f64 l) (neg.f64 l)) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 (neg.f64 l) (neg.f64 l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 l l (.f64 #s(literal 2 binary64) (.f64 t t)))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (neg.f64 (.f64 l l))))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (.f64 l (neg.f64 l))))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (neg.f64 t)) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 t) (neg.f64 t))))) (.f64 l l))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 (neg.f64 t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 l l (.f64 #s(literal 2 binary64) (.f64 t t)))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 (neg.f64 t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 (neg.f64 t) (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (neg.f64 (.f64 l l))))))
(.f64 t (/.f64 (neg.f64 (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l))) (*.f64 l l)))))
(.f64 t (/.f64 (sqrt.f64 #s(literal 2 binary64)) (neg.f64 (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (.f64 l (neg.f64 l)))))))
(neg.f64 (/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 (neg.f64 x) #s(literal 1 binary64)) (-.f64 (neg.f64 x) #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 l l)))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (neg.f64 (sqrt.f64 (fma.f64 (/.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x)) (+.f64 (neg.f64 x) #s(literal -1 binary64))) (fma.f64 l l (.f64 #s(literal 2 binary64) (.f64 t t))) (neg.f64 (.f64 l l))))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (neg.f64 t)) (sqrt.f64 (-.f64 (.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (/.f64 (-.f64 #s(literal 1 binary64) x) (fma.f64 #s(literal -1 binary64) x #s(literal -1 binary64)))) (*.f64 l l))))
(.f64 t (/.f64 (neg.f64 (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (/.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal -1 binary64) x)) (neg.f64 (.f64 l l))))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 (neg.f64 t) (sqrt.f64 (fma.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (/.f64 (-.f64 #s(literal 1 binary64) x) (-.f64 #s(literal -1 binary64) x)) (.f64 l (neg.f64 l))))))
(neg.f64 (/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 (neg.f64 l) (neg.f64 l)) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 (neg.f64 l) (neg.f64 l))))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 (neg.f64 t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 l l (.f64 #s(literal 2 binary64) (.f64 t t)))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 (neg.f64 t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 (neg.f64 t) (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (neg.f64 (.f64 l l))))))
(.f64 t (/.f64 (neg.f64 (sqrt.f64 #s(literal 2 binary64))) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l))) (*.f64 l l)))))
(.f64 t (/.f64 (sqrt.f64 #s(literal 2 binary64)) (neg.f64 (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (.f64 l (neg.f64 l)))))))
(neg.f64 (/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) (neg.f64 t)) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 t) (neg.f64 t))))) (.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 l l (.f64 #s(literal 2 binary64) (.f64 t t)))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l))) (*.f64 l l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (neg.f64 (.f64 l l))))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 l l)) (+.f64 x #s(literal -1 binary64))) (.f64 l (neg.f64 l))))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 l #s(literal 1 binary64)) (-.f64 l #s(literal 1 binary64))) (+.f64 (.f64 x x) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 x x))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 #s(literal 1 binary64) l) (+.f64 l #s(literal -1 binary64))) (fma.f64 x x (.f64 #s(literal 2 binary64) (.f64 t t)))) (*.f64 x x)))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (/.f64 (.f64 (+.f64 #s(literal 1 binary64) l) (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 x x))) (+.f64 l #s(literal -1 binary64))) (*.f64 x x))))
(.f64 t (/.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (fma.f64 (+.f64 #s(literal 1 binary64) l) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 x x)) (+.f64 l #s(literal -1 binary64))) (neg.f64 (.f64 x x))))))
(.f64 t (/.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (fma.f64 (+.f64 #s(literal 1 binary64) l) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 x x)) (+.f64 l #s(literal -1 binary64))) (.f64 x (neg.f64 x))))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 t (sqrt.f64 (fma.f64 (+.f64 #s(literal 1 binary64) l) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 t t) (.f64 x x)) (+.f64 l #s(literal -1 binary64))) (.f64 x (neg.f64 x))))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 t #s(literal 1 binary64)) (-.f64 t #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 x x)))) (.f64 l l))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (sqrt.f64 (fma.f64 (/.f64 (+.f64 t #s(literal 1 binary64)) (+.f64 t #s(literal -1 binary64))) (fma.f64 l l (.f64 #s(literal 2 binary64) (.f64 x x))) (neg.f64 (.f64 l l)))))
(.f64 x (/.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (-.f64 (/.f64 (.f64 (+.f64 t #s(literal 1 binary64)) (fma.f64 #s(literal 2 binary64) (.f64 x x) (.f64 l l))) (+.f64 t #s(literal -1 binary64))) (*.f64 l l)))))
(.f64 x (/.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (fma.f64 (/.f64 (+.f64 t #s(literal 1 binary64)) (+.f64 t #s(literal -1 binary64))) (fma.f64 #s(literal 2 binary64) (.f64 x x) (.f64 l l)) (neg.f64 (.f64 l l))))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) x) (sqrt.f64 (fma.f64 (+.f64 t #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 x x) (.f64 l l)) (+.f64 t #s(literal -1 binary64))) (.f64 l (neg.f64 l)))))
(.f64 (sqrt.f64 #s(literal 2 binary64)) (/.f64 x (sqrt.f64 (fma.f64 (+.f64 t #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 x x) (.f64 l l)) (+.f64 t #s(literal -1 binary64))) (.f64 l (neg.f64 l))))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) l) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 t t) (.f64 #s(literal 2 binary64) (.f64 l l)))) (.f64 t t))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) l) (sqrt.f64 (fma.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (fma.f64 t t (.f64 #s(literal 2 binary64) (.f64 l l))) (neg.f64 (.f64 t t)))))
(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) l) (sqrt.f64 (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 l l) (.f64 t t)) (+.f64 x #s(literal -1 binary64)))) (*.f64 t t))))
(.f64 l (/.f64 (sqrt.f64 #s(literal 2 binary64)) (sqrt.f64 (-.f64 (.f64 (+.f64 x #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) (.f64 l l) (.f64 t t)) (+.f64 x #s(literal -1 binary64)))) (*.f64 t t)))))

Symmetry

(abs l)

(negabs t)

Compiler

Compiled 30 to 18 computations (40% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	31.7%	(/.f64 (.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (.f64 l l) (.f64 #s(literal 2 binary64) (.f64 t t)))) (.f64 l l))))

Status

Accuracy

Program

31.7%

(/.f64 (*.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (*.f64 l l) (*.f64 #s(literal 2 binary64) (*.f64 t t)))) (*.f64 l l))))

Compiler

Compiled 60 to 36 computations (40% saved)

simplify3.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Rules

8×	`unsub-neg`
8×	`neg-mul-1`
7×	`+-commutative`
6×	`*-commutative`
5×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	108
1	42	108
2	52	108
3	61	108
4	74	108
5	91	108

Stop Event

1×

saturated

Calls

Call 1

Inputs

(/.f64 (*.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (*.f64 l l) (*.f64 #s(literal 2 binary64) (*.f64 t t)))) (*.f64 l l))))

Outputs

(/.f64 (*.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (-.f64 x #s(literal 1 binary64))) (+.f64 (*.f64 l l) (*.f64 #s(literal 2 binary64) (*.f64 t t)))) (*.f64 l l))))

(/.f64 (*.f64 (sqrt.f64 #s(literal 2 binary64)) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x #s(literal 1 binary64)) (+.f64 x #s(literal -1 binary64))) (+.f64 (*.f64 l l) (*.f64 #s(literal 2 binary64) (*.f64 t t)))) (*.f64 l l))))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 30 to 19 computations (36.7% saved)

preprocess25.0ms (0.4%)

Memory

-5.5MiB live, 27.4MiB allocated

Remove

(negabs t)

(abs l)

Compiler

Compiled 360 to 226 computations (37.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze261.0ms (3.6%)

sample6.8s (94.3%)

preprocess117.0ms (1.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0%)

soundness0.0ms (0%)

preprocess25.0ms (0.4%)

end0.0ms (0%)

Profiling