Diagrams.Tangent:$catParam from diagrams-lib-1.3.0.3, E

Time bar (total: 2.1s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 22 to 16 computations (27.3% saved)

sample2.0s (93.8%)

Results
340.0ms7625×0valid-sollya
341.0ms7625×0valid-rival-baseline
381.0ms7624×0valid-rival
27.0ms353×1valid-rival-baseline
37.0ms353×1valid-rival
15.0ms353×1valid-sollya
44.0ms278×2valid-rival
35.0ms278×2valid-rival-baseline
13.0ms278×2valid-sollya
Bogosity

preprocess103.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
859×fma-define
186×distribute-lft-in
160×distribute-rgt-in
153×associate-*r*
138×fma-neg
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
018136
148124
2122100
343184
4139084
5258784
6284384
7285684
8285784
9285784
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 x) #s(literal 3 binary64)))) (neg.f64 x))
(neg.f64 (*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 x) #s(literal 3 binary64)))) (neg.f64 x)))
Outputs
(*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(*.f64 #s(literal 3 binary64) (*.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 3 binary64) x)) x))
(*.f64 #s(literal 3 binary64) (*.f64 x (+.f64 #s(literal 2 binary64) (*.f64 x #s(literal -3 binary64)))))
(*.f64 x (+.f64 #s(literal 6 binary64) (*.f64 x #s(literal -9 binary64))))
(*.f64 x (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)))
(*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(*.f64 #s(literal 3 binary64) (*.f64 (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 3 binary64) x)) x))
(*.f64 #s(literal 3 binary64) (*.f64 x (+.f64 #s(literal 2 binary64) (*.f64 x #s(literal -3 binary64)))))
(*.f64 x (+.f64 #s(literal 6 binary64) (*.f64 x #s(literal -9 binary64))))
(*.f64 x (fma.f64 x #s(literal -9 binary64) #s(literal 6 binary64)))
(*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 x) #s(literal 3 binary64)))) (neg.f64 x))
(*.f64 (neg.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 3 binary64) x))))
(*.f64 (*.f64 x #s(literal -3 binary64)) (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 3 binary64) x)))
(*.f64 x (+.f64 (*.f64 x #s(literal -9 binary64)) #s(literal -6 binary64)))
(*.f64 x (fma.f64 x #s(literal -9 binary64) #s(literal -6 binary64)))
(neg.f64 (*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 (neg.f64 x) #s(literal 3 binary64)))) (neg.f64 x)))
(neg.f64 (*.f64 (neg.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 3 binary64) x)))))
(*.f64 (+.f64 #s(literal 2 binary64) (*.f64 #s(literal 3 binary64) x)) (*.f64 #s(literal 3 binary64) x))
(*.f64 x (+.f64 #s(literal 6 binary64) (*.f64 x #s(literal 9 binary64))))
(*.f64 x (fma.f64 x #s(literal 9 binary64) #s(literal 6 binary64)))
Compiler

Compiled 10 to 7 computations (30% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.8%
(*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
Compiler

Compiled 20 to 14 computations (30% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
6×*-commutative
4×sub-neg
4×+-commutative
3×neg-sub0
3×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01131
12031
23231
33831
44231
54331
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
Outputs
(*.f64 (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 x #s(literal 3 binary64)))) x)
(*.f64 x (*.f64 #s(literal 3 binary64) (-.f64 #s(literal 2 binary64) (*.f64 #s(literal 3 binary64) x))))

soundness0.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 10 to 7 computations (30% saved)

preprocess24.0ms (1.2%)

Compiler

Compiled 60 to 42 computations (30% saved)

end0.0ms (0%)

Profiling

Loading profile data...