Details

Time bar (total: 9.2s)

analyze528.0ms (5.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%74.9%25.1%6
0%56.1%43.9%7
0%42.1%57.9%8
0.4%31.2%68.4%9
0.6%25.7%73.7%10
0.9%21.1%78.1%11
1.3%17%81.7%12
2%13.3%84.8%13
2.3%11.4%86.3%14
Compiler

Compiled 36 to 28 computations (22.2% saved)

sample6.9s (75.2%)

Results
2.7s4566×body512valid
2.2s9936×body128invalid
1.4s1766×body1024valid
437.0ms1062×body256valid
182.0ms862×body128valid

preprocess43.0ms (0.5%)

Algorithm
2×egg-herbie
Rules
770×sub-neg_binary64
524×fma-neg_binary64
396×associate-+l+_binary64
382×fma-def_binary64
378×distribute-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
042350
1141350
2539350
32848350
44688350
044
144
Stop Event
1×unsound
1×node limit
Calls
Call 1
Inputs
0
1
2
3
Outputs
0
1
0
2
0
3
0
Call 2
Inputs
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)) (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
Outputs
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (sqrt.f64 (+.f64 1 y)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 (+.f64 1 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z))))))
(+.f64 (sqrt.f64 (+.f64 1 z)) (+.f64 (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1 y))))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)) (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (sqrt.f64 (+.f64 1 y)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 (+.f64 1 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z))))))
(+.f64 (sqrt.f64 (+.f64 1 z)) (+.f64 (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1 y))))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (sqrt.f64 (+.f64 1 y)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 (+.f64 1 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z))))))
(+.f64 (sqrt.f64 (+.f64 1 z)) (+.f64 (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1 y))))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
(+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (sqrt.f64 (+.f64 1 y)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 (+.f64 1 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z))))))
(+.f64 (sqrt.f64 (+.f64 1 z)) (+.f64 (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1 y))))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (sqrt.f64 (+.f64 1 y)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 (+.f64 1 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z))))))
(+.f64 (sqrt.f64 (+.f64 1 z)) (+.f64 (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1 y))))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
(+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (sqrt.f64 (+.f64 1 y)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 (+.f64 1 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z))))))
(+.f64 (sqrt.f64 (+.f64 1 z)) (+.f64 (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1 y))))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
(+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (sqrt.f64 (+.f64 1 y)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (+.f64 (sqrt.f64 (+.f64 1 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z))))))
(+.f64 (sqrt.f64 (+.f64 1 z)) (+.f64 (-.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (sqrt.f64 z)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 y) (sqrt.f64 (+.f64 1 y))))))
Symmetry

(sort x y z t)

Compiler

Compiled 35 to 27 computations (22.9% saved)

simplify28.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
531×associate-+r-_binary64
502×associate-+l-_binary64
451×associate--r+_binary64
355×associate--r-_binary64
345×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02550
15450
216850
397550
4490250
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
Outputs
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (+.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))) (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z))))
(+.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (+.f64 (sqrt.f64 y) (-.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 y))) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))

eval1.0ms (0%)

Compiler

Compiled 66 to 46 computations (30.3% saved)

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
4.0b
Counts
3 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
▶4.0b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
5.2b
(+.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (+.f64 (sqrt.f64 y) (-.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 y))) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))
Compiler

Compiled 140 to 108 computations (22.9% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓1.5b
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
✓2.6b
(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
✓2.7b
(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
✓4.6b
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

series12.0ms (0.1%)

Counts
4 → 4
Calls

12 calls:

TimeVariablePointExpression
2.0ms
z
@inf
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
1.0ms
y
@inf
(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
1.0ms
t
@inf
(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
1.0ms
x
@inf
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
1.0ms
z
@-inf
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite45.0ms (0.5%)

Algorithm
1×batch-egg-rewrite
Rules
264×add-sqr-sqrt_binary64
261×*-un-lft-identity_binary64
261×pow1_binary64
243×add-cbrt-cube_binary64
243×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02244
150444
Stop Event
1×node limit
Counts
4 → 96
Calls
Call 1
Inputs
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 z 1)) (neg.f64 (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 z))) (sqrt.f64 (sqrt.f64 z)) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 (+.f64 z 1)) (neg.f64 (*.f64 (sqrt.f64 z) 1))) (fma.f64 (neg.f64 (sqrt.f64 z)) 1 (*.f64 (sqrt.f64 z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 z 1))) (cbrt.f64 (sqrt.f64 (+.f64 z 1)))) (cbrt.f64 (sqrt.f64 (+.f64 z 1))) (neg.f64 (*.f64 (sqrt.f64 z) 1))) (fma.f64 (neg.f64 (sqrt.f64 z)) 1 (*.f64 (sqrt.f64 z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 z 1))) (sqrt.f64 (sqrt.f64 (+.f64 z 1))) (neg.f64 (*.f64 (sqrt.f64 z) 1))) (fma.f64 (neg.f64 (sqrt.f64 z)) 1 (*.f64 (sqrt.f64 z) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 (+.f64 z 1)) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 z)) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 z 1))) (cbrt.f64 (sqrt.f64 (+.f64 z 1)))) (cbrt.f64 (sqrt.f64 (+.f64 z 1))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 z)) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 z 1))) (sqrt.f64 (sqrt.f64 (+.f64 z 1))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 z)) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))) (*.f64 (cbrt.f64 (sqrt.f64 z)) (*.f64 (cbrt.f64 (sqrt.f64 z)) (cbrt.f64 (sqrt.f64 z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 z 1)) 3) (pow.f64 (sqrt.f64 z) 3)) (+.f64 (+.f64 z 1) (+.f64 z (*.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (exp.f64 (sqrt.f64 (+.f64 z 1))) (exp.f64 (sqrt.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (sqrt.f64 (+.f64 z 1)) (neg.f64 (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 z 1))) (cbrt.f64 (sqrt.f64 (+.f64 z 1)))) (cbrt.f64 (sqrt.f64 (+.f64 z 1))) (neg.f64 (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 z 1))) (sqrt.f64 (sqrt.f64 (+.f64 z 1))) (neg.f64 (sqrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 1 y)) (neg.f64 (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 y))) (sqrt.f64 (sqrt.f64 y)) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 y)) (neg.f64 (*.f64 (sqrt.f64 y) 1))) (fma.f64 (neg.f64 (sqrt.f64 y)) 1 (*.f64 (sqrt.f64 y) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (cbrt.f64 (sqrt.f64 (+.f64 1 y)))) (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (*.f64 (sqrt.f64 y) 1))) (fma.f64 (neg.f64 (sqrt.f64 y)) 1 (*.f64 (sqrt.f64 y) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (*.f64 (sqrt.f64 y) 1))) (fma.f64 (neg.f64 (sqrt.f64 y)) 1 (*.f64 (sqrt.f64 y) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 y)) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (cbrt.f64 (sqrt.f64 (+.f64 1 y)))) (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 1 y)) 3) (pow.f64 (sqrt.f64 y) 3)) (+.f64 (+.f64 1 y) (+.f64 y (*.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (exp.f64 (sqrt.f64 (+.f64 1 y))) (exp.f64 (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (sqrt.f64 (+.f64 1 y)) (neg.f64 (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (cbrt.f64 (sqrt.f64 (+.f64 1 y)))) (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (sqrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 1 t)) (neg.f64 (sqrt.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 t))) (sqrt.f64 (sqrt.f64 t)) (sqrt.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 t)) (neg.f64 (*.f64 (sqrt.f64 t) 1))) (fma.f64 (neg.f64 (sqrt.f64 t)) 1 (*.f64 (sqrt.f64 t) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 t))) (cbrt.f64 (sqrt.f64 (+.f64 1 t)))) (cbrt.f64 (sqrt.f64 (+.f64 1 t))) (neg.f64 (*.f64 (sqrt.f64 t) 1))) (fma.f64 (neg.f64 (sqrt.f64 t)) 1 (*.f64 (sqrt.f64 t) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (sqrt.f64 (+.f64 1 t))) (neg.f64 (*.f64 (sqrt.f64 t) 1))) (fma.f64 (neg.f64 (sqrt.f64 t)) 1 (*.f64 (sqrt.f64 t) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 t)) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 t)) (*.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 (sqrt.f64 t)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 t))) (*.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 (sqrt.f64 t))) (*.f64 (cbrt.f64 (sqrt.f64 t)) (*.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 (sqrt.f64 t))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 t))) (cbrt.f64 (sqrt.f64 (+.f64 1 t)))) (cbrt.f64 (sqrt.f64 (+.f64 1 t))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 t)) (*.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 (sqrt.f64 t)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 t))) (*.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 (sqrt.f64 t))) (*.f64 (cbrt.f64 (sqrt.f64 t)) (*.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 (sqrt.f64 t))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (sqrt.f64 (+.f64 1 t))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 t)) (*.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 (sqrt.f64 t)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 t))) (*.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 (sqrt.f64 t))) (*.f64 (cbrt.f64 (sqrt.f64 t)) (*.f64 (cbrt.f64 (sqrt.f64 t)) (cbrt.f64 (sqrt.f64 t))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 1 t)) 3) (pow.f64 (sqrt.f64 t) 3)) (+.f64 (+.f64 1 t) (+.f64 t (*.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (exp.f64 (sqrt.f64 (+.f64 1 t))) (exp.f64 (sqrt.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (sqrt.f64 (+.f64 1 t)) (neg.f64 (sqrt.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 t))) (cbrt.f64 (sqrt.f64 (+.f64 1 t)))) (cbrt.f64 (sqrt.f64 (+.f64 1 t))) (neg.f64 (sqrt.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 t))) (sqrt.f64 (sqrt.f64 (+.f64 1 t))) (neg.f64 (sqrt.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 1 x)) (neg.f64 (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 x)) (neg.f64 (*.f64 (sqrt.f64 x) 1))) (fma.f64 (neg.f64 (sqrt.f64 x)) 1 (*.f64 (sqrt.f64 x) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) (cbrt.f64 (sqrt.f64 (+.f64 1 x)))) (cbrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (*.f64 (sqrt.f64 x) 1))) (fma.f64 (neg.f64 (sqrt.f64 x)) 1 (*.f64 (sqrt.f64 x) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (*.f64 (sqrt.f64 x) 1))) (fma.f64 (neg.f64 (sqrt.f64 x)) 1 (*.f64 (sqrt.f64 x) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (sqrt.f64 (+.f64 1 x)) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 x)) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) (cbrt.f64 (sqrt.f64 (+.f64 1 x)))) (cbrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 x)) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 x)) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (*.f64 (cbrt.f64 (sqrt.f64 x)) (*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 1 x)) 3) (pow.f64 (sqrt.f64 x) 3)) (+.f64 (+.f64 1 x) (+.f64 x (*.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (exp.f64 (sqrt.f64 (+.f64 1 x))) (exp.f64 (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (sqrt.f64 (+.f64 1 x)) (neg.f64 (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 x))) (cbrt.f64 (sqrt.f64 (+.f64 1 x)))) (cbrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))))))

simplify13.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
014
144
Stop Event
1×saturated
Counts
100 → 97
Calls
Call 1
Inputs
1
1
1
1
Outputs
1
1
1
1

eval68.0ms (0.7%)

Compiler

Compiled 4213 to 2460 computations (41.6% saved)

prune225.0ms (2.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New851297
Fresh011
Picked101
Done000
Total861399
Error
2.9b
Counts
99 → 13
Alt Table
Click to see full alt table
StatusErrorProgram
4.0b
(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
17.5b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (log.f64 (/.f64 (exp.f64 (sqrt.f64 (+.f64 1 y))) (exp.f64 (sqrt.f64 y))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.8b
(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.8b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.8b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
▶3.7b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
5.2b
(+.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (+.f64 (sqrt.f64 y) (-.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 y))) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))
4.1b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (cbrt.f64 (sqrt.f64 (+.f64 1 y)))) (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
35.0b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) 1) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.0b
(+.f64 (+.f64 (+.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.1b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (*.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.0b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
4.0b
(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
Compiler

Compiled 1156 to 838 computations (27.5% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
1.5b
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
✓1.9b
(-.f64 (+.f64 1 y) y)
2.6b
(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.6b
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

series1.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
0.0ms
y
@0
(-.f64 (+.f64 1 y) y)
0.0ms
y
@-inf
(-.f64 (+.f64 1 y) y)
0.0ms
y
@inf
(-.f64 (+.f64 1 y) y)

rewrite30.0ms (0.3%)

Algorithm
1×batch-egg-rewrite
Rules
570×pow1_binary64
537×log1p-expm1-u_binary64
537×expm1-log1p-u_binary64
536×add-log-exp_binary64
60×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
057
11141
217221
Stop Event
1×node limit
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (+.f64 1 y) y)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x . 1)))))

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0112
1412
Stop Event
1×saturated
Counts
13 → 1
Calls
Call 1
Inputs
1
1
1
1
1
1
1
1
1
1
1
1
Outputs
1
1
1
1
1
1
1
1
1
1
1
1

eval71.0ms (0.8%)

Compiler

Compiled 3638 to 2164 computations (40.5% saved)

prune162.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New67774
Fresh8412
Picked101
Done000
Total761187
Error
2.5b
Counts
87 → 11
Alt Table
Click to see full alt table
StatusErrorProgram
▶3.3b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.7b
(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.5b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
17.5b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (log.f64 (/.f64 (exp.f64 (sqrt.f64 (+.f64 1 y))) (exp.f64 (sqrt.f64 y))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.7b
(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.0b
(+.f64 (+.f64 (+.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.1b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (cbrt.f64 (sqrt.f64 (+.f64 1 y)))) (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.7b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
3.5b
(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.1b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (*.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.5b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
Compiler

Compiled 1092 to 782 computations (28.4% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
1.5b
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.6b
(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.6b
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

series4.0ms (0%)

Counts
1 → 1
Calls

3 calls:

TimeVariablePointExpression
2.0ms
y
@inf
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
1.0ms
y
@-inf
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
1.0ms
y
@0
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))

rewrite40.0ms (0.4%)

Algorithm
1×batch-egg-rewrite
Rules
845×log1p-expm1-u_binary64
845×expm1-log1p-u_binary64
89×add-sqr-sqrt_binary64
85×*-un-lft-identity_binary64
85×pow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0814
117714
2242614
Stop Event
1×node limit
Counts
1 → 25
Calls
Call 1
Inputs
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -2)) (/.f64 1 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -1/2) (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 1 (neg.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 2) -1) (pow.f64 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (hypot.f64 (pow.f64 (+.f64 1 y) 1/4) (pow.f64 y 1/4)) -1) (pow.f64 (hypot.f64 (pow.f64 (+.f64 1 y) 1/4) (pow.f64 y 1/4)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 (pow.f64 (+.f64 1 y) 3/2) (pow.f64 y 3/2))) (-.f64 (+.f64 (+.f64 1 y) y) (sqrt.f64 (*.f64 (+.f64 1 y) y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 1 (-.f64 y y))) (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (cbrt.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (neg.f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (neg.f64 (log.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))))))))

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
141
Stop Event
1×saturated
Counts
26 → 26
Calls
Call 1
Inputs
1
Outputs
1

eval60.0ms (0.7%)

Compiler

Compiled 4288 to 2645 computations (38.3% saved)

prune292.0ms (3.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New90999
Fresh8210
Picked101
Done000
Total9911110
Error
2.5b
Counts
110 → 11
Alt Table
Click to see full alt table
StatusErrorProgram
▶3.0b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
3.3b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -1/2) 2)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.1b
(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.4b
(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
17.5b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (log.f64 (/.f64 (exp.f64 (sqrt.f64 (+.f64 1 y))) (exp.f64 (sqrt.f64 y))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.3b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (*.f64 (pow.f64 (hypot.f64 (pow.f64 (+.f64 1 y) 1/4) (pow.f64 y 1/4)) -1) (pow.f64 (hypot.f64 (pow.f64 (+.f64 1 y) 1/4) (pow.f64 y 1/4)) -1))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.0b
(+.f64 (+.f64 (+.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.4b
(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.1b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
3.3b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
3.3b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 3) 1/3)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
Compiler

Compiled 962 to 742 computations (22.9% saved)

localize33.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.1b
(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
1.5b
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
✓2.2b
(-.f64 (+.f64 1 t) t)
4.6b
(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

series1.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
0.0ms
t
@0
(-.f64 (+.f64 1 t) t)
0.0ms
t
@inf
(-.f64 (+.f64 1 t) t)
0.0ms
t
@-inf
(-.f64 (+.f64 1 t) t)

rewrite29.0ms (0.3%)

Algorithm
1×batch-egg-rewrite
Rules
570×pow1_binary64
537×log1p-expm1-u_binary64
537×expm1-log1p-u_binary64
536×add-log-exp_binary64
60×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
057
11141
217221
Stop Event
1×node limit
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 (+.f64 1 t) t)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x . 1)))))

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0112
1412
Stop Event
1×saturated
Counts
13 → 1
Calls
Call 1
Inputs
1
1
1
1
1
1
1
1
1
1
1
1
Outputs
1
1
1
1
1
1
1
1
1
1
1
1

eval51.0ms (0.6%)

Compiler

Compiled 3679 to 2311 computations (37.2% saved)

prune227.0ms (2.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New68876
Fresh7310
Picked101
Done000
Total761187
Error
2.2b
Counts
87 → 11
Alt Table
Click to see full alt table
StatusErrorProgram
3.1b
(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
3.3b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
3.1b
(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
2.7b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
3.0b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (*.f64 (pow.f64 (hypot.f64 (pow.f64 (+.f64 1 y) 1/4) (pow.f64 y 1/4)) -1) (pow.f64 (hypot.f64 (pow.f64 (+.f64 1 y) 1/4) (pow.f64 y 1/4)) -1))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
17.5b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (log.f64 (/.f64 (exp.f64 (sqrt.f64 (+.f64 1 y))) (exp.f64 (sqrt.f64 y))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
4.0b
(+.f64 (+.f64 (+.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
2.8b
(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
3.0b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 3) 1/3)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
3.0b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -1/2) 2)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
2.8b
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
Compiler

Compiled 519 to 397 computations (23.5% saved)

regimes196.0ms (2.1%)

Accuracy

Total -35.1b remaining (-1288.2%)

Threshold costs -35.1b (-1288.2%)

Counts
38 → 1
Calls
Call 1
Inputs
(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (*.f64 (pow.f64 (hypot.f64 (pow.f64 (+.f64 1 y) 1/4) (pow.f64 y 1/4)) -1) (pow.f64 (hypot.f64 (pow.f64 (+.f64 1 y) 1/4) (pow.f64 y 1/4)) -1))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 3) 1/3)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -1/2) 2)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)) -1/2) 2)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (*.f64 (pow.f64 (hypot.f64 (pow.f64 (+.f64 1 y) 1/4) (pow.f64 y 1/4)) -1) (pow.f64 (hypot.f64 (pow.f64 (+.f64 1 y) 1/4) (pow.f64 y 1/4)) -1))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (pow.f64 (pow.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) 3) 1/3)) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (fma.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (sqrt.f64 (sqrt.f64 (+.f64 1 x))) (neg.f64 (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (log.f64 (/.f64 (exp.f64 (sqrt.f64 (+.f64 1 y))) (exp.f64 (sqrt.f64 y))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (/.f64 (-.f64 (+.f64 1 x) x) (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (/.f64 (-.f64 (+.f64 z 1) z) (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 (-.f64 (+.f64 1 t) t) (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 (-.f64 (+.f64 1 y) y) (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (+.f64 (fma.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (cbrt.f64 (sqrt.f64 (+.f64 1 y)))) (cbrt.f64 (sqrt.f64 (+.f64 1 y))) (neg.f64 (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y)))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))) (*.f64 (cbrt.f64 (sqrt.f64 y)) (*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y))))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) 1) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (cbrt.f64 (*.f64 (*.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (*.f64 (*.f64 (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (cbrt.f64 (-.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y))))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (log.f64 (exp.f64 (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))))
(+.f64 (+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (fma.f64 (neg.f64 (sqrt.f64 (sqrt.f64 x))) (sqrt.f64 (sqrt.f64 x)) (sqrt.f64 x))) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
(+.f64 (sqrt.f64 (+.f64 x 1)) (-.f64 (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)) (+.f64 (sqrt.f64 y) (-.f64 (-.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 1 y))) (-.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
Outputs
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
Results
TimeErrorSegmentsBranch
20.0ms2.7b1x
18.0ms2.7b1y
17.0ms2.7b1z
17.0ms2.7b1t
10.0ms2.7b1(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
9.0ms2.7b1(+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
10.0ms2.7b1(+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
7.0ms2.7b1(+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
9.0ms2.7b1(+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
5.0ms2.7b1(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
6.0ms2.7b1(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
7.0ms2.7b1(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
5.0ms2.7b1(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
4.0ms2.7b1(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
5.0ms2.7b1(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
Compiler

Compiled 1780 to 1150 computations (35.4% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Rules
13×+-commutative_binary64
4×sub-neg_binary64
2×*-commutative_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02756
14256
24956
35356
45556
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
Outputs
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))
(+.f64 (+.f64 (+.f64 (-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))) (-.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z))) (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t))))

end32.0ms (0.3%)

Stop Event
1×fuel
Remove

(sort x y z t)

Compiler

Compiled 156 to 124 computations (20.5% saved)

Profiling

Loading profile data...