Details

Time bar (total: 2.8s)

analyze258.0ms (9.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
0%0%99.8%0.2%0%0%0%6
0%0%99.8%0.2%0%0%0%7
0%0%99.8%0.2%0%0%0%8
6.3%6.2%93.6%0.2%0%0%0%9
9.4%9.4%90.4%0.2%0%0%0%10
13%12.5%83.4%0.2%3.9%0%0%11
19.6%18.7%76.8%0.2%4.3%0%0%12
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.5s (52.9%)

Results
1.2s8256×body256valid
339.0ms2006×body256infinite
Bogosity

preprocess213.0ms (7.5%)

Algorithm
2×egg-herbie
Rules
12×rational_best-simplify-2
12×rational_best-simplify-1
2×swap-z-t
2×swap-x-y
2×trig-simplify-13
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
023133
132133
044
144
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
2
3
Outputs
0
1
0
2
3
2
Call 2
Inputs
(+.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 y x) (*.f64 z t))
(+.f64 (*.f64 z y) (*.f64 x t))
(+.f64 (*.f64 t y) (*.f64 z x))
(+.f64 (*.f64 x z) (*.f64 y t))
(+.f64 (*.f64 x t) (*.f64 z y))
(+.f64 (*.f64 x y) (*.f64 t z))
Outputs
(+.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 y x) (*.f64 z t))
(+.f64 (*.f64 x y) (*.f64 z t))
(+.f64 (*.f64 z y) (*.f64 x t))
(+.f64 (*.f64 y z) (*.f64 x t))
(+.f64 (*.f64 t y) (*.f64 z x))
(+.f64 (*.f64 y t) (*.f64 x z))
(+.f64 (*.f64 x z) (*.f64 y t))
(+.f64 (*.f64 y t) (*.f64 x z))
(+.f64 (*.f64 x t) (*.f64 z y))
(+.f64 (*.f64 y z) (*.f64 x t))
(+.f64 (*.f64 x y) (*.f64 t z))
(+.f64 (*.f64 x y) (*.f64 z t))
Symmetry

(sort x y)

(sort z t)

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify13.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
4×rational_best-simplify-2
2×rational_best-simplify-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
11219
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(+.f64 (*.f64 x y) (*.f64 z t))
Outputs
(+.f64 (*.f64 x y) (*.f64 z t))

eval0.0ms (0%)

Compiler

Compiled 11 to 7 computations (36.4% 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 (*.f64 x y) (*.f64 z t))
Compiler

Compiled 11 to 7 computations (36.4% saved)

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiled 21 to 7 computations (66.7% saved)

series3.0ms (0.1%)

Counts
1 → 48
Calls

12 calls:

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

rewrite93.0ms (3.3%)

Algorithm
1×batch-egg-rewrite
Rules
992×rational_best-simplify-57
756×rational_best-simplify-80
644×rational_best-simplify-43
594×rational_best-simplify-44
522×rational_best-simplify-78
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
17719
226119
3110419
4492119
Stop Event
1×node limit
Counts
1 → 22
Calls
Call 1
Inputs
(+.f64 (*.f64 x y) (*.f64 z t))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (+.f64 (*.f64 x y) (*.f64 z t))) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 (*.f64 x y) (*.f64 z t))))))))

simplify148.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
1210×rational_best-simplify-2
1120×rational_best-simplify-80
1016×rational_best-simplify-78
602×rational_best-simplify-49
584×rational_best-simplify-82
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0551186
11011186
24831186
321821186
445361186
Stop Event
1×node limit
Counts
70 → 25
Calls
Call 1
Inputs
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 0)
(-.f64 0 (neg.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)
(*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))))
(*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))))
(*.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))
(*.f64 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t)))
(*.f64 (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))
(*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))
(*.f64 (/.f64 (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))
(*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (/.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(*.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)
(/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(/.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 2) 2)
(/.f64 (*.f64 (neg.f64 (+.f64 (*.f64 x y) (*.f64 z t))) 2) -2)
(pow.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)
(neg.f64 (neg.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
Outputs
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 y x)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 t z)
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(+.f64 (*.f64 y x) (*.f64 t z))
(-.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 0)
(+.f64 (*.f64 y x) (*.f64 t z))
(-.f64 0 (neg.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t)))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 1 (+.f64 (*.f64 x y) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (*.f64 t z))
(*.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t)))) (+.f64 (*.f64 x y) (*.f64 z t))) (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)
(+.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (/.f64 (+.f64 (*.f64 x y) (*.f64 z t)) (+.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 2) 2)
(+.f64 (*.f64 y x) (*.f64 t z))
(/.f64 (*.f64 (neg.f64 (+.f64 (*.f64 x y) (*.f64 z t))) 2) -2)
(+.f64 (*.f64 y x) (*.f64 t z))
(pow.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 1)
(+.f64 (*.f64 y x) (*.f64 t z))
(neg.f64 (neg.f64 (+.f64 (*.f64 x y) (*.f64 z t))))
(+.f64 (*.f64 y x) (*.f64 t z))

eval3.0ms (0.1%)

Compiler

Compiled 533 to 76 computations (85.7% saved)

prune4.0ms (0.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New23225
Fresh000
Picked011
Done000
Total23326
Error
0.0b
Counts
26 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(+.f64 (*.f64 x y) (*.f64 z t))
▶31.7b
(*.f64 y x)
▶29.6b
(*.f64 t z)
Compiler

Compiled 25 to 17 computations (32% saved)

localize4.0ms (0.1%)

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize3.0ms (0.1%)

Compiler

Compiled 9 to 5 computations (44.4% saved)

eval0.0ms (0%)

Compiler

Compiled 4 to 4 computations (0% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033
Error
0.0b
Counts
3 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
✓0.0b
(+.f64 (*.f64 x y) (*.f64 z t))
✓31.7b
(*.f64 y x)
✓29.6b
(*.f64 t z)
Compiler

Compiled 25 to 17 computations (32% saved)

regimes316.0ms (11.1%)

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

7 calls:

8.0ms
y
3.0ms
t
3.0ms
z
3.0ms
(+.f64 (*.f64 x y) (*.f64 z t))
3.0ms
x
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1z
0.0b1t
0.0b1(+.f64 (*.f64 x y) (*.f64 z t))
0.0b1(*.f64 x y)
0.0b1(*.f64 z t)
Compiler

Compiled 62 to 42 computations (32.3% saved)

regimes174.0ms (6.1%)

Accuracy

Total -44.2b remaining (-276.4%)

Threshold costs -44.2b (-276.4%)

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

4 calls:

129.0ms
x
16.0ms
y
15.0ms
t
13.0ms
z
Results
ErrorSegmentsBranch
19.1b3x
16.0b5y
17.8b5z
18.4b5t
Compiler

Compiled 30 to 22 computations (26.7% saved)

bsearch65.0ms (2.3%)

Algorithm
4×binary-search
Steps
TimeLeftRight
13.0ms
1511029.8528553685
4644543058.704495
24.0ms
9.82665380806735e-66
7.801683933721888e-60
9.0ms
5.4768550245416035e-108
2.3893977323527596e-107
18.0ms
-1.6907627911726972e-44
-1.6289185858130583e-60
Results
60.0ms528×body256valid
0.0ms1×body256infinite
Compiler

Compiled 546 to 409 computations (25.1% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02697
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 x y) (*.f64 z t))
(if (<=.f64 y -1355853974843523/100433627766186892221372630771322662657637687111424552206336) (*.f64 y x) (if (<=.f64 y 5288447750321989/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128) (*.f64 t z) (if (<=.f64 y 4742843975160471/237142198758023568227473377297792835283496928595231875152809132048206089502588928) (*.f64 y x) (if (<=.f64 y 7000000) (*.f64 t z) (*.f64 y x)))))
(*.f64 t z)
Outputs
(+.f64 (*.f64 x y) (*.f64 z t))
(if (<=.f64 y -1355853974843523/100433627766186892221372630771322662657637687111424552206336) (*.f64 y x) (if (<=.f64 y 5288447750321989/330527984395124299475957654016385519914202341482140609642324397637202895618155672912594605219857642423795606012511679152128) (*.f64 t z) (if (<=.f64 y 4742843975160471/237142198758023568227473377297792835283496928595231875152809132048206089502588928) (*.f64 y x) (if (<=.f64 y 7000000) (*.f64 t z) (*.f64 y x)))))
(*.f64 t z)
Compiler

Compiled 53 to 30 computations (43.4% saved)

soundness0.0ms (0%)

end28.0ms (1%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 89 to 49 computations (44.9% saved)

Profiling

Loading profile data...