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

Time bar (total: 5.7s)

analyze1.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 11 to 8 computations (27.3% saved)

sample5.3s (93.8%)

Results
585.0ms7629×0valid-sollya
1.5s7629×0valid-rival
26.0ms347×1valid-sollya
123.0ms347×1valid-rival
155.0ms280×2valid-rival
22.0ms280×2valid-sollya
Bogosity

preprocess245.0ms (4.3%)

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)

prune3.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.7%
(*.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)

simplify6.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))))

soundness2.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 10 to 7 computations (30% saved)

preprocess98.0ms (1.7%)

Compiler

Compiled 60 to 42 computations (30% saved)

end0.0ms (0%)

Profiling

Loading profile data...