Details

Time bar (total: 1.8s)

analyze166.0ms (9.4%)

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
12.5%12.5%87.4%0.1%0%0%0%7
18.8%18.7%81.1%0.1%0%0%0%8
28.1%28.1%71.8%0.1%0%0%0%9
39.7%37.4%56.9%0.1%5.5%0%0%10
46.5%43.7%50.3%0.1%5.9%0%0%11
55.2%51.9%42.1%0.1%5.9%0%0%12
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample965.0ms (54.6%)

Results
895.0ms8256×body256valid
58.0ms711×body256infinite
Bogosity

preprocess101.0ms (5.7%)

Algorithm
2×egg-herbie
Rules
1602×rational_best_oopsla_all_46_json_45_simplify-10
1518×rational_best_oopsla_all_46_json_45_simplify-30
898×rational_best_oopsla_all_46_json_45_simplify-80
718×rational_best_oopsla_all_46_json_45_simplify-49
620×rational_best_oopsla_all_46_json_45_simplify-77
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01352
13152
210352
336352
4154452
5363052
6637552
033
133
Stop Event
1×unsound
1×node limit
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
2
1
Call 2
Inputs
(-.f64 x (*.f64 y z))
(-.f64 y (*.f64 x z))
(-.f64 z (*.f64 y x))
(-.f64 x (*.f64 z y))
Outputs
(-.f64 x (*.f64 y z))
(-.f64 y (*.f64 x z))
(-.f64 z (*.f64 y x))
(-.f64 z (*.f64 x y))
(-.f64 x (*.f64 z y))
(-.f64 x (*.f64 y z))
Symmetry

(sort y z)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify158.0ms (8.9%)

Algorithm
1×egg-herbie
Rules
1878×rational_best_oopsla_all_46_json_45_simplify-10
1096×rational_best_oopsla_all_46_json_45_simplify-49
1008×rational_best_oopsla_all_46_json_45_simplify-7
966×rational_best_oopsla_all_46_json_45_simplify-72
708×rational_best_oopsla_all_46_json_45_simplify-30
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
11213
23513
311813
447313
5247313
6528413
7792513
Stop Event
1×node limit
Counts
1 → 1
Calls
Call 1
Inputs
(-.f64 x (*.f64 y z))
Outputs
(-.f64 x (*.f64 y z))

eval0.0ms (0%)

Compiler

Compiled 8 to 5 computations (37.5% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(-.f64 x (*.f64 y z))
Compiler

Compiled 8 to 5 computations (37.5% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiled 14 to 5 computations (64.3% saved)

series2.0ms (0.1%)

Counts
1 → 36
Calls

9 calls:

TimeVariablePointExpression
0.0ms
z
@-inf
(-.f64 x (*.f64 y z))
0.0ms
y
@inf
(-.f64 x (*.f64 y z))
0.0ms
x
@0
(-.f64 x (*.f64 y z))
0.0ms
x
@inf
(-.f64 x (*.f64 y z))
0.0ms
z
@inf
(-.f64 x (*.f64 y z))

rewrite78.0ms (4.4%)

Algorithm
1×batch-egg-rewrite
Rules
1462×rational_best_oopsla_all_46_json-2
1462×rational_best_oopsla_all_46_json-1
1462×rational_best_oopsla_all_46_json-4
1462×rational_best_oopsla_all_46_json-3
1166×rational_best_oopsla_all_46_json_45_simplify-72
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
14213
213613
358913
4291613
Stop Event
1×node limit
Counts
1 → 41
Calls
Call 1
Inputs
(-.f64 x (*.f64 y z))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 y (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 (*.f64 y z) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (*.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (*.f64 y z)) (*.f64 0 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 x (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (neg.f64 z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 y (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 y z) -1) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 y (neg.f64 z))) (*.f64 x (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (*.f64 1 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (*.f64 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 x (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (-.f64 x (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 (*.f64 y z) x) (/.f64 -1 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 (*.f64 y z) x) (/.f64 (neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 y z) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 y z) x) (neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 y z) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (-.f64 (*.f64 y z) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 (*.f64 y z) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (*.f64 y z)) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (*.f64 y z)) (/.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y z) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 y z) x))))))

simplify143.0ms (8.1%)

Algorithm
1×egg-herbie
Rules
810×rational_best_oopsla_all_46_json_45_simplify-72
676×rational_best_oopsla_all_46_json_45_simplify-49
648×rational_best_oopsla_all_46_json_45_simplify-10
604×rational_best_oopsla_all_46_json_45_simplify-23
448×rational_best_oopsla_all_46_json_45_simplify-80
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0881215
13521215
22715943
36892943
Stop Event
1×node limit
Counts
77 → 49
Calls
Call 1
Inputs
(*.f64 -1 (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
x
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
x
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
x
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(*.f64 -1 (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(*.f64 -1 (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
x
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(*.f64 -1 (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(*.f64 -1 (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 x (*.f64 (*.f64 y z) -1))
(+.f64 (-.f64 x (*.f64 y z)) 0)
(+.f64 (-.f64 x (*.f64 y z)) (*.f64 0 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(+.f64 0 (-.f64 x (*.f64 y z)))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (*.f64 x (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 y (neg.f64 z))))
(+.f64 (*.f64 0 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))
(+.f64 (*.f64 (*.f64 y z) -1) x)
(+.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 y (neg.f64 z))) (*.f64 x (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(*.f64 (-.f64 x (*.f64 y z)) 1)
(*.f64 (-.f64 x (*.f64 y z)) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 1 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z))))))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z))))))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (-.f64 x (*.f64 y z)))))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))))
(*.f64 1 (-.f64 x (*.f64 y z)))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (-.f64 x (*.f64 y z)))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 (*.f64 y z) x) (/.f64 -1 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 (*.f64 y z) x) (/.f64 (neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(*.f64 (-.f64 (*.f64 y z) x) -1)
(*.f64 (-.f64 (*.f64 y z) x) (neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(*.f64 -1 (-.f64 (*.f64 y z) x))
(*.f64 -1 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (-.f64 (*.f64 y z) x)))
(*.f64 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))
(*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))
(*.f64 (neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 (*.f64 y z) x))
(/.f64 (-.f64 x (*.f64 y z)) 1)
(/.f64 (-.f64 x (*.f64 y z)) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))
(/.f64 (-.f64 x (*.f64 y z)) (/.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(/.f64 (-.f64 (*.f64 y z) x) -1)
(neg.f64 (-.f64 (*.f64 y z) x))
Outputs
(*.f64 -1 (*.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(*.f64 (neg.f64 y) z)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
x
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
x
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
x
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 -1 (*.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(*.f64 (neg.f64 y) z)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 -1 (*.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(*.f64 (neg.f64 y) z)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
x
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 -1 (*.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(*.f64 (neg.f64 y) z)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 -1 (*.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(*.f64 (neg.f64 y) z)
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 x (neg.f64 (*.f64 y z)))
(-.f64 x (*.f64 y z))
(+.f64 x (*.f64 (*.f64 y z) -1))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (-.f64 x (*.f64 y z)) 0)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (-.f64 x (*.f64 y z)) (*.f64 0 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 0 (-.f64 x (*.f64 y z)))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 x (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 y (neg.f64 z))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 0 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 (*.f64 y z) -1) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 y (neg.f64 z))) (*.f64 x (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) 1)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 1 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z))))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z))))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 1 (-.f64 x (*.f64 y z)))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (-.f64 x (*.f64 y z)))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 (*.f64 y z) x) (/.f64 -1 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 x (*.f64 y z)) (/.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (*.f64 (-.f64 (*.f64 y z) x) (/.f64 (neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 (*.f64 y z) x) -1)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (-.f64 (*.f64 y z) x) (neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 -1 (-.f64 (*.f64 y z) x))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 -1 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (-.f64 (*.f64 y z) x)))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 x (*.f64 y z)))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(*.f64 (neg.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))) (-.f64 (*.f64 y z) x))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (-.f64 x (*.f64 y z)) 1)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (-.f64 x (*.f64 y z)) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (-.f64 x (*.f64 y z)) (/.f64 (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z))) (/.f64 (-.f64 x (*.f64 y z)) (-.f64 x (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (-.f64 (*.f64 y z) x) -1)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(neg.f64 (-.f64 (*.f64 y z) x))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))

eval8.0ms (0.4%)

Compiler

Compiled 920 to 123 computations (86.6% saved)

prune10.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New47249
Fresh000
Picked011
Done000
Total47350
Error
0.0b
Counts
50 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 x (*.f64 y z))
▶31.7b
(*.f64 (neg.f64 y) z)
31.5b
x
Compiler

Compiled 19 to 13 computations (31.6% saved)

localize4.0ms (0.2%)

Compiler

Compiled 11 to 5 computations (54.5% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune4.0ms (0.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done011
Total033
Error
0.0b
Counts
3 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 x (*.f64 y z))
✓31.7b
(*.f64 (neg.f64 y) z)
31.5b
x
Compiler

Compiled 19 to 13 computations (31.6% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done022
Total033
Error
0.0b
Counts
3 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 x (*.f64 y z))
✓31.7b
(*.f64 (neg.f64 y) z)
31.5b
x
Compiler

Compiled 19 to 13 computations (31.6% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done022
Total033
Error
0.0b
Counts
3 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(-.f64 x (*.f64 y z))
✓31.7b
(*.f64 (neg.f64 y) z)
31.5b
x
Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes19.0ms (1.1%)

Counts
3 → 1
Calls
Call 1
Inputs
x
(*.f64 (neg.f64 y) z)
(-.f64 x (*.f64 y z))
Outputs
(-.f64 x (*.f64 y z))
Calls

5 calls:

4.0ms
(-.f64 x (*.f64 y z))
4.0ms
y
3.0ms
z
3.0ms
(*.f64 y z)
3.0ms
x
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1z
0.0b1(-.f64 x (*.f64 y z))
0.0b1(*.f64 y z)
Compiler

Compiled 39 to 25 computations (35.9% saved)

regimes54.0ms (3%)

Accuracy

Total -48.3b remaining (-351.4%)

Threshold costs -48.3b (-351.4%)

Counts
2 → 3
Calls
Call 1
Inputs
x
(*.f64 (neg.f64 y) z)
Outputs
x
(*.f64 (neg.f64 y) z)
x
Calls

3 calls:

21.0ms
z
17.0ms
y
15.0ms
x
Results
ErrorSegmentsBranch
13.7b3x
17.9b5y
16.0b7z
Compiler

Compiled 20 to 14 computations (30% saved)

bsearch25.0ms (1.4%)

Algorithm
2×binary-search
Steps
TimeLeftRight
14.0ms
7.398017741004465e-34
7.828193771707693e-25
11.0ms
-3.211278895999278e-40
-3.0465099066208136e-42
Results
22.0ms256×body256valid
Compiler

Compiled 222 to 170 computations (23.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01945
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(-.f64 x (*.f64 y z))
(if (<=.f64 x -5639583590386471/49039857307708443467467104868809893875799651909875269632) x (if (<=.f64 x 4738908354687757/5575186299632655785383929568162090376495104) (*.f64 (neg.f64 y) z) x))
x
Outputs
(-.f64 x (*.f64 y z))
(if (<=.f64 x -5639583590386471/49039857307708443467467104868809893875799651909875269632) x (if (<=.f64 x 4738908354687757/5575186299632655785383929568162090376495104) (*.f64 (neg.f64 y) z) x))
x
Compiler

Compiled 29 to 19 computations (34.5% saved)

soundness0.0ms (0%)

end21.0ms (1.2%)

Remove

(sort y z)

Compiler

Compiled 39 to 23 computations (41% saved)

Profiling

Loading profile data...