Details

Time bar (total: 8.3s)

analyze971.0ms (11.7%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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%99.9%0.1%0%0%0%8
0%0%99.9%0.1%0%0%0%9
22%21.1%74.5%0.1%4.3%0%0%10
26.6%25.4%69.8%0.1%4.7%0%0%11
32.3%30.6%64.2%0.1%5.1%0%0%12
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample2.0s (24%)

Results
1.7s8256×body256valid
261.0ms1697×body256infinite
Bogosity

preprocess16.0ms (0.2%)

Algorithm
2×egg-herbie
Rules
14×rational.json-simplify-2
8×rational.json-simplify-1
8×rational.json-simplify-42
8×rational.json-simplify-45
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
026124
149124
253124
033
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
2
Call 2
Inputs
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
(/.f64 (*.f64 4 (-.f64 (-.f64 y x) (*.f64 z 1/2))) z)
(/.f64 (*.f64 4 (-.f64 (-.f64 z y) (*.f64 x 1/2))) x)
(/.f64 (*.f64 4 (-.f64 (-.f64 x z) (*.f64 y 1/2))) y)
Outputs
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
(/.f64 (*.f64 4 (-.f64 (-.f64 y x) (*.f64 z 1/2))) z)
(/.f64 (*.f64 4 (-.f64 (-.f64 z y) (*.f64 x 1/2))) x)
(/.f64 (*.f64 4 (-.f64 z (+.f64 y (*.f64 x 1/2)))) x)
(/.f64 (*.f64 4 (-.f64 (-.f64 x z) (*.f64 y 1/2))) y)
(/.f64 (*.f64 4 (-.f64 (-.f64 x (*.f64 y 1/2)) z)) y)
Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify29.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
4×rational.json-simplify-2
2×rational.json-simplify-1
2×rational.json-simplify-42
2×rational.json-simplify-45
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
11831
21931
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Outputs
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)

eval1.0ms (0%)

Compiler

Compiled 25 to 17 computations (32% saved)

prune8.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.1b
Counts
3 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.1b
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize27.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Compiler

Compiled 41 to 22 computations (46.3% saved)

series15.0ms (0.2%)

Counts
1 → 36
Calls

9 calls:

TimeVariablePointExpression
6.0ms
z
@inf
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
2.0ms
z
@0
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
1.0ms
x
@-inf
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
1.0ms
x
@0
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
1.0ms
x
@inf
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)

rewrite135.0ms (1.6%)

Algorithm
1×batch-egg-rewrite
Rules
784×rational.json-simplify-54
752×rational.json-simplify-47
722×rational.json-simplify-49
660×rational.json-simplify-58
542×rational.json-5
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01231
110231
233831
3124031
4462431
Stop Event
1×node limit
Counts
1 → 18
Calls
Call 1
Inputs
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 (/.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (/.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (/.f64 (*.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) 1) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))) (/.f64 (/.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))))))

simplify291.0ms (3.5%)

Algorithm
1×egg-herbie
Rules
956×rational.json-simplify-55
914×rational.json-simplify-47
854×exponential.json-simplify-26
744×rational.json-simplify-104
678×rational.json-simplify-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0731626
11371626
22301626
38481626
444081626
574831626
Stop Event
1×node limit
Counts
54 → 33
Calls
Call 1
Inputs
(*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 0)
(+.f64 0 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))
(-.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 0)
(-.f64 0 (neg.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) 1)
(*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 1)
(*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(*.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))
(*.f64 (/.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))
(*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) 1))
(*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 (/.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(*.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (/.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))))
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (/.f64 (*.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) 1) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))))
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))) (/.f64 (/.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))))
(pow.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 1)
(neg.f64 (neg.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
Outputs
(*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)))
(+.f64 (*.f64 -4 (/.f64 (+.f64 y (*.f64 1/2 z)) z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (+.f64 1/2 (/.f64 y z))))
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (+.f64 1/2 (/.f64 y z))))
(+.f64 (*.f64 -4 (+.f64 1/2 (/.f64 y z))) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 4 (/.f64 x z)) (*.f64 -4 (+.f64 1/2 (/.f64 y z))))
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 -4 (/.f64 y z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 -4 (/.f64 y z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(+.f64 (*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 -4 (/.f64 y z)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (-.f64 (/.f64 x z) 1/2)))
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
-2
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 0)
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(+.f64 0 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(-.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 0)
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(-.f64 0 (neg.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) 1)
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 1)
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 (/.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) 1))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 (/.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (/.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (/.f64 (*.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) 1) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))) (/.f64 (/.f64 (/.f64 1 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z))) (*.f64 (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)) (*.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(pow.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z) 1)
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)
(neg.f64 (neg.f64 (/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 z 1/2)))) z)))
(/.f64 (*.f64 4 (-.f64 x (+.f64 y (*.f64 1/2 z)))) z)

eval28.0ms (0.3%)

Compiler

Compiled 875 to 579 computations (33.8% saved)

prune22.0ms (0.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New27633
Fresh000
Picked101
Done000
Total28634
Error
0.0b
Counts
34 → 6
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
▶16.0b
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
▶27.5b
(*.f64 4 (/.f64 (-.f64 x y) z))
▶42.5b
(*.f64 4 (/.f64 x z))
▶47.5b
(*.f64 -4 (/.f64 y z))
36.3b
-2
Compiler

Compiled 104 to 78 computations (25% saved)

localize18.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
✓0.0b
(/.f64 (-.f64 x y) z)
✓0.0b
(*.f64 4 (/.f64 (-.f64 x y) z))
Compiler

Compiled 32 to 13 computations (59.4% saved)

series8.0ms (0.1%)

Counts
3 → 75
Calls

27 calls:

TimeVariablePointExpression
2.0ms
y
@-inf
(*.f64 4 (/.f64 (-.f64 x y) z))
1.0ms
x
@-inf
(*.f64 4 (/.f64 (-.f64 x y) z))
1.0ms
z
@inf
(*.f64 4 (/.f64 (-.f64 x y) z))
1.0ms
x
@inf
(*.f64 4 (/.f64 (-.f64 x y) z))
0.0ms
z
@0
(*.f64 4 (/.f64 (-.f64 x y) z))

rewrite123.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
1974×rational.json-5
1972×rational.json-1
1972×rational.json-2
1972×rational.json-4
1972×rational.json-3
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01157
18957
227857
3100257
4386257
Stop Event
1×node limit
Counts
3 → 29
Calls
Call 1
Inputs
(*.f64 4 (/.f64 (-.f64 x y) z))
(/.f64 (-.f64 x y) z)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 4 (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) (/.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) (*.f64 4 (/.f64 (-.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x y) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x y) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x y) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x y) z) (/.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (-.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)) (/.f64 1 (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 1 (/.f64 (-.f64 x y) z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z))) (/.f64 (/.f64 1 (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 x y) z) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))) (/.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 1)))))

simplify280.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
1480×rational.json-simplify-49
1338×rational.json-simplify-2
1120×rational.json-simplify-50
916×rational.json-simplify-54
910×rational.json-simplify-58
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0682480
11252438
23412438
318162438
460232438
Stop Event
1×node limit
Counts
104 → 46
Calls
Call 1
Inputs
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 -1 (/.f64 y z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(*.f64 -1 (/.f64 y z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(*.f64 -1 (/.f64 y z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 4 (/.f64 x z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 4 (/.f64 x z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 -4 (/.f64 y z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 -4 (/.f64 y z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 4 (/.f64 (-.f64 x y) z))
-2
-2
(+.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 0)
(+.f64 0 (*.f64 4 (/.f64 (-.f64 x y) z)))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 0)
(/.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 1)
(/.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) (/.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) (*.f64 4 (/.f64 (-.f64 x y) z))))
(pow.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 1)
(+.f64 (/.f64 (-.f64 x y) z) 0)
(+.f64 0 (/.f64 (-.f64 x y) z))
(-.f64 (/.f64 (-.f64 x y) z) 0)
(*.f64 (/.f64 (-.f64 x y) z) 1)
(*.f64 (/.f64 (-.f64 x y) z) (/.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)))
(*.f64 1 (/.f64 (-.f64 x y) z))
(*.f64 (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)) (/.f64 1 (/.f64 (-.f64 x y) z)))
(*.f64 (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 1 (/.f64 (-.f64 x y) z)) 1))
(*.f64 (/.f64 1 (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)))
(*.f64 (*.f64 (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z))) (/.f64 (/.f64 1 (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z))))
(pow.f64 (/.f64 (-.f64 x y) z) 1)
(+.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 0)
(+.f64 0 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))
(*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 1)
(*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))
(*.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))
(*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))
(*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) 1))
(*.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))
(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))) (/.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))))
(/.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 1)
(/.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))
(pow.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 1)
Outputs
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 4 (/.f64 x z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 -4 (/.f64 y z))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z)))
(*.f64 -1 (/.f64 y z))
(*.f64 (/.f64 y z) -1)
(neg.f64 (/.f64 y z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(/.f64 x z)
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(*.f64 -1 (/.f64 y z))
(*.f64 (/.f64 y z) -1)
(neg.f64 (/.f64 y z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(*.f64 -1 (/.f64 y z))
(*.f64 (/.f64 y z) -1)
(neg.f64 (/.f64 y z))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(+.f64 (*.f64 -1 (/.f64 y z)) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 y z) -1))
(+.f64 (/.f64 x z) (neg.f64 (/.f64 y z)))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 4 (/.f64 x z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 4 (/.f64 x z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 -4 (/.f64 y z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 -4 (/.f64 y z))
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(-.f64 (+.f64 (*.f64 -4 (/.f64 y z)) (*.f64 4 (/.f64 x z))) 2)
(*.f64 4 (/.f64 (-.f64 x y) z))
-2
-2
(+.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 0)
(*.f64 4 (/.f64 (-.f64 x y) z))
(+.f64 0 (*.f64 4 (/.f64 (-.f64 x y) z)))
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 0)
(*.f64 4 (/.f64 (-.f64 x y) z))
(/.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 1)
(*.f64 4 (/.f64 (-.f64 x y) z))
(/.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) (/.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) (*.f64 4 (/.f64 (-.f64 x y) z))))
(*.f64 4 (/.f64 (-.f64 x y) z))
(pow.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 1)
(*.f64 4 (/.f64 (-.f64 x y) z))
(+.f64 (/.f64 (-.f64 x y) z) 0)
(/.f64 (-.f64 x y) z)
(+.f64 0 (/.f64 (-.f64 x y) z))
(/.f64 (-.f64 x y) z)
(-.f64 (/.f64 (-.f64 x y) z) 0)
(/.f64 (-.f64 x y) z)
(*.f64 (/.f64 (-.f64 x y) z) 1)
(/.f64 (-.f64 x y) z)
(*.f64 (/.f64 (-.f64 x y) z) (/.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)))
(/.f64 (-.f64 x y) z)
(*.f64 1 (/.f64 (-.f64 x y) z))
(/.f64 (-.f64 x y) z)
(*.f64 (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)) (/.f64 1 (/.f64 (-.f64 x y) z)))
(/.f64 (-.f64 x y) z)
(*.f64 (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 1 (/.f64 (-.f64 x y) z)) 1))
(/.f64 (-.f64 x y) z)
(*.f64 (/.f64 1 (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)))
(/.f64 (-.f64 x y) z)
(*.f64 (*.f64 (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z))) (/.f64 (/.f64 1 (/.f64 (-.f64 x y) z)) (*.f64 (/.f64 (-.f64 x y) z) (/.f64 (-.f64 x y) z))))
(/.f64 (-.f64 x y) z)
(pow.f64 (/.f64 (-.f64 x y) z) 1)
(/.f64 (-.f64 x y) z)
(+.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 0)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(+.f64 0 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 1)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(*.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) 1))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(*.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))) (/.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2))))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(/.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 1)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(/.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(pow.f64 (-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2) 1)
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 -4 (/.f64 y z))
Compiler

Compiled 14 to 7 computations (50% saved)

series5.0ms (0.1%)

Counts
1 → 0
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@inf
(*.f64 -4 (/.f64 y z))
1.0ms
y
@0
(*.f64 -4 (/.f64 y z))
1.0ms
z
@inf
(*.f64 -4 (/.f64 y z))
1.0ms
z
@0
(*.f64 -4 (/.f64 y z))
1.0ms
y
@-inf
(*.f64 -4 (/.f64 y z))

rewrite119.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
1386×rational.json-5
1384×exponential.json-3
1384×rational.json-1
1384×rational.json-2
1384×rational.json-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
15813
219113
369913
4271713
Stop Event
1×node limit
Counts
1 → 9
Calls
Call 1
Inputs
(*.f64 -4 (/.f64 y z))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -4 (/.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -4 (/.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -4 (/.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 -4 (/.f64 y z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4 (/.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4 (/.f64 y z)) (/.f64 (*.f64 -4 (/.f64 y z)) (*.f64 -4 (/.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -4 (/.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 -4 (/.f64 y z))))))))

simplify345.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
1798×rational.json-simplify-47
820×rational.json-simplify-1
734×rational.json-simplify-111
686×rational.json-simplify-104
678×rational.json-simplify-2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
024117
147117
2115117
3347117
41342117
53425117
66411117
Stop Event
1×node limit
Counts
9 → 10
Calls
Call 1
Inputs
(+.f64 (*.f64 -4 (/.f64 y z)) 0)
(+.f64 0 (*.f64 -4 (/.f64 y z)))
(-.f64 (*.f64 -4 (/.f64 y z)) 0)
(-.f64 0 (neg.f64 (*.f64 -4 (/.f64 y z))))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 -4 (/.f64 y z)))) 1)
(/.f64 (*.f64 -4 (/.f64 y z)) 1)
(/.f64 (*.f64 -4 (/.f64 y z)) (/.f64 (*.f64 -4 (/.f64 y z)) (*.f64 -4 (/.f64 y z))))
(pow.f64 (*.f64 -4 (/.f64 y z)) 1)
(neg.f64 (neg.f64 (*.f64 -4 (/.f64 y z))))
Outputs
(+.f64 (*.f64 -4 (/.f64 y z)) 0)
(*.f64 -4 (/.f64 y z))
(+.f64 0 (*.f64 -4 (/.f64 y z)))
(*.f64 -4 (/.f64 y z))
(-.f64 (*.f64 -4 (/.f64 y z)) 0)
(*.f64 -4 (/.f64 y z))
(-.f64 0 (neg.f64 (*.f64 -4 (/.f64 y z))))
(*.f64 -4 (/.f64 y z))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 -4 (/.f64 y z)))) 1)
(*.f64 -4 (/.f64 y z))
(/.f64 (*.f64 -4 (/.f64 y z)) 1)
(*.f64 -4 (/.f64 y z))
(/.f64 (*.f64 -4 (/.f64 y z)) (/.f64 (*.f64 -4 (/.f64 y z)) (*.f64 -4 (/.f64 y z))))
(*.f64 -4 (/.f64 y z))
(pow.f64 (*.f64 -4 (/.f64 y z)) 1)
(*.f64 -4 (/.f64 y z))
(neg.f64 (neg.f64 (*.f64 -4 (/.f64 y z))))
(*.f64 -4 (/.f64 y z))

localize11.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 4 (/.f64 x z))
Compiler

Compiled 14 to 7 computations (50% saved)

series5.0ms (0.1%)

Counts
1 → 0
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@0
(*.f64 4 (/.f64 x z))
1.0ms
z
@0
(*.f64 4 (/.f64 x z))
1.0ms
z
@inf
(*.f64 4 (/.f64 x z))
1.0ms
x
@inf
(*.f64 4 (/.f64 x z))
0.0ms
z
@-inf
(*.f64 4 (/.f64 x z))

rewrite102.0ms (1.2%)

Algorithm
1×batch-egg-rewrite
Rules
1382×rational.json-5
1380×exponential.json-3
1380×rational.json-1
1380×rational.json-2
1380×rational.json-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
15813
219113
369813
4270513
Stop Event
1×node limit
Counts
1 → 12
Calls
Call 1
Inputs
(*.f64 4 (/.f64 x z))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x z) (*.f64 (/.f64 x z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 4 (/.f64 x z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 4 (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 x z) 2) (*.f64 (/.f64 x z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 x z) 3) (/.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 4 (/.f64 x z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 4 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 4 (/.f64 x z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (/.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (/.f64 x z)) (/.f64 (/.f64 x z) (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 4 (/.f64 x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 4 (/.f64 x z))))))))

simplify284.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
1216×rational.json-simplify-104
1054×rational.json-simplify-79
970×rational.json-simplify-73
944×rational.json-simplify-2
934×rational.json-simplify-47
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
031180
156180
2101180
3243180
4617180
51925180
63321180
74981180
85948180
97446180
Stop Event
1×node limit
Counts
12 → 13
Calls
Call 1
Inputs
(+.f64 (/.f64 x z) (*.f64 (/.f64 x z) 3))
(+.f64 (*.f64 4 (/.f64 x z)) 0)
(+.f64 0 (*.f64 4 (/.f64 x z)))
(+.f64 (*.f64 (/.f64 x z) 2) (*.f64 (/.f64 x z) 2))
(+.f64 (*.f64 (/.f64 x z) 3) (/.f64 x z))
(-.f64 (*.f64 4 (/.f64 x z)) 0)
(-.f64 0 (neg.f64 (*.f64 4 (/.f64 x z))))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 4 (/.f64 x z)))) 1)
(/.f64 (*.f64 4 (/.f64 x z)) 1)
(/.f64 (*.f64 4 (/.f64 x z)) (/.f64 (/.f64 x z) (/.f64 x z)))
(pow.f64 (*.f64 4 (/.f64 x z)) 1)
(neg.f64 (neg.f64 (*.f64 4 (/.f64 x z))))
Outputs
(+.f64 (/.f64 x z) (*.f64 (/.f64 x z) 3))
(+.f64 (*.f64 4 (/.f64 x z)) 0)
(*.f64 (/.f64 x z) 4)
(+.f64 0 (*.f64 4 (/.f64 x z)))
(*.f64 (/.f64 x z) 4)
(+.f64 (*.f64 (/.f64 x z) 2) (*.f64 (/.f64 x z) 2))
(*.f64 (/.f64 x z) 4)
(+.f64 (*.f64 (/.f64 x z) 3) (/.f64 x z))
(+.f64 (/.f64 x z) (*.f64 (/.f64 x z) 3))
(-.f64 (*.f64 4 (/.f64 x z)) 0)
(*.f64 (/.f64 x z) 4)
(-.f64 0 (neg.f64 (*.f64 4 (/.f64 x z))))
(*.f64 (/.f64 x z) 4)
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 4 (/.f64 x z)))) 1)
(*.f64 (/.f64 x z) 4)
(/.f64 (*.f64 4 (/.f64 x z)) 1)
(*.f64 (/.f64 x z) 4)
(/.f64 (*.f64 4 (/.f64 x z)) (/.f64 (/.f64 x z) (/.f64 x z)))
(*.f64 (/.f64 x z) 4)
(pow.f64 (*.f64 4 (/.f64 x z)) 1)
(*.f64 (/.f64 x z) 4)
(neg.f64 (neg.f64 (*.f64 4 (/.f64 x z))))
(*.f64 (/.f64 x z) 4)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(/.f64 (-.f64 x y) z)
0.0b
(*.f64 4 (/.f64 (-.f64 x y) z))
Compiler

Compiled 22 to 8 computations (63.6% saved)

localize25.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (-.f64 x (*.f64 1/2 z)) z)
Compiler

Compiled 31 to 20 computations (35.5% saved)

series9.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
6.0ms
z
@-inf
(/.f64 (-.f64 x (*.f64 1/2 z)) z)
1.0ms
x
@-inf
(/.f64 (-.f64 x (*.f64 1/2 z)) z)
1.0ms
z
@inf
(/.f64 (-.f64 x (*.f64 1/2 z)) z)
0.0ms
x
@0
(/.f64 (-.f64 x (*.f64 1/2 z)) z)
0.0ms
x
@inf
(/.f64 (-.f64 x (*.f64 1/2 z)) z)

rewrite242.0ms (2.9%)

Algorithm
1×batch-egg-rewrite
Rules
1514×rational.json-5
1512×exponential.json-3
1512×rational.json-1
1512×rational.json-2
1512×rational.json-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
16619
221919
380219
4297919
Stop Event
1×node limit
Counts
1 → 17
Calls
Call 1
Inputs
(/.f64 (-.f64 x (*.f64 1/2 z)) z)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 x (*.f64 1/2 z)) z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (/.f64 (-.f64 x (*.f64 1/2 z)) z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 (-.f64 x (*.f64 1/2 z)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 (/.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))) (/.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))))))

simplify169.0ms (2%)

Algorithm
1×egg-herbie
Rules
1502×rational.json-simplify-111
1030×rational.json-simplify-47
792×rational.json-simplify-2
702×rational.json-simplify-55
614×rational.json-simplify-54
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044581
181581
2178581
3932581
44624581
Stop Event
1×node limit
Counts
41 → 21
Calls
Call 1
Inputs
-1/2
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(/.f64 x z)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(/.f64 x z)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(/.f64 x z)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
-1/2
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
-1/2
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(+.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 0)
(+.f64 0 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(-.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 0)
(-.f64 0 (neg.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (-.f64 x (*.f64 1/2 z)) z))) 1)
(*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 1)
(*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(*.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(*.f64 (/.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 (/.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(*.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))) (/.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))))
(*.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))))
(*.f64 (*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))))))
(pow.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 1)
(neg.f64 (neg.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
Outputs
-1/2
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(/.f64 x z)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(/.f64 x z)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(/.f64 x z)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
-1/2
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
-1/2
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(-.f64 (/.f64 x z) 1/2)
(+.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 0)
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(+.f64 0 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(-.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 0)
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(-.f64 0 (neg.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (-.f64 x (*.f64 1/2 z)) z))) 1)
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 1)
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(*.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(*.f64 (/.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 (/.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(*.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))) (/.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(*.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(*.f64 (*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z)))) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (-.f64 x (*.f64 1/2 z)) z)) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (*.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) (/.f64 (-.f64 x (*.f64 1/2 z)) z))))))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(pow.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z) 1)
(/.f64 (-.f64 x (*.f64 z 1/2)) z)
(neg.f64 (neg.f64 (/.f64 (-.f64 x (*.f64 1/2 z)) z)))
(/.f64 (-.f64 x (*.f64 z 1/2)) z)

eval50.0ms (0.6%)

Compiler

Compiled 1770 to 906 computations (48.8% saved)

prune36.0ms (0.4%)

Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New1162118
Fresh011
Picked011
Done134
Total1177124
Error
0.0b
Counts
124 → 7
Alt Table
Click to see full alt table
StatusErrorProgram
▶16.0b
(-.f64 (*.f64 4 (/.f64 x z)) 2)
▶20.6b
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
✓16.0b
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
✓27.5b
(*.f64 4 (/.f64 (-.f64 x y) z))
✓42.5b
(*.f64 4 (/.f64 x z))
✓47.5b
(*.f64 -4 (/.f64 y z))
36.3b
-2
Compiler

Compiled 62 to 48 computations (22.6% saved)

localize65.0ms (0.8%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
0.0b
(*.f64 -4 (/.f64 y z))
Compiler

Compiled 22 to 12 computations (45.5% saved)

series1.0ms (0%)

Counts
1 → 6
Calls

6 calls:

TimeVariablePointExpression
0.0ms
y
@inf
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
0.0ms
y
@0
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
0.0ms
z
@0
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
0.0ms
y
@-inf
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
0.0ms
z
@-inf
(-.f64 (*.f64 -4 (/.f64 y z)) 2)

rewrite294.0ms (3.6%)

Algorithm
1×batch-egg-rewrite
Rules
1584×rational.json-5
1582×exponential.json-3
1582×rational.json-1
1582×rational.json-2
1582×rational.json-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
17319
222519
380319
4310419
Stop Event
1×node limit
Counts
1 → 14
Calls
Call 1
Inputs
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 -4 (/.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (-.f64 (*.f64 -4 (/.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))) (/.f64 (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2))) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 2 (*.f64 -4 (/.f64 y z))))))))

simplify262.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
1632×rational.json-simplify-58
1044×rational.json-simplify-47
762×exponential.json-simplify-26
760×rational.json-simplify-1
758×rational.json-simplify-49
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
034308
152308
2173308
3926308
43855308
56075308
Stop Event
1×node limit
Counts
20 → 17
Calls
Call 1
Inputs
-2
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
-2
-2
(+.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 0)
(+.f64 0 (-.f64 (*.f64 -4 (/.f64 y z)) 2))
(*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 1)
(*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(*.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2))
(*.f64 (/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (-.f64 (*.f64 -4 (/.f64 y z)) 2))
(*.f64 (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(*.f64 (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(*.f64 (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))) (/.f64 (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2))))
(*.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2))) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))))
(/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 1)
(/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(pow.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 1)
(neg.f64 (-.f64 2 (*.f64 -4 (/.f64 y z))))
Outputs
-2
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
(*.f64 -4 (/.f64 y z))
-2
-2
(+.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 0)
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(+.f64 0 (-.f64 (*.f64 -4 (/.f64 y z)) 2))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 1)
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 (/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (-.f64 (*.f64 -4 (/.f64 y z)) 2))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))) (/.f64 (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2))))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 -4 (/.f64 y z)) 2)) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2))) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 1)
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (/.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(pow.f64 (-.f64 (*.f64 -4 (/.f64 y z)) 2) 1)
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(neg.f64 (-.f64 2 (*.f64 -4 (/.f64 y z))))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)

localize20.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 4 (/.f64 x z)) 2)
0.0b
(*.f64 4 (/.f64 x z))
Compiler

Compiled 22 to 12 computations (45.5% saved)

series2.0ms (0%)

Counts
1 → 6
Calls

6 calls:

TimeVariablePointExpression
0.0ms
x
@inf
(-.f64 (*.f64 4 (/.f64 x z)) 2)
0.0ms
x
@-inf
(-.f64 (*.f64 4 (/.f64 x z)) 2)
0.0ms
x
@0
(-.f64 (*.f64 4 (/.f64 x z)) 2)
0.0ms
z
@0
(-.f64 (*.f64 4 (/.f64 x z)) 2)
0.0ms
z
@-inf
(-.f64 (*.f64 4 (/.f64 x z)) 2)

rewrite115.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
1580×rational.json-5
1578×exponential.json-3
1578×rational.json-1
1578×rational.json-2
1578×rational.json-4
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
17319
222519
380219
4309219
Stop Event
1×node limit
Counts
1 → 14
Calls
Call 1
Inputs
(-.f64 (*.f64 4 (/.f64 x z)) 2)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 4 (/.f64 x z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (-.f64 (*.f64 4 (/.f64 x z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))) (/.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))) (*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 2 (*.f64 4 (/.f64 x z))))))))

simplify204.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
1436×rational.json-simplify-47
1324×rational.json-simplify-49
1058×rational.json-simplify-2
922×rational.json-simplify-50
820×rational.json-simplify-58
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
033308
154308
2197308
31332308
45685308
Stop Event
1×node limit
Counts
20 → 17
Calls
Call 1
Inputs
-2
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
-2
-2
(+.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 0)
(+.f64 0 (-.f64 (*.f64 4 (/.f64 x z)) 2))
(*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 1)
(*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))
(*.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2))
(*.f64 (/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (-.f64 (*.f64 4 (/.f64 x z)) 2))
(*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)))
(*.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))
(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))) (/.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))))
(*.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))) (*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))))
(/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 1)
(/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))
(pow.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 1)
(neg.f64 (-.f64 2 (*.f64 4 (/.f64 x z))))
Outputs
-2
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 x z))
-2
-2
(+.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 0)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(+.f64 0 (-.f64 (*.f64 4 (/.f64 x z)) 2))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 1)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 (/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (-.f64 (*.f64 4 (/.f64 x z)) 2))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 (*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))) (/.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 (/.f64 (/.f64 1 (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))) (*.f64 (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)) (*.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2))))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 1)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (/.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 4 (/.f64 x z)) 2)))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(pow.f64 (-.f64 (*.f64 4 (/.f64 x z)) 2) 1)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(neg.f64 (-.f64 2 (*.f64 4 (/.f64 x z))))
(-.f64 (*.f64 4 (/.f64 x z)) 2)

eval26.0ms (0.3%)

Compiler

Compiled 856 to 540 computations (36.9% saved)

prune20.0ms (0.2%)

Pruning

7 alts after pruning (1 fresh and 6 done)

PrunedKeptTotal
New57057
Fresh011
Picked011
Done055
Total57764
Error
0.0b
Counts
64 → 7
Alt Table
Click to see full alt table
StatusErrorProgram
✓16.0b
(-.f64 (*.f64 4 (/.f64 x z)) 2)
✓20.6b
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
✓16.0b
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
✓27.5b
(*.f64 4 (/.f64 (-.f64 x y) z))
✓42.5b
(*.f64 4 (/.f64 x z))
✓47.5b
(*.f64 -4 (/.f64 y z))
36.3b
-2
Compiler

Compiled 62 to 48 computations (22.6% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune11.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done066
Total077
Error
0.0b
Counts
7 → 7
Alt Table
Click to see full alt table
StatusErrorProgram
✓16.0b
(-.f64 (*.f64 4 (/.f64 x z)) 2)
✓20.6b
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
✓16.0b
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
✓27.5b
(*.f64 4 (/.f64 (-.f64 x y) z))
✓42.5b
(*.f64 4 (/.f64 x z))
✓47.5b
(*.f64 -4 (/.f64 y z))
36.3b
-2
Compiler

Compiled 62 to 48 computations (22.6% saved)

regimes63.0ms (0.8%)

Counts
9 → 1
Calls
Call 1
Inputs
-2
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Outputs
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
Calls

5 calls:

13.0ms
(-.f64 x y)
13.0ms
z
12.0ms
x
11.0ms
y
9.0ms
(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1z
0.0b1(/.f64 (*.f64 4 (-.f64 (-.f64 x y) (*.f64 z 1/2))) z)
0.0b1(-.f64 x y)
Compiler

Compiled 96 to 61 computations (36.5% saved)

regimes248.0ms (3%)

Counts
7 → 5
Calls
Call 1
Inputs
-2
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 4 (/.f64 (-.f64 x (*.f64 1/2 z)) z))
Outputs
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 4 (/.f64 x z)) 2)
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
Calls

4 calls:

107.0ms
(-.f64 x y)
52.0ms
y
44.0ms
z
42.0ms
x
Results
ErrorSegmentsBranch
6.4b3x
6.1b5y
9.2b3z
7.2b9(-.f64 x y)
Compiler

Compiled 62 to 41 computations (33.9% saved)

bsearch99.0ms (1.2%)

Algorithm
4×binary-search
Steps
TimeLeftRight
38.0ms
3.4938564056189184e+86
1.9788635368691716e+97
16.0ms
3.5473955349182895e-9
1.0757919966076655e-8
18.0ms
1.541392254136715e-64
4.645979836667021e-64
26.0ms
-6.1488351631397325e+118
-9.862189586589609e+116
Results
81.0ms432×body256valid
4.0ms20×body256infinite
Compiler

Compiled 614 to 491 computations (20% saved)

regimes171.0ms (2.1%)

Counts
5 → 3
Calls
Call 1
Inputs
-2
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
Outputs
(*.f64 4 (/.f64 (-.f64 x y) z))
(-.f64 (*.f64 -4 (/.f64 y z)) 2)
(*.f64 4 (/.f64 (-.f64 x y) z))
Calls

4 calls:

63.0ms
y
47.0ms
(-.f64 x y)
30.0ms
z
28.0ms
x
Results
ErrorSegmentsBranch
10.5b3x
15.0b7y
10.6b3z
12.3b5(-.f64 x y)
Compiler

Compiled 46 to 31 computations (32.6% saved)

bsearch50.0ms (0.6%)

Algorithm
2×binary-search
Steps
TimeLeftRight
31.0ms
55992454339217555000.0
2.656691940351045e+27
19.0ms
-1.8885903874799524e+55
-8.476333458534644e+54
Results
41.0ms224×body256valid
1.0ms7×body256infinite
Compiler

Compiled 328 to 253 computations (22.9% saved)

regimes260.0ms (3.1%)

Counts
4 → 5
Calls
Call 1
Inputs
-2
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
(*.f64 4 (/.f64 (-.f64 x y) z))
Outputs
-2
(*.f64 4 (/.f64 (-.f64 x y) z))
-2
(*.f64 4 (/.f64 (-.f64 x y) z))
-2
Calls

4 calls:

95.0ms
y
80.0ms
x
41.0ms
z
41.0ms
(-.f64 x y)
Results
ErrorSegmentsBranch
16.6b9x
18.4b11y
13.5b5z
18.1b5(-.f64 x y)
Compiler

Compiled 39 to 27 computations (30.8% saved)

bsearch117.0ms (1.4%)

Algorithm
4×binary-search
Steps
TimeLeftRight
34.0ms
1.6758142545502913e+58
4.562582101507106e+69
18.0ms
-2.8506242094599137e+102
-1.2700299803840622e+102
34.0ms
-8.950107851288805e+150
-2.4241204911739835e+138
30.0ms
-8.366964585217871e+212
-2.5080176864551924e+207
Results
100.0ms544×body256valid
Compiler

Compiled 564 to 457 computations (19% saved)

regimes144.0ms (1.7%)

Counts
3 → 7
Calls
Call 1
Inputs
-2
(*.f64 -4 (/.f64 y z))
(*.f64 4 (/.f64 x z))
Outputs
(*.f64 4 (/.f64 x z))
-2
(*.f64 -4 (/.f64 y z))
-2
(*.f64 -4 (/.f64 y z))
-2
(*.f64 4 (/.f64 x z))
Calls

3 calls:

58.0ms
y
55.0ms
x
29.0ms
z
Results
ErrorSegmentsBranch
23.7b7x
25.1b8y
25.0b4z
Compiler

Compiled 26 to 19 computations (26.9% saved)

bsearch262.0ms (3.2%)

Algorithm
6×binary-search
Steps
TimeLeftRight
30.0ms
6.360574334478294e-50
8.696320633764428e-47
119.0ms
5.47497128729399e-68
1.6731809738304635e-65
25.0ms
1.1557301352582559e-119
9.76971055828211e-118
36.0ms
8.310950378962399e-227
8.52550807894334e-212
34.0ms
2.0809167607624005e-272
4.86714874207877e-259
17.0ms
-1.8885903874799524e+55
-8.476333458534644e+54
Results
238.0ms768×body256valid
0.0ms1×body256infinite
Compiler

Compiled 692 to 591 computations (14.6% saved)

regimes212.0ms (2.6%)

Accuracy

Total -32.6b remaining (-110.7%)

Threshold costs -32.6b (-110.7%)

Counts
2 → 3
Calls
Call 1
Inputs
-2
(*.f64 -4 (/.f64 y z))
Outputs
-2
(*.f64 -4 (/.f64 y z))
-2
Calls

3 calls:

148.0ms
y
36.0ms
x
27.0ms
z
Results
ErrorSegmentsBranch
33.7b5x
30.4b3y
29.5b3z
Compiler

Compiled 21 to 16 computations (23.8% saved)

bsearch58.0ms (0.7%)

Algorithm
2×binary-search
Steps
TimeLeftRight
31.0ms
1.754778277755165e-13
5.409959306460259e-5
27.0ms
-2.6826732135304464e+81
-5.076245692754312e+78
Results
50.0ms272×body256valid
Compiler

Compiled 258 to 219 computations (15.1% saved)

simplify17.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
076451
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(if (<=.f64 y -1749999999999999913491940537850355225099236634495546510032288109306912422898250947396168473983785025810675786319921152) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 y 3408919107146589/7410693711188236507108543040556026102609279018600996098525285376506440296955904) (-.f64 (*.f64 4 (/.f64 x z)) 2) (if (<=.f64 y 4352132950612665/1208925819614629174706176) (*.f64 4 (/.f64 (-.f64 x y) z)) (if (<=.f64 y 79999999999999996753337956508029018519359687171876115173579120784536313836076354041282560) (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))))
(if (<=.f64 x -16000000000000001252664646473539901476885764798177869824) (*.f64 4 (/.f64 (-.f64 x y) z)) (if (<=.f64 x 224999999999999989245804544) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 4 (/.f64 (-.f64 x y) z))))
(if (<=.f64 z -2549999999999999885314218804234989626028880839826495485654624463919881258479665590930015660094128892912161707452716574305647589328702815133644434549668701810944582587717941986074194262457807093457989375361024) -2 (if (<=.f64 z -1799999999999999869449922363021060919684697761148896472674919768617891425020663242208887992937348489434422362932188577849477458618078907521302528) (*.f64 4 (/.f64 (-.f64 x y) z)) (if (<=.f64 z -1649999999999999993214399163266470571648680997051150016393002783142021536127301909472849699177830023168) -2 (if (<=.f64 z 24999999999999998820130556284541701672812822838215424632605405872128) (*.f64 4 (/.f64 (-.f64 x y) z)) -2))))
(if (<=.f64 x -17500000000000000519396039778088108581907286668586516480) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 4084213920990005/1134503866941667986143541334648056457619674836471095626110665786221268201568912028156408931347775536033476809532312754097331684299884724203331627335435786915422798797948806666521214607112348737236205441118127012028555106130125335760617903854636122194680820545543017511614811209728) -2 (if (<=.f64 x 536550252699125/198722315814490743699069374523200327072881410190937166225798660867334521943856241450352436330066749177662429529232777370389962245646696242104868771205271185818170236930668787910433956560844600937633663896795708000114284397288455405568) (*.f64 -4 (/.f64 y z)) (if (<=.f64 x 7722661445640823/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104) -2 (if (<=.f64 x 834740539628243/15177100720513508366558296147058741458143803430094840009779784451085189728165691392) (*.f64 -4 (/.f64 y z)) (if (<=.f64 x 1799770609570069/51422017416287688817342786954917203280710495801049370729644032) -2 (*.f64 4 (/.f64 x z))))))))
(if (<=.f64 z -13399999999999999332199862483869149856784495274881902386193451800267043448553472) -2 (if (<=.f64 z 1436010445571041/4951760157141521099596496896) (*.f64 -4 (/.f64 y z)) -2))
-2
Outputs
(-.f64 (*.f64 4 (/.f64 (-.f64 x y) z)) 2)
(if (<=.f64 y -1749999999999999913491940537850355225099236634495546510032288109306912422898250947396168473983785025810675786319921152) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (if (<=.f64 y 3408919107146589/7410693711188236507108543040556026102609279018600996098525285376506440296955904) (-.f64 (*.f64 4 (/.f64 x z)) 2) (if (<=.f64 y 4352132950612665/1208925819614629174706176) (*.f64 4 (/.f64 (-.f64 x y) z)) (if (<=.f64 y 79999999999999996753337956508029018519359687171876115173579120784536313836076354041282560) (-.f64 (*.f64 4 (/.f64 x z)) 2) (-.f64 (*.f64 -4 (/.f64 y z)) 2)))))
(if (<=.f64 x -16000000000000001252664646473539901476885764798177869824) (*.f64 4 (/.f64 (-.f64 x y) z)) (if (<=.f64 x 224999999999999989245804544) (-.f64 (*.f64 -4 (/.f64 y z)) 2) (*.f64 4 (/.f64 (-.f64 x y) z))))
(if (<=.f64 z -2549999999999999885314218804234989626028880839826495485654624463919881258479665590930015660094128892912161707452716574305647589328702815133644434549668701810944582587717941986074194262457807093457989375361024) -2 (if (<=.f64 z -1799999999999999869449922363021060919684697761148896472674919768617891425020663242208887992937348489434422362932188577849477458618078907521302528) (*.f64 4 (/.f64 (-.f64 x y) z)) (if (<=.f64 z -1649999999999999993214399163266470571648680997051150016393002783142021536127301909472849699177830023168) -2 (if (<=.f64 z 24999999999999998820130556284541701672812822838215424632605405872128) (*.f64 4 (/.f64 (-.f64 x y) z)) -2))))
(if (<=.f64 x -17500000000000000519396039778088108581907286668586516480) (*.f64 4 (/.f64 x z)) (if (<=.f64 x 4084213920990005/1134503866941667986143541334648056457619674836471095626110665786221268201568912028156408931347775536033476809532312754097331684299884724203331627335435786915422798797948806666521214607112348737236205441118127012028555106130125335760617903854636122194680820545543017511614811209728) -2 (if (<=.f64 x 536550252699125/198722315814490743699069374523200327072881410190937166225798660867334521943856241450352436330066749177662429529232777370389962245646696242104868771205271185818170236930668787910433956560844600937633663896795708000114284397288455405568) (*.f64 -4 (/.f64 y z)) (if (<=.f64 x 7722661445640823/11356855067118857664833184498250070849275646260739344691898284362197488876771842551971735167402555711886914400097909030211478150447104) -2 (if (<=.f64 x 834740539628243/15177100720513508366558296147058741458143803430094840009779784451085189728165691392) (*.f64 -4 (/.f64 y z)) (if (<=.f64 x 1799770609570069/51422017416287688817342786954917203280710495801049370729644032) -2 (*.f64 4 (/.f64 x z))))))))
(if (<=.f64 z -13399999999999999332199862483869149856784495274881902386193451800267043448553472) -2 (if (<=.f64 z 1436010445571041/4951760157141521099596496896) (*.f64 -4 (/.f64 y z)) -2))
-2
Compiler

Compiled 206 to 142 computations (31.1% saved)

soundness0.0ms (0%)

end164.0ms (2%)

Compiler

Compiled 188 to 114 computations (39.4% saved)

Profiling

Loading profile data...